general
- source
- paramcoq (optional, misc)
- version
- 1.1.3+coq8.19-1
- maint
- Debian OCaml Maintainers (a), Julien Puydt (u)
- std-ver
- 4.6.2
- VCS
- Git (browse)
versions
- stable
-
1.1.3+coq8.16-3
- testing
-
1.1.3+coq8.18-1
- unstable
-
1.1.3+coq8.19-1
- Ubuntu
- 1.1.3+coq8.19-1
todo
- Lintian reports 1 error about this package. You should make the package lintian clean getting rid of it.
- 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 1.1.3+coq8.19-1 in unstable (medium) (Debian FTP Masters)
- [2024-01-23] paramcoq 1.1.3+coq8.18-1 MIGRATED to testing (Britney)
- [2023-12-22] Accepted 1.1.3+coq8.18-1 in unstable (medium) (Debian FTP Masters)
- [2023-08-17] paramcoq 1.1.3+coq8.17-2 MIGRATED to testing (Britney)
- [2023-07-25] Accepted 1.1.3+coq8.17-2 in unstable (medium) (Debian FTP Masters)
- [2023-06-24] paramcoq 1.1.3+coq8.17-1 MIGRATED to testing (Britney)
- [2023-06-12] Accepted 1.1.3+coq8.17-1 in unstable (medium) (Debian FTP Masters)
- [2023-01-31] paramcoq 1.1.3+coq8.16-3 MIGRATED to testing (Britney)
- [2023-01-25] Accepted 1.1.3+coq8.16-3 in unstable (medium) (Debian FTP Masters)
- [2022-09-17] paramcoq 1.1.3+coq8.16-2 MIGRATED to testing (Britney)
- [2022-09-13] Accepted 1.1.3+coq8.16-2 in unstable (medium) (Debian FTP Masters)
- [2022-09-06] Accepted 1.1.3+coq8.16-1 in unstable (medium) (Debian FTP Masters)
- [2022-06-20] paramcoq 1.1.3-7 MIGRATED to testing (Britney)
- [2022-06-12] Accepted 1.1.3-7 in unstable (medium) (Debian FTP Masters)
- [2022-06-08] Accepted 1.1.3-6 in unstable (medium) (Debian FTP Masters)
- [2022-06-03] Accepted 1.1.3-5 in unstable (medium) (Debian FTP Masters)
- [2022-06-01] Accepted 1.1.3-4 in unstable (medium) (Debian FTP Masters)
- [2022-05-25] paramcoq 1.1.3-3 MIGRATED to testing (Britney)
- [2022-05-22] Accepted 1.1.3-3 in unstable (medium) (Debian FTP Masters)
- [2022-05-20] paramcoq 1.1.3-2 MIGRATED to testing (Britney)
- [2022-05-18] paramcoq 1.1.3-1 MIGRATED to testing (Britney)
- [2022-05-17] Accepted 1.1.3-2 in unstable (medium) (Debian FTP Masters)
- [2022-05-15] Accepted 1.1.3-1 in unstable (medium) (Debian FTP Masters)
