general
- source
- coq-interval (optional, misc)
- version
- 4.10.0-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).
problems
- The package has a debian/watch file, but the last attempt
to use it for checking for newer upstream versions failed with
an error:
In debian/watch no matching files for watch line https://gitlab.inria.fr/coqinterval/interval/-/tags?sort=updated_desc .*/interval-interval-(\d\S+)\.tar\.bz2
news RSS
- [2024-04-26] Accepted 4.10.0-1 in unstable (medium) (Debian FTP Masters)
- [2024-01-23] coq-interval 4.9.0-1 MIGRATED to testing (Britney)
- [2023-12-26] Accepted 4.9.0-1 in unstable (medium) (Debian FTP Masters)
- [2023-08-17] coq-interval 4.8.0-1 MIGRATED to testing (Britney)
- [2023-08-03] Accepted 4.8.0-1 in unstable (medium) (Debian FTP Masters)
- [2023-06-24] coq-interval 4.7.0-1 MIGRATED to testing (Britney)
- [2023-06-15] Accepted 4.7.0-1 in unstable (medium) (Debian FTP Masters)
- [2023-01-31] coq-interval 4.6.1-2 MIGRATED to testing (Britney)
- [2023-01-27] Accepted 4.6.1-2 in unstable (medium) (Debian FTP Masters)
- [2022-12-15] coq-interval 4.6.1-1 MIGRATED to testing (Britney)
- [2022-12-13] Accepted 4.6.1-1 in unstable (medium) (Debian FTP Masters)
- [2022-10-30] coq-interval 4.6.0-1 MIGRATED to testing (Britney)
- [2022-10-27] Accepted 4.6.0-1 in unstable (medium) (Debian FTP Masters)
- [2022-08-29] coq-interval 4.5.2-2 MIGRATED to testing (Britney)
- [2022-08-27] Accepted 4.5.2-2 in unstable (medium) (Debian FTP Masters)
- [2022-08-26] Accepted 4.5.2-1 in unstable (medium) (Debian FTP Masters)
- [2022-07-28] coq-interval 4.5.1-2 MIGRATED to testing (Britney)
- [2022-07-20] Accepted 4.5.1-2 in unstable (medium) (Debian FTP Masters)
