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
1.1.0-2
maint
Debian OCaml Maintainers
(
a
)
,
Julien Puydt
(u)
std-ver
4.6.2
VCS
Git
(
browse
)
versions
stable
0.6.0-2
testing
1.0.0-1
unstable
1.1.0-2
Ubuntu
1.1.0-2build1
binaries
libcoq-mathcomp-analysis
(
0 bugs
:
0
,
0
,
0
,
0
)
analysis extension for Mathematical Components
libcoq-mathcomp-classical
(
0 bugs
:
0
,
0
,
0
,
0
)
classical logic extension for Mathematical Components
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-05-01]
Accepted 1.1.0-2 in unstable (medium)
(Debian FTP Masters)
[2024-02-01]
mathcomp-analysis 1.0.0-1 MIGRATED to testing
(Britney)
[2024-01-29]
Accepted 1.0.0-1 in unstable (medium)
(Debian FTP Masters)
[2024-01-22]
mathcomp-analysis REMOVED from testing
(Britney)
[2023-08-25]
mathcomp-analysis 0.6.4-3 MIGRATED to testing
(Britney)
[2023-08-23]
Accepted 0.6.4-3 in unstable (medium)
(Debian FTP Masters)
[2023-08-19]
Accepted 0.6.4-2 in unstable (medium)
(Debian FTP Masters)
[2023-08-17]
Accepted 0.6.4-1 in unstable (medium)
(Debian FTP Masters)
[2023-07-21]
mathcomp-analysis 0.6.3-2 MIGRATED to testing
(Britney)
[2023-07-05]
Accepted 0.6.3-2 in unstable (medium)
(Debian FTP Masters)
[2023-06-24]
mathcomp-analysis 0.6.3-1 MIGRATED to testing
(Britney)
[2023-06-21]
Accepted 0.6.3-1 in unstable (medium)
(Debian FTP Masters)
[2023-06-15]
Accepted 0.6.2-1 in unstable (medium)
(Debian FTP Masters)
[2023-01-31]
mathcomp-analysis 0.6.0-2 MIGRATED to testing
(Britney)
[2023-01-27]
Accepted 0.6.0-2 in unstable (medium)
(Debian FTP Masters)
[2022-12-17]
mathcomp-analysis 0.6.0-1 MIGRATED to testing
(Britney)
[2022-12-14]
Accepted 0.6.0-1 in unstable (medium)
(Debian FTP Masters)
[2022-11-19]
mathcomp-analysis 0.5.4-3 MIGRATED to testing
(Britney)
[2022-11-10]
Accepted 0.5.4-3 in unstable (medium)
(Debian FTP Masters)
[2022-10-26]
Accepted 0.5.4-2 in unstable (medium)
(Debian FTP Masters)
[2022-09-17]
mathcomp-analysis 0.5.4-1 MIGRATED to testing
(Britney)
[2022-09-11]
Accepted 0.5.4-1 in unstable (medium)
(Debian FTP Masters)
[2022-09-06]
Accepted 0.5.3-2 in unstable (medium)
(Debian FTP Masters)
[2022-08-14]
mathcomp-analysis 0.5.3-1 MIGRATED to testing
(Britney)
[2022-08-11]
Accepted 0.5.3-1 in unstable (medium)
(Debian FTP Masters)
[2022-08-09]
mathcomp-analysis 0.5.2-2 MIGRATED to testing
(Britney)
[2022-08-06]
Accepted 0.5.2-2 in unstable (medium)
(Debian FTP Masters)
[2022-07-13]
mathcomp-analysis 0.5.2-1 MIGRATED to testing
(Britney)
[2022-07-10]
Accepted 0.5.2-1 in unstable (medium)
(Debian FTP Masters)
[2022-07-10]
mathcomp-analysis 0.5.1-3 MIGRATED to testing
(Britney)
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:
1
,
2
RDF meta-data
browse source code
patches
Debian
0.6.0-2
1.0.0-1
1.1.0-2