coq-interval
interval arithmetic for Coq
NEW: Take a look at the new package tracker:
tracker.debian.org/pkg/coq-interval
general
source
coq-interval
(
optional
,
misc
)
version
4.10.0-1
maint
Debian OCaml Maintainers
(
a
)
,
Julien Puydt
(u)
std-ver
4.6.2
VCS
Git
(
browse
)
versions
stable
4.6.1-2
testing
4.9.0-1
unstable
4.10.0-1
Ubuntu
4.9.0-1build5
binaries
libcoq-interval
(
0 bugs
:
0
,
0
,
0
,
0
)
interval arithmetic for Coq
todo
The package should be updated to follow the last version of
Debian Policy
(Standards-Version
4.7.0
instead of
4.6.2
).
news
RSS
[2024-04-26]
Accepted 4.10.0-1 in unstable (medium)
(Debian FTP Masters)
[2024-01-23]
coq-interval 4.9.0-1 MIGRATED to testing
(Britney)
[2023-12-26]
Accepted 4.9.0-1 in unstable (medium)
(Debian FTP Masters)
[2023-08-17]
coq-interval 4.8.0-1 MIGRATED to testing
(Britney)
[2023-08-03]
Accepted 4.8.0-1 in unstable (medium)
(Debian FTP Masters)
[2023-06-24]
coq-interval 4.7.0-1 MIGRATED to testing
(Britney)
[2023-06-15]
Accepted 4.7.0-1 in unstable (medium)
(Debian FTP Masters)
[2023-01-31]
coq-interval 4.6.1-2 MIGRATED to testing
(Britney)
[2023-01-27]
Accepted 4.6.1-2 in unstable (medium)
(Debian FTP Masters)
[2022-12-15]
coq-interval 4.6.1-1 MIGRATED to testing
(Britney)
[2022-12-13]
Accepted 4.6.1-1 in unstable (medium)
(Debian FTP Masters)
[2022-10-30]
coq-interval 4.6.0-1 MIGRATED to testing
(Britney)
[2022-10-27]
Accepted 4.6.0-1 in unstable (medium)
(Debian FTP Masters)
[2022-08-29]
coq-interval 4.5.2-2 MIGRATED to testing
(Britney)
[2022-08-27]
Accepted 4.5.2-2 in unstable (medium)
(Debian FTP Masters)
[2022-08-26]
Accepted 4.5.2-1 in unstable (medium)
(Debian FTP Masters)
[2022-07-28]
coq-interval 4.5.1-2 MIGRATED to testing
(Britney)
[2022-07-20]
Accepted 4.5.1-2 in unstable (medium)
(Debian FTP Masters)
bugs
all
0
RC
0
I&N
0
M&W
0
F&P
0
links
homepage
changelog
/
copyright
buildd:
logs
,
checks
,
clang
debcheck:
unstable
testing
stable
tests
(
log
)
lintian
popcon
debtags
screenshots
RDF meta-data
browse source code
patches
Debian
4.6.1-2
4.9.0-1
4.10.0-1