general
- source
- coqprime (optional, misc)
- version
- 8.18-1
- maint
- Debian OCaml Maintainers (a), Julien Puydt (u)
- std-ver
- 4.6.2
- VCS
- Git (browse)
todo
- The package should be updated to follow the last version of Debian Policy (Standards-Version 4.7.0 instead of 4.6.2).
- A new upstream version is available: 8.19, you should consider packaging it.
news RSS
- [2024-01-23] coqprime 8.18-1 MIGRATED to testing (Britney)
- [2023-12-23] Accepted 8.18-1 in unstable (medium) (Debian FTP Masters)
- [2023-06-24] coqprime 8.17-1 MIGRATED to testing (Britney)
- [2023-06-13] Accepted 8.17-1 in unstable (medium) (Debian FTP Masters)
- [2023-01-31] coqprime 8.15-2 MIGRATED to testing (Britney)
- [2023-01-26] Accepted 8.15-2 in unstable (medium) (Debian FTP Masters)
- [2022-07-28] coqprime 8.15-1 MIGRATED to testing (Britney)
- [2022-07-18] Accepted 8.15-1 in unstable (medium) (Debian FTP Masters)
