coq-float - Debian Package Tracker

general

source: coq-float (main)
version: 1:8.10.0-1
maintainer: Debian OCaml Maintainers (archive) (DMD)
uploaders: Stéphane Glondu [DMD]
arch: all
std-ver: 4.5.0
VCS: Git (Browse, QA)

versions [more versions can be listed by madison] [old versions available from snapshot.debian.org]

[pool directory]

unstable: 1:8.10.0-1

versioned links

1:8.10.0-1: [.dsc, use dget on this link to retrieve source package] [changelog] [copyright] [rules] [control]

binaries

libfloat-coq

action needed

1 binary package has unsatisfiable dependencies high

The dependencies of libfloat-coq=1:8.10.0-1 cannot be satisfied in unstable on amd64 because: unsatisfied dependency on coq-8.11.0+4.08.1

Created: 2020-09-11 Last update: 2021-09-28 23:35

Problems while searching for a new upstream version high

uscan had problems while searching for a new upstream version:

In debian/watch no matching files for watch line
  https://github.com/coq-contribs/float/releases .*/archive/v(.*)\.tar\.gz

Created: 2021-03-21 Last update: 2021-09-28 21:36

The package has not entered testing even though the delay is over normal

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

Created: 2020-09-29 Last update: 2021-09-28 23:34

piuparts found (un)installation error(s) normal

Piuparts stresses package installation, uninstallation, upgrade, ... While doing such tests, one or more errors were found for the following suites:

sid - piuparts

You should fix them.

Created: 2021-04-05 Last update: 2021-04-05 17:01

Multiarch hinter reports 1 issue(s) low

There are issues with the multiarch metadata for this package.

libfloat-coq could be marked Multi-Arch: foreign

Created: 2020-09-10 Last update: 2021-09-28 21:38

Standards version of the package is outdated. wishlist

The package should be updated to follow the last version of Debian Policy (Standards-Version 4.6.0 instead of 4.5.0).

Created: 2020-11-17 Last update: 2021-08-18 14:03

testing migrations

excuses:
- Migration status for coq-float (- to 1:8.10.0-1): BLOCKED: Rejected/violates migration policy/introduces a regression
- Issues preventing migration:
- libfloat-coq/amd64 has unsatisfiable dependency
- libfloat-coq/arm64 has unsatisfiable dependency
- Updating coq-float introduces new bugs: #970453
- Additional info:
- Cannot be tested by piuparts (not a blocker) - https://piuparts.debian.org/sid/source/c/coq-float.html
- uninstallable on arch amd64, not running autopkgtest there
- uninstallable on arch arm64, not running autopkgtest there
- 562 days old (needed 5 days)
- Not considered

news

[rss feed]

[2020-09-30] coq-float REMOVED from testing (Debian testing watch)
[2020-03-24] coq-float 1:8.10.0-1 MIGRATED to testing (Debian testing watch)
[2020-03-16] Accepted coq-float 1:8.10.0-1 (source) into unstable (Ralf Treinen)
[2020-02-06] coq-float 1:8.9.0-1 MIGRATED to testing (Debian testing watch)
[2020-02-01] Accepted coq-float 1:8.9.0-1 (source) into unstable (Stéphane Glondu)
[2016-03-19] coq-float REMOVED from testing (Debian testing watch)
[2015-11-01] coq-float 1:8.4-5 MIGRATED to testing (Britney)
[2015-10-14] Accepted coq-float 1:8.4-5 (source all) into unstable (Stéphane Glondu)
[2014-08-11] coq-float 1:8.4-4 MIGRATED to testing (Britney)
[2014-07-30] Accepted coq-float 1:8.4-4 (source all) into unstable (Stéphane Glondu)
[2014-01-26] coq-float 1:8.4-3 MIGRATED to testing (Debian testing watch)
[2014-01-20] Accepted coq-float 1:8.4-3 (source all) (Stéphane Glondu)
[2013-12-12] coq-float 1:8.4-2 MIGRATED to testing (Debian testing watch)
[2013-12-07] Accepted coq-float 1:8.4-2 (source all) (Stéphane Glondu)
[2013-05-25] coq-float 1:8.4-1 MIGRATED to testing (Debian testing watch)
[2013-05-08] Accepted coq-float 1:8.4-1 (source all) (Stéphane Glondu)
[2012-06-17] coq-float 1:8.3pl1-4 MIGRATED to testing (Debian testing watch)
[2012-06-06] Accepted coq-float 1:8.3pl1-4 (source all) (Stéphane Glondu)
[2012-04-09] coq-float 1:8.3pl1-3 MIGRATED to testing (Debian testing watch)
[2012-03-30] Accepted coq-float 1:8.3pl1-3 (source all) (Stéphane Glondu)
[2012-03-17] coq-float 1:8.3pl1-2 MIGRATED to testing (Debian testing watch)
[2012-03-06] Accepted coq-float 1:8.3pl1-2 (source all) (Stéphane Glondu)
[2012-01-20] coq-float 1:8.3pl1-1 MIGRATED to testing (Debian testing watch)
[2012-01-09] Accepted coq-float 1:8.3pl1-1 (source all) (Stéphane Glondu)
[2012-01-07] coq-float 1:8.2-1.2-9 MIGRATED to testing (Debian testing watch)
[2011-12-25] Accepted coq-float 1:8.2-1.2-9 (source all) (Stéphane Glondu)
[2011-11-09] coq-float 1:8.2-1.2-8 MIGRATED to testing (Debian testing watch)
[2011-11-03] Accepted coq-float 1:8.2-1.2-8 (source all) (Stéphane Glondu)
[2011-04-30] coq-float 1:8.2-1.2-7 MIGRATED to testing (Debian testing watch)
[2011-04-20] Accepted coq-float 1:8.2-1.2-7 (source all) (Stéphane Glondu)

bugs [bug history graph]

all: 1
RC: 1
I&N: 0
M&W: 0
F&P: 0
patch: 0

links

homepage
buildd: logs, clang, debcheck
popcon
browse source code
edit tags
other distros