/debian-ports/pool-hurd-i386/main/m/metamath/

File Name  ↓ File Size  ↓ Date  ↓ 
Parent directory/--
metamath_0.195-1_hurd-i386.deb340.9 KiB01.01.2021 18:03
metamath_0.195-1_hurd-i386.buildinfo5.8 KiB01.01.2021 18:03
metamath-dbgsym_0.195-1_hurd-i386.deb396.1 KiB01.01.2021 18:03