Register
|
Log in
News for package
metamath
[
2021-01-06
]
metamath 0.195-1 MIGRATED to testing
(
Debian testing watch
)
[
2021-01-01
]
Accepted metamath 0.195-1 (source) into unstable
(
Giovanni Mascellani
)
[
2020-07-18
]
metamath 0.183-1 MIGRATED to testing
(
Debian testing watch
)
[
2020-07-12
]
Accepted metamath 0.183-1 (source) into unstable
(
Giovanni Mascellani
)
[
2020-05-07
]
metamath 0.180-1 MIGRATED to testing
(
Debian testing watch
)
[
2020-01-02
]
Accepted metamath 0.180-1 (source amd64) into unstable, unstable
(
Giovanni Mascellani
)
