Index of /Guadalinex/repositorio/pool/main/c/coq/

../
coq_7.3.1-2_i386.deb                               17-Mar-2004 11:08      7M
coq_7.3.1-3.diff.gz                                13-May-2004 12:22    8521
coq_7.3.1-3.dsc                                    13-May-2004 12:22     799
coq_7.3.1-3_i386.deb                               29-Apr-2004 07:19      7M
coq_7.3.1.orig.tar.gz                              13-May-2004 12:22      1M