general
- source
- coq-bignums (optional, misc)
- version
- 9.0.0+coq8.19-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).
news RSS
- [2024-04-27] Accepted 9.0.0+coq8.19-1 in unstable (medium) (Debian FTP Masters)
- [2024-01-23] coq-bignums 9.0.0+coq8.18-1 MIGRATED to testing (Britney)
- [2023-12-22] Accepted 9.0.0+coq8.18-1 in unstable (medium) (Debian FTP Masters)
- [2023-06-24] coq-bignums 8.17.0-3 MIGRATED to testing (Britney)
- [2023-06-12] Accepted 8.17.0-3 in unstable (medium) (Debian FTP Masters)
- [2023-01-31] coq-bignums 8.17.0-2 MIGRATED to testing (Britney)
- [2023-01-25] Accepted 8.17.0-2 in unstable (medium) (Debian FTP Masters)
- [2022-12-30] coq-bignums 8.17.0-1 MIGRATED to testing (Britney)
- [2022-12-27] Accepted 8.17.0-1 in unstable (medium) (Debian FTP Masters)
- [2022-09-17] coq-bignums 8.16.0-1 MIGRATED to testing (Britney)
- [2022-09-06] Accepted 8.16.0-1 in unstable (medium) (Debian FTP Masters)
- [2022-07-10] coq-bignums 8.15.0-7 MIGRATED to testing (Britney)
- [2022-06-29] coq-bignums REMOVED from testing (Britney)
- [2022-06-15] Accepted 8.15.0-7 in unstable (medium) (Debian FTP Masters)
- [2022-06-14] Accepted 8.15.0-6 in unstable (medium) (Debian FTP Masters)
- [2022-06-12] Accepted 8.15.0-5 in unstable (medium) (Debian FTP Masters)
- [2022-06-01] Accepted 8.15.0-3 in unstable (medium) (Debian FTP Masters)
- [2022-05-22] Accepted 8.15.0-2 in unstable (medium) (Debian FTP Masters)
- [2022-05-15] coq-bignums 8.15.0-1 MIGRATED to testing (Britney)
- [2022-05-12] Accepted 8.15.0-1 in unstable (medium) (Debian FTP Masters)
