snapshot.debian.org
|
binary package:
m*
/
metamath /
Binary package metamath
Available versions:
0.195-1+b1 (source: metamath 0.195-1)
0.195-1 (source: metamath 0.195-1)
0.183-1 (source: metamath 0.183-1)
0.180-1+b1 (source: metamath 0.180-1)
0.180-1 (source: metamath 0.180-1)
Application Developed by Peter Palfrader — Web/Graphics designed by Bernhard Weitzhofer
Source code can be cloned with
git clone
https://salsa.debian.org/snapshot-team/snapshot.git
or browsed directly on
salsa.debian.org
.
Please
report bugs
against the
snapshot.debian.org package
.
Built at 2025-04-13 21:36:34.423478 on snapshot-mlm-01.
Hosting for snapshot.debian.org generously provided by our partners.
