mathcomp-bigenough
epsilon - N reasoning for Mathematical Components
NEW: Take a look at the new package tracker:
tracker.debian.org/pkg/mathcomp-bigenough
general
source
mathcomp-bigenough
(
optional
,
misc
)
version
1.0.1-13
maint
Debian OCaml Maintainers
(
a
)
,
Julien Puydt
(u)
std-ver
4.6.2
VCS
Git
(
browse
)
versions
stable
1.0.1-8
testing
1.0.1-12
unstable
1.0.1-13
Ubuntu
1.0.1-13build1
binaries
libcoq-mathcomp-bigenough
(
0 bugs
:
0
,
0
,
0
,
0
)
epsilon - N reasoning 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-04-30]
Accepted 1.0.1-13 in unstable (medium)
(Debian FTP Masters)
[2024-01-23]
mathcomp-bigenough 1.0.1-12 MIGRATED to testing
(Britney)
[2023-12-25]
Accepted 1.0.1-12 in unstable (medium)
(Debian FTP Masters)
[2023-08-17]
mathcomp-bigenough 1.0.1-10 MIGRATED to testing
(Britney)
[2023-07-24]
Accepted 1.0.1-10 in unstable (medium)
(Debian FTP Masters)
[2023-06-24]
mathcomp-bigenough 1.0.1-9 MIGRATED to testing
(Britney)
[2023-06-14]
Accepted 1.0.1-9 in unstable (medium)
(Debian FTP Masters)
[2022-07-10]
mathcomp-bigenough 1.0.1-8 MIGRATED to testing
(Britney)
[2022-07-05]
Accepted 1.0.1-8 in unstable (medium)
(Debian FTP Masters)
[2022-06-12]
Accepted 1.0.1-7 in unstable (medium)
(Debian FTP Masters)
[2022-06-02]
Accepted 1.0.1-6 in unstable (medium)
(Debian FTP Masters)
[2022-05-28]
mathcomp-bigenough 1.0.1-5 MIGRATED to testing
(Britney)
[2022-05-23]
Accepted 1.0.1-5 in unstable (medium)
(Debian FTP Masters)
[2022-05-11]
mathcomp-bigenough 1.0.1-4 MIGRATED to testing
(Britney)
[2022-05-06]
Accepted 1.0.1-4 in unstable (medium)
(Debian FTP Masters)
[2022-05-05]
Accepted 1.0.1-3 in unstable (medium)
(Debian FTP Masters)
[2022-03-29]
mathcomp-bigenough 1.0.1-2 MIGRATED to testing
(Britney)
[2022-03-23]
Accepted 1.0.1-2 in unstable (medium)
(Debian FTP Masters)
[2022-02-19]
mathcomp-bigenough 1.0.1-1 MIGRATED to testing
(Britney)
[2022-02-12]
Accepted 1.0.1-1 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
1.0.1-8
1.0.1-12
1.0.1-13