File Name  ↓	File Size  ↓	Date  ↓
Parent directory/	-	-
prover9-mace4_0.5.dfsg-3_all.deb	51.4 KiB	2015-12-14 13:40
prover9-mace4_0.5.dfsg-2.1_all.deb	67.6 KiB	2011-12-14 01:04
p9m4_0.5.dfsg.orig.tar.gz	86.6 KiB	2008-05-07 02:04
p9m4_0.5.dfsg-3.dsc	1.7 KiB	2015-12-14 13:09
p9m4_0.5.dfsg-3.debian.tar.xz	8.6 KiB	2015-12-14 13:09
p9m4_0.5.dfsg-2.1.dsc	2.0 KiB	2011-12-14 01:03
p9m4_0.5.dfsg-2.1.diff.gz	8.7 KiB	2011-12-14 01:03