general
- source
- coq-quickchick (optional, misc)
- version
- 2.0.3-2
- maint
- Debian OCaml Maintainers (a), Julien Puydt (u)
- std-ver
- 4.6.2
- VCS
- Git (browse)
todo
- Lintian reports 1 error and 2 warnings about this package. You should make the package lintian clean getting rid of them.
- The package should be updated to follow the last version of Debian Policy (Standards-Version 4.7.0 instead of 4.6.2).
- This package has "Build-Depends: cppo" while cppo needs a new maintainer, see RFA #933912.
news RSS
- [2024-04-30] Accepted 2.0.3-2 in unstable (medium) (Debian FTP Masters)
- [2024-01-23] coq-quickchick 2.0.2-1 MIGRATED to testing (Britney)
- [2024-01-20] Accepted 2.0.2-1 in unstable (medium) (Debian FTP Masters)
- [2023-12-25] Accepted 2.0.1-1 in unstable (medium) (Debian FTP Masters)
- [2023-07-14] coq-quickchick 2.0-2 MIGRATED to testing (Britney)
- [2023-07-12] Accepted 2.0-2 in unstable (medium) (Debian FTP Masters)
- [2023-06-24] coq-quickchick 2.0-1 MIGRATED to testing (Britney)
- [2023-06-14] Accepted 2.0-1 in unstable (medium) (Debian FTP Masters)
- [2023-01-31] coq-quickchick 1.6.4-3 MIGRATED to testing (Britney)
- [2023-01-27] Accepted 1.6.4-3 in unstable (medium) (Debian FTP Masters)
- [2022-09-17] coq-quickchick 1.6.4-2 MIGRATED to testing (Britney)
- [2022-09-06] Accepted 1.6.4-2 in unstable (medium) (Debian FTP Masters)
- [2022-08-18] coq-quickchick 1.6.4-1 MIGRATED to testing (Britney)
- [2022-08-15] Accepted 1.6.4-1 in unstable (medium) (Debian FTP Masters)
- [2022-08-14] Accepted 1.6.3-2 in unstable (medium) (Debian FTP Masters)
- [2022-07-28] coq-quickchick 1.6.3-1 MIGRATED to testing (Britney)
- [2022-07-18] Accepted 1.6.3-1 in unstable (medium) (Debian FTP Masters)
