aac-tactics
source package

NEW: Take a look at the new package tracker: tracker.debian.org/pkg/aac-tactics

general

source
aac-tactics (source, math)
version
8.11.0-1
maint
Debian OCaml Maintainers (a), Stéphane Glondu (u)
arch
any all
std-ver
4.5.0
VCS
Git (browse)

versions ... ...pool

o-o-stable
save 0.4-3
oldstable
save 8.6.1-1
unstable
save 8.11.0-1

binaries

todo

  • Lintian reports 1 warning about this package. You should make the package lintian clean getting rid of it.
  • A new upstream version is available: 8.12.0, you should consider packaging it.

problems

  • The package has not yet entered testing even though the 5-day delay is over. Check why.

testing migration

  • This package is part of the ongoing testing transition known as ocaml-4.11.1. Please avoid uploads unrelated to this transition, they would likely delay it and require supplementary work from the release managers. On the other hand, if your package has problems preventing it to migrate to testing, please fix them as soon as possible. You can probably find supplementary information in the debian-release archives or in the corresponding release.debian.org bug.
excuses:
  • Migration status for aac-tactics (- to 8.11.0-1): BLOCKED: Rejected/violates migration policy/introduces a regression
  • Issues preventing migration:
  • libaac-tactics-coq/amd64 has unsatisfiable dependency
  • libaac-tactics-ocaml/amd64 has unsatisfiable dependency
  • libaac-tactics-ocaml-dev/amd64 has unsatisfiable dependency
  • libaac-tactics-ocaml/arm64 has unsatisfiable dependency
  • libaac-tactics-ocaml-dev/arm64 has unsatisfiable dependency
  • libaac-tactics-coq/i386 has unsatisfiable dependency
  • libaac-tactics-ocaml/ppc64el has unsatisfiable dependency
  • libaac-tactics-ocaml-dev/ppc64el has unsatisfiable dependency
  • Updating aac-tactics introduces new bugs: #970454.
  • Additional info:
  • Piuparts tested OK - https://piuparts.debian.org/sid/source/a/aac-tactics.html
  • uninstallable on arch amd64, not running autopkgtest there
  • uninstallable on arch arm64, not running autopkgtest there
  • uninstallable on arch armhf, not running autopkgtest there
  • uninstallable on arch i386, not running autopkgtest there
  • 220 days old (needed 5 days)

news RSS

bugs

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