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: 2022-05-24 11:41

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: 2022-05-24 10:06

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: 2022-05-24 11:39

RM: This package has been requested to be removed. normal

This package has been requested to be removed. This means that, when this request gets processed by an ftp-master, this package will no longer be in unstable, and will automatically be removed from testing too afterwards. If for some reason you want keep this package in unstable, please discuss so in the bug. Please see bug number #1011347 for more information.

Created: 2022-05-20 Last update: 2022-05-20 20:00

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: 2022-05-24 10:12

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.1 instead of 4.5.0).

Created: 2020-11-17 Last update: 2022-05-11 23:25

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 would introduce bugs in testing: #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
- ∙ ∙ 799 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
lintian
buildd: logs, clang, debcheck
popcon
browse source code
edit tags
other distros