Register
|
Log in
News for package
metamath-databases
[
2021-01-11
]
metamath-databases 0.0.0~20210101.git55fe226-2 MIGRATED to testing
(
Debian testing watch
)
[
2021-01-06
]
Accepted metamath-databases 0.0.0~20210101.git55fe226-2 (source) into unstable
(
Giovanni Mascellani
)
[
2021-01-06
]
metamath-databases 0.0.0~20210101.git55fe226-1 MIGRATED to testing
(
Debian testing watch
)
[
2021-01-01
]
Accepted metamath-databases 0.0.0~20210101.git55fe226-1 (source) into unstable
(
Giovanni Mascellani
)
[
2020-08-04
]
Accepted metamath-databases 0.0.0~20200715.git5b44899-1 (source all) into unstable, unstable
(
Debian FTP Masters
)
(signed by:
Giovanni Mascellani
)
