general
- source
- coq-hott (optional, misc)
- version
- 8.16-1
- maint
- Debian OCaml Maintainers (a), Julien Puydt (u)
- std-ver
- 4.6.1
- VCS
- Git (browse)
todo
- The package should be updated to follow the last version of Debian Policy (Standards-Version 4.6.2 instead of 4.6.1).
news RSS
- [2023-01-25] Accepted 8.16-2 in unstable (medium) (Debian FTP Masters)
- [2022-09-17] coq-hott 8.16-1 MIGRATED to testing (Britney)
- [2022-09-06] Accepted 8.16-1 in unstable (medium) (Debian FTP Masters)
- [2022-08-31] coq-hott 8.15-4 MIGRATED to testing (Britney)
- [2022-08-22] Accepted 8.15-4 in unstable (medium) (Debian FTP Masters)
- [2022-07-18] coq-hott 8.15-3 MIGRATED to testing (Britney)
- [2022-07-16] Accepted 8.15-3 in unstable (medium) (Debian FTP Masters)
- [2022-07-11] coq-hott 8.15-2 MIGRATED to testing (Britney)
- [2022-07-08] Accepted 8.15-2 in unstable (medium) (Debian FTP Masters)
