⚙
3.5 MiB
15 files
0 directories
Index of
/
ubuntu
/pool
/universe
/m
/metamath/
Filename
Modified
Size
Type
[Parent Directory]
-
-
-
metamath_0.180-1_amd64.deb
02/01/20 23:58
02/01/20
327 KiB
[Save]
[Download]
metamath_0.195-1_amd64.deb
01/01/21 17:34
01/01/21
336 KiB
[Save]
[Download]
metamath_0.180-1.debian.tar.xz
02/01/20 23:13
02/01/20
2 KiB
[Save]
[Download]
metamath_0.180-1.dsc
02/01/20 23:13
02/01/20
1.2 KiB
[Save]
[Download]
metamath_0.180.orig.tar.gz
02/01/20 23:13
02/01/20
434 KiB
[Save]
[Download]
metamath_0.195-1.debian.tar.xz
01/01/21 17:19
01/01/21
1.9 KiB
[Save]
[Download]
metamath_0.195-1.dsc
01/01/21 17:19
01/01/21
1.2 KiB
[Save]
[Download]
metamath_0.195.orig.tar.gz
01/01/21 17:19
01/01/21
456 KiB
[Save]
[Download]
metamath_0.198-2.debian.tar.xz
08/12/25 00:18
08/12/25
2.1 KiB
[Save]
[Download]
metamath_0.198-2.dsc
08/12/25 00:18
08/12/25
1.2 KiB
[Save]
[Download]
metamath_0.198-2_amd64.deb
08/12/25 00:18
08/12/25
405 KiB
[Save]
[Download]
metamath_0.198-2_amd64v3.deb
08/12/25 00:18
08/12/25
432 KiB
[Save]
[Download]
metamath_0.198.orig.tar.gz
07/12/25 05:34
07/12/25
458 KiB
[Save]
[Download]
metamath_0.195-1_arm64.deb
01/01/21 17:35
01/01/21
332 KiB
[Save]
[Download]
metamath_0.198-2_arm64.deb
08/12/25 00:18
08/12/25
443 KiB
[Save]
[Download]
Page generated in
0.001074
seconds
Browsing
/ubuntu/pool/universe/m/metamath/
@
mirror.ihost.md