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
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/i386 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
uninstallable on arch armhf, not running autopkgtest there
uninstallable on arch i386, not running autopkgtest there
218 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
![[bug history graph]](https://qa.debian.org/data/bts/graphs/c/coq-float.png){kind=link}