Folder Path
/
ubuntu
/
pool
/
universe
/
m
/
metamath
/
0
directories
8
files
List
Grid
Name
Size
Modified
Up
metamath_0.180-1.debian.tar.xz
2.0 KiB
1/2/2020, 11:13:19 PM
metamath_0.180-1.dsc
1.2 KiB
1/2/2020, 11:13:18 PM
metamath_0.180-1_amd64.deb
327 KiB
1/2/2020, 11:58:21 PM
metamath_0.180.orig.tar.gz
434 KiB
1/2/2020, 11:13:18 PM
metamath_0.195-1.debian.tar.xz
1.9 KiB
1/1/2021, 5:19:56 PM
metamath_0.195-1.dsc
1.2 KiB
1/1/2021, 5:19:56 PM
metamath_0.195-1_amd64.deb
336 KiB
1/1/2021, 5:34:51 PM
metamath_0.195.orig.tar.gz
456 KiB
1/1/2021, 5:19:56 PM