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