why3
Software verification platform

NEW: Take a look at the new package tracker: tracker.debian.org/pkg/why3

general

source
why3 (optional, misc)
version
1.6.0-1
maint
Debian OCaml Maintainers (a), Ralf Treinen (u)
arch
any all
std-ver
4.6.2
VCS
Git (browse)

versions ... ...pool

o-o-stable
save 1.2.0-1
oldstable
save 1.3.3-1
stable
save 1.5.1-1
testing
save 1.6.0-1
unstable
save 1.6.0-1
Ubuntu
1.6.0-1build7

binaries

todo

  • Lintian reports 14 warnings about this package. You should make the package lintian clean getting rid of them.
  • The package should be updated to follow the last version of Debian Policy (Standards-Version 4.7.0 instead of 4.6.2).
  • A new upstream version is available: 1.7.2, you should consider packaging it.

testing migration

  • This package is part of the ongoing testing transition known as libglib2.0-0t64. 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.
  • This package is part of the ongoing testing transition known as auto-glib2.0. 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.
  • This package is part of the ongoing testing transition known as auto-gtk+3.0. 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 why3 (- to 1.4.0-3): BLOCKED: Rejected/violates migration policy/introduces a regression
  • Issues preventing migration:
  • why3-coq/amd64 has unsatisfiable dependency
  • why3-coq/arm64 has unsatisfiable dependency
  • why3-coq/armhf has unsatisfiable dependency
  • why3-coq/i386 has unsatisfiable dependency
  • why3-coq/ppc64el has unsatisfiable dependency
  • why3-coq/s390x has unsatisfiable dependency
  • missing build on armel
  • missing build on mips64el
  • missing build on mipsel
  • Build-Depends(-Arch): why3 coq
  • Additional info:
  • Cannot be tested by piuparts (not a blocker) - https://piuparts.debian.org/sid/source/w/why3.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
  • uninstallable on arch ppc64el, not running autopkgtest there
  • 5 days old (needed 5 days)

news RSS

bugs

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

links

patches

Debian
1.3.3-1 1.5.1-1 1.6.0-1 1.6.0-1

subscribe to this package (docs)

Debian Package Tracking System - Copyright © 2002-2014 Raphaël Hertzog, Stefano Zacchiroli and others.
Report problems to the qa.debian.org pseudopackage in the Debian BTS.
git revision 537db4c | Checkout or browse git repository
Last modified: 2024-04-24T08:54:48+00:00.