/ubuntu-ports/pool/universe/m/matita/

0 directories 7 files
List Grid
Name
Size Modified
Up
matita_0.99.1-3.debian.tar.gz
4.7 KiB
matita_0.99.1-3.dsc
1.5 KiB
matita_0.99.1-3_arm64.deb
6.8 MiB
matita_0.99.1-3_armhf.deb
2.4 MiB
matita_0.99.1-3_powerpc.deb
2.1 MiB
matita_0.99.1-3_ppc64el.deb
6.8 MiB
matita_0.99.1.orig.tar.gz
9.9 MiB