metamath-databases
Sample databases for Metamath
NEW: Take a look at the new package tracker:
tracker.debian.org/pkg/metamath-databases
general
source
metamath-databases
(
extra
,
misc
)
version
0.0.0~20210101.git55fe226-2
maint
Giovanni Mascellani
std-ver
4.5.1
VCS
Git
(
browse
)
versions
oldstable
0.0.0~20210101.git55fe226-2
stable
0.0.0~20210101.git55fe226-2
testing
0.0.0~20210101.git55fe226-2
unstable
0.0.0~20210101.git55fe226-2
Ubuntu
0.0.0~20210101.git55fe226-2
binaries
metamath-databases
(
0 bugs
:
0
,
0
,
0
,
0
)
Sample databases for Metamath
todo
The package should be updated to follow the last version of
Debian Policy
(Standards-Version
4.6.2
instead of
4.5.1
).
news
RSS
[2021-01-11]
metamath-databases 0.0.0~20210101.git55fe226-2 MIGRATED to testing
(Britney)
[2021-01-06]
Accepted 0.0.0~20210101.git55fe226-2 in unstable (medium)
(Debian FTP Masters)
[2021-01-06]
metamath-databases 0.0.0~20210101.git55fe226-1 MIGRATED to testing
(Britney)
[2021-01-01]
Accepted 0.0.0~20210101.git55fe226-1 in unstable (medium)
(Debian FTP Masters)
[2020-08-04]
Accepted 0.0.0~20200715.git5b44899-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
,
clang
lintian
popcon
debtags
screenshots
RDF meta-data
browse source code
patches
Debian
0.0.0~20210101.git55fe226-2
0.0.0~20210101.git55fe226-2
0.0.0~20210101.git55fe226-2
0.0.0~20210101.git55fe226-2