mathcomp-analysis
source package
NEW: Take a look at the new package tracker:
tracker.debian.org/pkg/mathcomp-analysis
general
source
mathcomp-analysis
(
optional
,
misc
)
version
0.5.0-3
maint
Debian OCaml Maintainers
(
a
)
,
Julien Puydt
(u)
std-ver
4.6.0
VCS
Git
(
browse
)
versions
testing
0.5.0-3
unstable
0.5.0-3
binaries
libcoq-mathcomp-analysis
(
bugs
:
,
,
,
)
todo
The package should be updated to follow the last version of
Debian Policy
(Standards-Version
4.6.1
instead of
4.6.0
).
news
RSS
[2022-05-24]
Accepted 0.5.0-4 in unstable (medium)
(Debian FTP Masters)
[2022-04-22]
mathcomp-analysis 0.5.0-3 MIGRATED to testing
(Britney)
[2022-04-13]
Accepted 0.5.0-3 in unstable (medium)
(Debian FTP Masters)
[2022-03-30]
mathcomp-analysis 0.5.0-2 MIGRATED to testing
(Britney)
[2022-03-25]
Accepted 0.5.0-2 in unstable (medium)
(Debian FTP Masters)
[2022-03-23]
Accepted 0.5.0-1 in unstable (medium)
(Debian FTP Masters)
[2022-03-14]
mathcomp-analysis 0.4.0-1 MIGRATED to testing
(Britney)
[2022-03-08]
Accepted 0.4.0-1 in unstable (medium)
(Debian FTP Masters)
[2022-02-19]
mathcomp-analysis 0.3.13-1 MIGRATED to testing
(Britney)
[2022-02-12]
Accepted 0.3.13-1 in unstable (medium)
(Debian FTP Masters)
bugs
all
RC
I&N
M&W
F&P
links
homepage
changelog
/
copyright
buildd:
logs
,
clang
popcon
debtags
RDF meta-data
browse source code