Debian Package Tracker
Register | Log in
Subscribe

coq-float

Coq library on floating-point arithmetic

Choose email to subscribe with

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]
  • o-o-stable: 1:8.4-4
  • unstable: 1:8.10.0-1
versioned links
  • 1:8.4-4: [.dsc, use dget on this link to retrieve source package] [changelog] [copyright] [rules] [control]
  • 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-01-19 03:30
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-01-19 02:34
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-01-18 22:07
Standards version of the package is outdated. wishlist
The package should be updated to follow the last version of Debian Policy (Standards-Version 4.5.1 instead of 4.5.0).
Created: 2020-11-17 Last update: 2020-11-17 05:41
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:
    • Piuparts tested OK - 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
    • 309 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)
  • 1
  • 2
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

Debian Package Tracker — Copyright 2013-2018 The Distro Tracker Developers
Report problems to the tracker.debian.org pseudo-package in the Debian BTS.
Documentation — Bugs — Git Repository — Contributing