coq-simple-io
source package

NEW: Take a look at the new package tracker: tracker.debian.org/pkg/coq-simple-io

general

source
coq-simple-io (optional, misc)
version
1.8.0-1
maint
Debian OCaml Maintainers (a), Julien Puydt (u)
std-ver
4.6.1
VCS
Git (browse)

versions ... ...pool

testing
save 1.7.0-3
unstable
save 1.8.0-1

binaries

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

bugs

all bug history graph
RC
I&N
M&W
F&P