Index of /OpenBSD/distfiles/coq

 Name                    Last modified       Size  Description

 Parent Directory        12-Jan-2007 20:58      -  
 Changes.html            05-Oct-2002 11:57     5k  
 RecTutorial.v.ps        08-Dec-2003 18:29   550k  
 Reference-Manual-all..> 05-Oct-2002 11:54   367k  
 all-ps-docs.tar.gz      26-Apr-2001 02:51   839k  
 coq-7.0.tar.gz          25-Apr-2001 18:12   969k  
 coq-7.3.1.tar.gz        05-Oct-2002 11:48   1.2M  
 doc-html-20040711.ta..> 11-Jul-2004 16:10   248k  
 doc-html.tar.gz         05-Oct-2002 11:54   248k  
 library.tar.gz          05-Nov-2002 09:28   431k  
 patch-coq-7.3.1-ocam..> 07-Oct-2003 17:29     9k