Index of /lang/ocamlduce

 Name                    Last modified       Size  Description

 Parent Directory        13-Sep-2008 16:31      -  
 Makefile                19-May-2007 21:06     1k  
 Makefile.html           09-Aug-2008 21:16     2k  
 distinfo                26-Feb-2007 15:17     1k  
 distinfo.html           09-Aug-2008 21:16     0k  
 pkg-descr               26-Feb-2007 15:17     1k  
 pkg-descr.html          09-Aug-2008 21:16     0k  
 pkg-plist               26-Feb-2007 15:17     1k  
 pkg-plist.html          09-Aug-2008 21:16     0k  
 work/                   09-Aug-2008 21:17      -