general
- source
- menhir (source, devel)
- version
- 20231231+ds-1
- maint
- Debian OCaml Maintainers (a), Mehdi Dogguy (u), Ralf Treinen (u)
- arch
- any all
- std-ver
- 4.6.2
- VCS
- Git (browse)
versions
- o-o-stable
-
20181113-1
- oldstable
-
20201216-1
- stable
-
20220210+ds-2
- testing
-
20231231+ds-1
- unstable
-
20231231+ds-1
- Ubuntu
- 20231231+ds-1
todo
- The package should be updated to follow the last version of Debian Policy (Standards-Version 4.7.0 instead of 4.6.2).
problems
- There were override disparities found in suite unstable:
- menhir: Override says devel - optional, .deb says ocaml - optional
- The package has a debian/watch file, but the last attempt
to use it for checking for newer upstream versions failed with
an error:
In debian/watch no matching files for watch line https://gitlab.inria.fr/fpottier/menhir/tags?sort=updated_desc .*/archive/(\d\S+)/.*\.tar\.gz.*
news RSS
- [2024-02-23] menhir 20231231+ds-1 MIGRATED to testing (Britney)
- [2024-02-15] Accepted 20231231+ds-1 in unstable (medium) (Debian FTP Masters)
- [2023-09-02] menhir 20230608+ds-1 MIGRATED to testing (Britney)
- [2023-08-27] Accepted 20230608+ds-1 in unstable (medium) (Debian FTP Masters)
- [2023-08-17] menhir 20220210+ds1-1 MIGRATED to testing (Britney)
- [2023-07-26] Accepted 20220210+ds1-1 in unstable (medium) (Debian FTP Masters)
- [2022-07-07] menhir 20220210+ds-2 MIGRATED to testing (Britney)
- [2022-05-13] Accepted 20220210+ds-2 in unstable (medium) (Debian FTP Masters)
- [2022-03-18] Accepted 20220210+ds-1 in experimental (medium) (Debian FTP Masters)
- [2021-10-13] menhir 20210929-1 MIGRATED to testing (Britney)
- [2021-10-01] Accepted 20210929-1 in unstable (medium) (Debian FTP Masters)
- [2021-01-25] menhir 20201216-1 MIGRATED to testing (Britney)
- [2021-01-17] Accepted 20201216-1 in unstable (medium) (Debian FTP Masters)
- [2020-12-12] menhir 20201201-1 MIGRATED to testing (Britney)
- [2020-12-06] Accepted 20201201-1 in unstable (medium) (Debian FTP Masters)
- [2020-08-31] menhir 20200624-1 MIGRATED to testing (Britney)
- [2020-08-22] Accepted 20200624-1 in unstable (medium) (Debian FTP Masters)
- [2020-04-08] menhir 20200123-3 MIGRATED to testing (Britney)
- [2020-04-05] Accepted 20200123-3 in unstable (medium) (Debian FTP Masters)
- [2020-03-01] menhir 20200123-2 MIGRATED to testing (Britney)
- [2020-02-27] Accepted 20200123-2 in unstable (medium) (Debian FTP Masters)
- [2020-02-16] menhir 20200123-1 MIGRATED to testing (Britney)
- [2020-02-08] Accepted 20200123-1 in unstable (medium) (Debian FTP Masters)
- [2019-11-24] menhir 20190924-1 MIGRATED to testing (Britney)
- [2019-11-02] Accepted 20190924-1 in unstable (medium) (Ralf Treinen)
- [2019-09-03] menhir 20190626-6 MIGRATED to testing (Britney)
- [2019-08-27] Accepted 20190626-6 in unstable (medium) (Stéphane Glondu)
- [2019-08-21] Accepted 20190626-5 in unstable (medium) (Ralf Treinen)
- [2019-08-21] Accepted 20190626-4 in unstable (medium) (Ralf Treinen)
- [2019-08-04] menhir 20190626-3 MIGRATED to testing (Britney)
