Index of /mirror/GuadaLinex/guadalinex/pool/main/c/coq-doc

 Name                                       Last modified      Size  Description
 Parent Directory                                                -   
 coq-doc_7.2-1.diff.gz                      2004-05-13 14:22  2.4K  
 coq-doc_7.2-1.dsc                          2004-05-13 14:22  618   
 coq-doc_7.2-1_all.deb                      2004-03-17 12:08  1.2M  
 coq-doc_7.2.orig.tar.gz                    2004-05-13 14:22  1.2M