Index of /ubuntu/archive/pool/universe/p/p9m4/

Index of /ubuntu/archive/pool/universe/p/p9m4/

../
p9m4_0.5.dfsg-2.1.diff.gz                          14-Dec-2011 12:03    8870
p9m4_0.5.dfsg-2.1.dsc                              14-Dec-2011 12:03    2023
p9m4_0.5.dfsg-3.debian.tar.xz                      15-Dec-2015 00:09    8792
p9m4_0.5.dfsg-3.dsc                                15-Dec-2015 00:09    1726
p9m4_0.5.dfsg.orig.tar.gz                          07-May-2008 13:04     87K
prover9-mace4_0.5.dfsg-2.1_all.deb                 14-Dec-2011 12:04     68K
prover9-mace4_0.5.dfsg-3_all.deb                   15-Dec-2015 00:40     51K
Disclaimer
This website is offered to you by Hostnet B.V. All files offered on this website are provided for the interest and convenience to visitors of this website. Hostnet B.V. has no control over the files and Hostnet B.V. does not provide any guarantee concerning (the content of) the files, does not vouch for the quality of the files, and is not responsible or liable in connection with these files. The use of the files is solely at the user’s own risk. This website, the disclaimer and the use of the files are governed by the laws of the Netherlands. All disputes in connection with the website, the disclaimer and the use of the files will be submitted for the exclusive settlement to the competent court in Amsterdam, the Netherlands.

 

Hostnet