ASNET-AM

MIRRORS.ASNET.AM

Archive at the Academic Scientific Research Computer Network of Armenia
Directory: /ubuntu/pool/universe/m/metamath/
File Name  ↓ File Size  ↓ Date  ↓ 
Parent directory/--
metamath_0.180-1.dsc 120803-Jan-2020 03:13
metamath_0.180.orig.tar.gz 434K03-Jan-2020 03:13
metamath_0.180-1.debian.tar.xz 208803-Jan-2020 03:13
metamath_0.180-1_amd64.deb 327K03-Jan-2020 03:58
metamath_0.195-1.debian.tar.xz 192801-Jan-2021 21:19
metamath_0.195-1.dsc 120801-Jan-2021 21:19
metamath_0.195.orig.tar.gz 456K01-Jan-2021 21:19
metamath_0.195-1_amd64.deb 336K01-Jan-2021 21:34