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

Filename	Modification time	Size
matita-dbgsym_0.99.3-1+b1_amd64.deb	2017-03-08 03:15 CET	887 KiB
matita-dbgsym_0.99.3-1+b1_arm64.deb	2017-03-08 01:58 CET	881 KiB
matita-dbgsym_0.99.3-1+b1_armel.deb	2017-03-11 23:29 CET	918 KiB
matita-dbgsym_0.99.3-1+b1_armhf.deb	2017-03-13 03:44 CET	918 KiB
matita-dbgsym_0.99.3-1+b1_i386.deb	2017-03-08 04:42 CET	836 KiB
matita_0.99.3-1.debian.tar.xz	2016-05-24 22:22 CEST	4296 B
matita_0.99.3-1.dsc	2016-05-24 22:22 CEST	2167 B
matita_0.99.3.orig.tar.gz	2016-05-24 22:22 CEST	3072 KiB