Debian Package Tracker

general

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

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

[pool directory]

oldstable: 1:8.4-4
unstable: 1:8.4-5

versioned links

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

binaries

libfloat-coq

action needed

Problems while searching for a new upstream version high

uscan had problems while searching for a new upstream version:

In watchfile debian/watch, reading webpage
  http://lipforge.ens-lyon.fr/frs/?group_id=11&release_id=85 failed: 500 Can't connect to lipforge.ens-lyon.fr:80

Created: 2017-11-21 Last update: 2019-03-24 11:58

Failed to analyze the VCS repository. Please troubleshoot and fix the issue. high

vcswatch reports that there is an error with this package's VCS, or the debian/changelog file inside it. Please check the error shown below and try to fix it. You might have to update the VCS URL in the debian/control file to point to the correct repository.

fatal: repository 'https://anonscm.debian.org/git/pkg-ocaml-maint/packages/coq-float.git/' not found

Created: 2018-05-12 Last update: 2019-03-23 16:18

Standards version of the package is outdated. high

The package is severely out of date with respect to the Debian Policy. The package should be updated to follow the last version of Debian Policy (Standards-Version 4.3.0 instead of 3.9.5).

Created: 2015-10-15 Last update: 2018-12-23 17:15

1 binary package has unsatisfiable dependencies normal

The dependencies of libfloat-coq=1:8.4-5 cannot be satisfied on amd64 because: unsatisfied dependency on coq-8.4pl4+4.02.3

Created: 2018-09-13 Last update: 2019-03-24 15:19

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

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

Created: 2016-03-20 Last update: 2019-03-24 15:06

lintian reports 3 warnings normal

Lintian reports 3 warnings about this package. You should make the package lintian clean getting rid of them.

Created: 2015-10-16 Last update: 2018-09-09 06:31

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: 2017-11-21 Last update: 2017-11-21 13:44

The URL(s) for this package had some recent persistent issues low

DUCK reports some issues concerning upstream URLs defined for this package.

Created: 2019-01-12 Last update: 2019-03-24 12:38

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: 2016-09-14 Last update: 2019-03-24 11:50

testing migrations

excuses:
- 1256 days old (10 needed)
- libfloat-coq/amd64 unsatisfiable Depends: coq-8.4pl4+4.02.3
- libfloat-coq/arm64 unsatisfiable Depends: coq-8.4pl4+4.02.3
- libfloat-coq/armel unsatisfiable Depends: coq-8.4pl4+4.02.3
- libfloat-coq/armhf unsatisfiable Depends: coq-8.4pl4+4.02.3
- libfloat-coq/i386 unsatisfiable Depends: coq-8.4pl4+4.02.3
- libfloat-coq/mips unsatisfiable Depends: coq-8.4pl4+4.02.3
- libfloat-coq/mips64el unsatisfiable Depends: coq-8.4pl4+4.02.3
- libfloat-coq/mipsel unsatisfiable Depends: coq-8.4pl4+4.02.3
- libfloat-coq/ppc64el unsatisfiable Depends: coq-8.4pl4+4.02.3
- libfloat-coq/s390x unsatisfiable Depends: coq-8.4pl4+4.02.3
- Updating coq-float introduces new bugs: #813596
- Cannot be tested by piuparts (not a blocker) - https://piuparts.debian.org/sid/source/c/coq-float.html
- uninstallable on arch amd64, autopkgtest delayed there
- Checking build-dependency on amd64
- Not touching package due to block request by freeze (please contact debian-release if update is needed)
- Not considered

news

[rss feed]

[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)
[2011-03-21] coq-float 1:8.2-1.2-6 MIGRATED to testing (Debian testing watch)
[2011-03-10] Accepted coq-float 1:8.2-1.2-6 (source all) (Stéphane Glondu)
[2010-08-01] coq-float 1:8.2-1.2-5 MIGRATED to testing (Debian testing watch)
[2010-07-03] Accepted coq-float 1:8.2-1.2-5 (source all) (Stéphane Glondu)
[2010-02-25] coq-float 1:8.2-1.2-4 MIGRATED to testing (Debian testing watch)

bugs [bug history graph]

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

links

homepage
lintian (0, 3)
buildd: logs, clang, debcheck
popcon
browse source code
edit tags