Studenten Net Twente Mirror service

Index of /pub/os/linux/debian-archive/debian-debug/pool/main/m/matita/

Filename Modification time Size
matita-dbgsym_0.99.3-1+b1_amd64.deb 887 KiB
matita-dbgsym_0.99.3-1+b1_arm64.deb 881 KiB
matita-dbgsym_0.99.3-1+b1_armel.deb 918 KiB
matita-dbgsym_0.99.3-1+b1_armhf.deb 918 KiB
matita-dbgsym_0.99.3-1+b1_i386.deb 836 KiB
matita_0.99.3-1.debian.tar.xz 4296 B
matita_0.99.3-1.dsc 2167 B
matita_0.99.3.orig.tar.gz 3072 KiB