coquelicot
Coq library for real analysis
NEW: Take a look at the new package tracker:
tracker.debian.org/pkg/coquelicot
general
source
coquelicot
(
optional
,
misc
)
version
3.3.1-1
maint
Debian OCaml Maintainers
(
a
)
,
Julien Puydt
(u)
std-ver
4.6.2
VCS
Git
(
browse
)
versions
stable
3.2.0-8
testing
3.3.1-1
unstable
3.3.1-1
Ubuntu
3.3.1-1build3
binaries
libcoq-coquelicot
(
0 bugs
:
0
,
0
,
0
,
0
)
Coq library for real analysis
todo
A new upstream version is available:
3.4.0
, you should consider packaging it.
autoremoval from testing
Version 3.3.1-1 of coquelicot is marked for autoremoval from testing on 2023-12-30.
It depends (transitively) on and
coq
, affected by RC bug(s) and
1056062
You should try to prevent the removal from testing by fixing these bugs.
news
RSS
[2023-06-24]
coquelicot 3.3.1-1 MIGRATED to testing
(Britney)
[2023-06-14]
Accepted 3.3.1-1 in unstable (medium)
(Debian FTP Masters)
[2023-01-31]
coquelicot 3.2.0-8 MIGRATED to testing
(Britney)
[2023-01-26]
Accepted 3.2.0-8 in unstable (medium)
(Debian FTP Masters)
[2022-07-10]
coquelicot 3.2.0-7 MIGRATED to testing
(Britney)
[2022-07-05]
Accepted 3.2.0-7 in unstable (medium)
(Debian FTP Masters)
[2022-06-29]
coquelicot REMOVED from testing
(Britney)
[2022-06-19]
Accepted 3.2.0-6 in unstable (medium)
(Debian FTP Masters)
[2022-06-12]
Accepted 3.2.0-5 in unstable (medium)
(Debian FTP Masters)
[2022-06-02]
Accepted 3.2.0-4 in unstable (medium)
(Debian FTP Masters)
[2022-05-23]
Accepted 3.2.0-3 in unstable (medium)
(Debian FTP Masters)
[2022-05-20]
coquelicot 3.2.0-2 MIGRATED to testing
(Britney)
[2022-05-17]
Accepted 3.2.0-2 in unstable (medium)
(Debian FTP Masters)
[2022-05-15]
coquelicot 3.2.0-1 MIGRATED to testing
(Britney)
[2022-05-12]
Accepted 3.2.0-1 in unstable (medium)
(Debian FTP Masters)
[2020-02-27]
Removed 0.9.6-1.1 from unstable
(None)
[2019-03-05]
coquelicot REMOVED from testing
(Britney)
[2018-08-15]
coquelicot 0.9.6-1.1 MIGRATED to testing
(Britney)
[2018-08-14]
coquelicot REMOVED from testing
(Britney)
[2018-08-09]
Accepted 0.9.6-1.1 in unstable (medium)
(Antonio Terceiro)
[2016-12-31]
coquelicot 0.9.6-1 MIGRATED to testing
(Britney)
[2016-12-20]
Accepted 0.9.6-1 in unstable (medium)
(Jérémy Bobbio)
[2015-09-28]
coquelicot 0.9.5-1 MIGRATED to testing
(Britney)
[2015-09-22]
Accepted 0.9.5-1 in unstable (medium)
(Jérémy Bobbio)
[2015-09-18]
coquelicot 0.9.4-1 MIGRATED to testing
(Britney)
[2015-09-12]
Accepted 0.9.4-1 in unstable (medium)
(Jérémy Bobbio)
[2015-07-11]
coquelicot 0.9.2-4 MIGRATED to testing
(Britney)
[2015-07-10]
coquelicot REMOVED from testing
(Britney)
[2014-09-07]
coquelicot 0.9.2-4 MIGRATED to testing
(Britney)
[2014-09-01]
Accepted 0.9.2-4 in unstable (medium)
(Jérémy Bobbio)
bugs
all
1
RC
0
I&N
0
M&W
1
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
3.2.0-8
3.3.1-1
3.3.1-1