Index of /ports/lang/cduce/work/cduce-0.4.1

 Name                    Last modified       Size  Description

 Parent Directory        09-Aug-2008 17:42      -  
 web/                    09-Aug-2008 17:42      -  
 typing/                 09-Aug-2008 17:42      -  
 types/                  09-Aug-2008 17:42      -  
 tools/                  09-Aug-2008 17:42      -  
 schema/                 09-Aug-2008 17:42      -  
 runtime/                09-Aug-2008 17:42      -  
 query/                  09-Aug-2008 17:42      -  
 parser/                 09-Aug-2008 17:42      -  
 ocamliface/             09-Aug-2008 17:42      -  
 misc/                   09-Aug-2008 17:42      -  
 driver/                 09-Aug-2008 17:42      -  
 doc/                    09-Aug-2008 17:42      -  
 depend.html             09-Aug-2008 17:42     0k  
 depend                  03-Oct-2006 05:43    24k  
 configure.ml.html       09-Aug-2008 17:42     0k  
 configure.ml            03-Oct-2006 05:43     8k  
 configure.log.html      09-Aug-2008 17:42     0k  
 configure.log           05-Jan-2008 15:39     1k  
 configure.html          09-Aug-2008 17:42     0k  
 configure               03-Oct-2006 05:43     1k  
 compile/                09-Aug-2008 17:42      -  
 cduce_mktop.html        09-Aug-2008 17:42     3k  
 cduce_mktop             03-Oct-2006 05:43     1k  
 cduce.spec.html         09-Aug-2008 17:42     0k  
 cduce.spec              03-Oct-2006 05:43     2k  
 VERSION.html            09-Aug-2008 17:42     0k  
 VERSION                 03-Oct-2006 05:43     1k  
 PLIST.godi.html         09-Aug-2008 17:42     0k  
 PLIST.godi              03-Oct-2006 05:43     1k  
 Makefile.html           09-Aug-2008 17:42    17k  
 Makefile.conf.templa..> 09-Aug-2008 17:42     3k  
 Makefile.conf.template  03-Oct-2006 05:43     1k  
 Makefile                03-Oct-2006 05:43     8k  
 META.in.html            09-Aug-2008 17:42     0k  
 META.in                 03-Oct-2006 05:41     1k  
 LICENSE.html            09-Aug-2008 17:42     0k  
 LICENSE                 03-Oct-2006 05:43     1k  
 INSTALL.html            09-Aug-2008 17:42     0k  
 INSTALL.WIN32.html      09-Aug-2008 17:42     0k  
 INSTALL.WIN32           03-Oct-2006 05:43     3k  
 INSTALL                 03-Oct-2006 05:43     5k  
 CHANGES.html            09-Aug-2008 17:42     0k  
 CHANGES                 03-Oct-2006 05:43    10k  
 AUTHORS.html            09-Aug-2008 17:42     0k  
 AUTHORS                 03-Oct-2006 05:43     1k