ftp://ftp.ac-grenoble.fr/mirrors/linux/distributions/debian/debian/pool/main/p/p9m4/  direct

922 B  2008-02-29p9m4_0.5.dfsg-1.dsc  260+ mirrors
3.22 KB  2008-02-29p9m4_0.5.dfsg-1.diff.gz  260+ mirrors
86.60 KB  2008-02-29p9m4_0.5.dfsg.orig.tar.gz  info  browse  260+ mirrors
 p9m4_0.5.dfsg.orig.tar.gz
 /Main/Debian/Other/

65.79 KB  2008-02-29prover9-mace4_0.5.dfsg-1_all.deb  200+ mirrors