general
- source
- coq-hammer (optional, misc)
- version
- 1.3.2+8.19-1
- maint
- Debian OCaml Maintainers (a), Julien Puydt (u)
- std-ver
- 4.7.0
- VCS
- Git (browse)
todo
- Lintian reports 1 warning about this package. You should make the package lintian clean getting rid of it.
- Build log checks report 1 warning about this package.
- Package libcoq-hammer shares 1.2 MB of similar files with itself, please investigate whether it is possible to reduce the duplication.
news RSS
- [2024-04-27] Accepted 1.3.2+8.19-1 in unstable (medium) (Debian FTP Masters)
- [2024-01-23] coq-hammer 1.3.2+8.18-1 MIGRATED to testing (Britney)
- [2023-12-22] Accepted 1.3.2+8.18-1 in unstable (medium) (Debian FTP Masters)
- [2023-06-24] coq-hammer 1.3.2+8.17-1 MIGRATED to testing (Britney)
- [2023-06-12] Accepted 1.3.2+8.17-1 in unstable (medium) (Debian FTP Masters)
- [2023-01-31] coq-hammer 1.3.2+8.16-2 MIGRATED to testing (Britney)
- [2023-01-25] Accepted 1.3.2+8.16-2 in unstable (medium) (Debian FTP Masters)
- [2022-09-17] coq-hammer 1.3.2+8.16-1 MIGRATED to testing (Britney)
- [2022-09-06] Accepted 1.3.2+8.16-1 in unstable (medium) (Debian FTP Masters)
- [2022-07-28] coq-hammer 1.3.2+8.15-1 MIGRATED to testing (Britney)
- [2022-07-18] Accepted 1.3.2+8.15-1 in unstable (medium) (Debian FTP Masters)
