Index of /ubuntu/pool/universe/m/metamath/
name
size
date
metamath_0.198-2_amd64.deb
404.8K
2025-12-08 00:18:39
metamath_0.195-1_amd64.deb
335.7K
2021-01-01 17:34:51
metamath_0.180-1_amd64.deb
327.3K
2020-01-02 23:58:21