Index of /ubuntu-old-releases/ubuntu/pool/universe/c/coq-doc/

../
coq-doc_7.2-1.diff.gz                              26-Jul-2004 23:43                2443
coq-doc_7.2-1.dsc                                  26-Jul-2004 23:43                 618
coq-doc_7.2-1_all.deb                              28-Jul-2004 06:25             1221144
coq-doc_7.2.orig.tar.gz                            26-Jul-2004 23:43             1218177
coq-doc_8.0pl1.0-1.diff.gz                         25-Oct-2004 20:04                3209
coq-doc_8.0pl1.0-1.dsc                             25-Oct-2004 20:04                 586
coq-doc_8.0pl1.0-1_all.deb                         27-Oct-2004 03:50             1661912
coq-doc_8.0pl1.0.orig.tar.gz                       25-Oct-2004 20:04             1679207
coq-doc_8.1-3.diff.gz                              28-Apr-2007 17:03                7811
coq-doc_8.1-3.dsc                                  28-Apr-2007 17:03                 906
coq-doc_8.1.orig.tar.gz                            28-Apr-2007 17:03              505367