Index of /debian-ports/pool-riscv64/main/m/metis
Name Last modified Size Description
Parent Directory -
metis_5.1.0.dfsg-7_riscv64.deb 20-May-2020 02:03 40K
metis_5.1.0.dfsg-7_riscv64.buildinfo 20-May-2020 02:03 6.9K
metis-dbgsym_5.1.0.dfsg-7_riscv64.deb 20-May-2020 02:03 98K
libmetis5_5.1.0.dfsg-7_riscv64.deb 20-May-2020 02:03 144K
libmetis5-dbgsym_5.1.0.dfsg-7_riscv64.deb 20-May-2020 02:03 348K
libmetis-dev_5.1.0.dfsg-7_riscv64.deb 20-May-2020 02:03 11K
Apache/2.2.22 (Debian) Server at mirrors.rackhosting.com Port 80