uk-mirror.onlyservers.com
Sync healthy Servers, Bandwidth and storage provided by OnlyServers UK Browse

Index of /ubuntu/pool/universe/m/metamath/

Show dotfiles
Name
Last modified
Size
../
-
-
metamath_0.180-1.debian.tar.xz
02-Jan-2020 23:13
2.04 KB
metamath_0.180-1.dsc
02-Jan-2020 23:13
1.18 KB
metamath_0.180-1_amd64.deb
02-Jan-2020 23:58
327.3 KB
metamath_0.180.orig.tar.gz
02-Jan-2020 23:13
434.39 KB
metamath_0.195-1.debian.tar.xz
01-Jan-2021 17:19
1.88 KB
metamath_0.195-1.dsc
01-Jan-2021 17:19
1.18 KB
metamath_0.195-1_amd64.deb
01-Jan-2021 17:34
335.74 KB
metamath_0.195.orig.tar.gz
01-Jan-2021 17:19
455.93 KB
metamath_0.198-2.debian.tar.xz
08-Dec-2025 00:18
2.14 KB
metamath_0.198-2.dsc
08-Dec-2025 00:18
1.18 KB
metamath_0.198-2_amd64.deb
08-Dec-2025 00:18
404.77 KB
metamath_0.198-2_amd64v3.deb
08-Dec-2025 00:18
432.09 KB
metamath_0.198.orig.tar.gz
07-Dec-2025 05:34
457.66 KB