Go
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
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
.
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
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
).
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