Index of /Guadalinex/repositorio/pool/main/p/proofgeneral/

../
proofgeneral-coq_3.4-14_all.deb                    17-Mar-2004 11:13     22K
proofgeneral-doc_3.4-14_all.deb                    17-Mar-2004 11:13    109K
proofgeneral-misc_3.4-14_all.deb                   17-Mar-2004 11:13    119K
proofgeneral_3.4-14.diff.gz                        13-May-2004 12:30    7571
proofgeneral_3.4-14.dsc                            13-May-2004 12:30     641
proofgeneral_3.4-14_all.deb                        17-Mar-2004 11:13    397K
proofgeneral_3.4.orig.tar.gz                       13-May-2004 12:30    741K