Index of /OpenBSD/distfiles/coq

 Name                       Last modified      Size  Description
 Parent Directory                                -   
 Changes.html               05-Oct-2002 04:57  4.9K  
 RecTutorial.v.ps           08-Dec-2003 10:29  550K  
 Reference-Manual-all.ps.gz 05-Oct-2002 04:54  367K  
 all-ps-docs.tar.gz         25-Apr-2001 19:51  839K  
 coq-7.0.tar.gz             25-Apr-2001 11:12  969K  
 coq-7.3.1.tar.gz           05-Oct-2002 04:48  1.2M  
 doc-html-20040711.tar.gz   11-Jul-2004 09:10  248K  
 doc-html.tar.gz            05-Oct-2002 04:54  248K  
 library.tar.gz             05-Nov-2002 01:28  431K  
 patch-coq-7.3.1-ocaml-3.07 07-Oct-2003 10:29  8.7K