general
- source
- metamath (extra, misc)
- version
- 0.195-1
- maint
- Giovanni Mascellani
- std-ver
- 4.5.1
- VCS
- Git (browse)
todo
- The package should be updated to follow the last version of Debian Policy (Standards-Version 4.6.2 instead of 4.5.1).
- A new upstream version is available: 0.198, you should consider packaging it.
news RSS
- [2021-01-06] metamath 0.195-1 MIGRATED to testing (Britney)
- [2021-01-01] Accepted 0.195-1 in unstable (medium) (Debian FTP Masters)
- [2020-07-18] metamath 0.183-1 MIGRATED to testing (Britney)
- [2020-07-12] Accepted 0.183-1 in unstable (medium) (Debian FTP Masters)
- [2020-05-07] metamath 0.180-1 MIGRATED to testing (Britney)
- [2020-01-02] Accepted 0.180-1 in unstable (medium) (Giovanni Mascellani)
