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]
  • 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)
  • 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