general
- source
- coq-simple-io (optional, misc)
- version
- 1.9.0-1
- maint
- Debian OCaml Maintainers (a), Julien Puydt (u)
- std-ver
- 4.6.2
- VCS
- Git (browse)
todo
- Lintian reports 1 warning 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).
- This package has "Build-Depends: cppo" while cppo needs a new maintainer, see RFA #933912.
testing migration
excuses:- Migration status for coq-simple-io (1.7.0-3 to 1.8.0-1): BLOCKED: Rejected/violates migration policy/introduces a regression
- Issues preventing migration:
- migrating libcoq-simple-io/1.8.0-1/amd64 to testing makes libcoq-quickchick/1.6.4-2/amd64 uninstallable
- migrating libcoq-simple-io/1.8.0-1/arm64 to testing makes libcoq-quickchick/1.6.4-2/arm64 uninstallable
- migrating libcoq-simple-io/1.8.0-1/armhf to testing makes libcoq-quickchick/1.6.4-2/armhf uninstallable
- migrating libcoq-simple-io/1.8.0-1/i386 to testing makes libcoq-quickchick/1.6.4-2/i386 uninstallable
- migrating libcoq-simple-io/1.8.0-1/ppc64el to testing makes libcoq-quickchick/1.6.4-2/ppc64el uninstallable
- migrating libcoq-simple-io/1.8.0-1/s390x to testing makes libcoq-quickchick/1.6.4-2/s390x uninstallable
- Waiting for piuparts test results (stalls migration) - https://piuparts.debian.org/sid/source/c/coq-simple-io.html
- Too young, only 0 of 2 days old
news RSS
- [2024-04-28] Accepted 1.9.0-1 in unstable (medium) (Debian FTP Masters)
- [2024-01-23] coq-simple-io 1.8.0-4 MIGRATED to testing (Britney)
- [2023-12-23] Accepted 1.8.0-4 in unstable (medium) (Debian FTP Masters)
- [2023-06-24] coq-simple-io 1.8.0-3 MIGRATED to testing (Britney)
- [2023-06-13] Accepted 1.8.0-3 in unstable (medium) (Debian FTP Masters)
- [2023-01-31] coq-simple-io 1.8.0-2 MIGRATED to testing (Britney)
- [2023-01-26] Accepted 1.8.0-2 in unstable (medium) (Debian FTP Masters)
- [2022-10-02] coq-simple-io 1.8.0-1 MIGRATED to testing (Britney)
- [2022-09-25] Accepted 1.8.0-1 in unstable (medium) (Debian FTP Masters)
- [2022-09-17] coq-simple-io 1.7.0-3 MIGRATED to testing (Britney)
- [2022-09-06] Accepted 1.7.0-3 in unstable (medium) (Debian FTP Masters)
- [2022-08-18] coq-simple-io 1.7.0-2 MIGRATED to testing (Britney)
- [2022-08-14] Accepted 1.7.0-2 in unstable (medium) (Debian FTP Masters)
- [2022-07-11] coq-simple-io 1.7.0-1 MIGRATED to testing (Britney)
- [2022-07-08] Accepted 1.7.0-1 in unstable (medium) (Debian FTP Masters)
