general
- source
- coq-menhirlib (optional, misc)
- version
- 20231231+ds-3
- maint
- Debian OCaml Maintainers (a), Julien Puydt (u)
- std-ver
- 4.6.2
- VCS
- Git (browse)
versions
- stable
-
20220210+ds-4
- testing
-
20231231+ds-1
- unstable
-
20231231+ds-3
- Ubuntu
- 20231231+ds-3build2
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
- 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-04-27] Accepted 20231231+ds-3 in unstable (medium) (Debian FTP Masters)
- [2024-01-23] coq-menhirlib 20231231+ds-1 MIGRATED to testing (Britney)
- [2024-01-20] Accepted 20231231+ds-1 in unstable (medium) (Debian FTP Masters)
- [2023-12-22] Accepted 20230608+ds-2 in unstable (medium) (Debian FTP Masters)
- [2023-06-28] coq-menhirlib 20230608+ds-1 MIGRATED to testing (Britney)
- [2023-06-26] Accepted 20230608+ds-1 in unstable (medium) (Debian FTP Masters)
- [2023-06-24] coq-menhirlib 20220210+ds-5 MIGRATED to testing (Britney)
- [2023-06-12] Accepted 20220210+ds-5 in unstable (medium) (Debian FTP Masters)
- [2023-01-31] coq-menhirlib 20220210+ds-4 MIGRATED to testing (Britney)
- [2023-01-25] Accepted 20220210+ds-4 in unstable (medium) (Debian FTP Masters)
- [2022-09-17] coq-menhirlib 20220210+ds-3 MIGRATED to testing (Britney)
- [2022-09-11] Accepted 20220210+ds-3 in unstable (medium) (Debian FTP Masters)
- [2022-07-18] coq-menhirlib 20220210+ds-2 MIGRATED to testing (Britney)
- [2022-07-15] Accepted 20220210+ds-2 in unstable (medium) (Debian FTP Masters)
- [2022-07-08] Accepted 20220210+ds-1 in unstable (medium) (Debian FTP Masters)
