Index of /godi-build/3.09/

      Name                           Last Modified        Size      

[DIR] Parent Directory                                              
[   ] apps-aifad-1.0.26.build.tgz    2006-11-14 19:19          1.2k 
[   ] apps-alt-ergo-0.7.3.build.tgz  2008-06-12 13:30        832.0  
[   ] apps-bigbro-2.0.4godi3.build.t 2006-02-13 21:40          1.6k 
[   ] apps-camlmix-1.3.0.build.tgz   2006-01-22 04:51          1.3k 
[   ] apps-cduce-0.5.0godi1.build.tg 2008-06-15 18:30          1.8k 
[   ] apps-ceve-1.0.1.build.tgz      2007-09-10 11:53          1.4k 
[   ] apps-cmigrep-1.3.build.tgz     2007-04-01 14:59        790.0  
[   ] apps-coq-8.1pl3godi1.build.tgz 2008-06-12 13:30          1.4k 
[   ] apps-cppo-0.9.0.build.tgz      2009-11-17 23:34          1.1k 
[   ] apps-ergo-0.7.3.build.tgz      2008-06-12 13:30        921.0  
[   ] apps-felix-1.1.1.build.tgz     2005-11-01 16:05          2.6k 
[   ] apps-frama-c-20080502.build.tg 2008-06-12 13:30          2.5k 
[   ] apps-godiva-0.9.5.1.build.tgz  2005-10-31 13:01          1.2k 
[   ] apps-graph-1.0.build.tgz       2007-06-24 04:32        797.0  
[   ] apps-headache-1.03.build.tgz   2005-10-29 22:02        849.0  
[   ] apps-hevea-1.10godi1.build.tgz 2007-11-18 20:22          1.7k 
[   ] apps-ledit-1.11godi1.build.tgz 2006-01-17 15:11          1.2k 
[   ] apps-nurpawiki-1.1.2.build.tgz 2008-02-09 19:40          1.3k 
[   ] apps-ocamldsort-0.14.3.build.t 2005-10-29 22:02        941.0  
[   ] apps-ocamlweb-1.36.build.tgz   2005-10-29 22:02          1.3k 
[   ] apps-ocsigen-1.0.0.build.tgz   2008-04-02 10:37          2.0k 
[   ] apps-pkglab-1.1.build.tgz      2008-01-07 12:10        840.0  
[   ] apps-planets-0.1.12.build.tgz  2005-10-29 22:02          1.2k 
[   ] apps-tart-1.0.1.build.tgz      2007-09-10 12:26        822.0  
[   ] apps-tdir-1.1.1.build.tgz      2006-01-20 17:16        923.0  
[   ] apps-umlmon-1.0.4.build.tgz    2006-08-20 21:53          1.1k 
[   ] apps-umlmon-web-1.0.4.build.tg 2006-08-20 21:53          1.0k 
[   ] apps-unison-2.27.29.build.tgz  2007-05-20 18:26          1.6k 
[   ] apps-why-2.13.build.tgz        2008-06-12 13:30          2.7k 
[   ] apps-wyrd-1.4.1.build.tgz      2006-12-05 22:54          1.3k 
[   ] apps-zenon-0.5.0.build.tgz     2007-11-27 17:32          2.8k 
[   ] available.new                  2012-01-09 08:30          4.4k 
[   ] base-curl-7.14.0.build.tgz     2005-10-29 20:09          1.1k 
[   ] base-expat-1.95.7godi3.build.t 2005-10-29 20:09        940.0  
[   ] base-gdbm-1.8.3godi6.build.tgz 2005-10-29 20:09          1.4k 
[   ] base-pcre-6.7godi3.build.tgz   2007-07-22 15:19          1.2k 
[   ] base-plan9-mk-1.6.build.tgz    2006-03-15 16:04          1.1k 
[   ] base-subversion-client-1.0.6.b 2005-10-29 20:09          1.6k 
[   ] conf-bdb-1.build.tgz           2005-10-29 20:09          2.2k 
[   ] conf-curl-3.build.tgz          2005-10-29 20:09          2.0k 
[   ] conf-expat-6.build.tgz         2005-10-29 20:09          2.7k 
[   ] conf-freetype2-1godi3.build.tg 2005-10-29 20:09          1.1k 
[   ] conf-gdbm-3.build.tgz          2005-10-29 20:09          2.3k 
[   ] conf-gdk-pixbuf1-1.build.tgz   2005-10-29 20:09          1.1k 
[   ] conf-gif-1godi2.build.tgz      2005-10-29 20:09          1.3k 
[   ] conf-glade1-1.build.tgz        2005-10-29 20:09          1.1k 
[   ] conf-glut-6.build.tgz          2006-01-20 12:54          1.7k 
[   ] conf-gnome1-1.build.tgz        2005-10-29 20:09          1.1k 
[   ] conf-gs-1godi1.build.tgz       2005-10-29 20:09          1.2k 
[   ] conf-gtk1-1.build.tgz          2005-10-29 20:09          1.1k 
[   ] conf-gtkgl1-1.build.tgz        2005-10-29 20:09          1.4k 
[   ] conf-jpeg-2godi1.build.tgz     2005-10-29 20:09          1.2k 
[   ] conf-lacaml-1.build.tgz        2007-11-24 02:07          1.3k 
[   ] conf-mysql-2.build.tgz         2005-10-29 20:09          2.2k 
[   ] conf-ncurses-1.build.tgz       2005-10-29 20:09          1.2k 
[   ] conf-opengl-6.build.tgz        2006-01-20 12:54          2.1k 
[   ] conf-pcre-6.build.tgz          2006-07-25 01:18          2.4k 
[   ] conf-png-1godi2.build.tgz      2005-10-29 20:09          1.3k 
[   ] conf-popt-1.build.tgz          2007-09-10 11:53          2.2k 
[   ] conf-postgres-1.build.tgz      2006-07-31 04:31          1.3k 
[   ] conf-rpm-2.build.tgz           2007-09-10 11:53          2.3k 
[   ] conf-sdl-3.build.tgz           2005-10-29 20:09          2.4k 
[   ] conf-sqlite3-1.build.tgz       2007-06-18 03:47          1.3k 
[   ] conf-tcltk-11.build.tgz        2009-06-09 21:21          4.1k 
[   ] conf-tiff-2godi1.build.tgz     2005-10-29 20:09          1.2k 
[   ] conf-unixodbc-2.build.tgz      2005-10-29 20:09          2.2k 
[   ] conf-x11-4.build.tgz           2009-06-09 21:21          2.7k 
[   ] conf-xpm-1godi1.build.tgz      2005-10-29 20:09          1.5k 
[   ] conf-zlib-2.build.tgz          2005-10-29 20:09          2.3k 
[   ] godi-alphacaml-20061214.build. 2006-12-14 16:48          1.3k 
[   ] godi-ancient-0.8.0.build.tgz   2008-11-22 17:51          2.0k 
[   ] godi-annexlib-0.13.5.build.tgz 2006-05-30 04:05          1.2k 
[   ] godi-ansicolor-0.5.build.tgz   2005-10-29 21:26          1.3k 
[   ] godi-ansiterminal-0.3.build.tg 2005-10-29 21:26          1.6k 
[   ] godi-cache-1.0.build.tgz       2007-11-09 20:16          1.1k 
[   ] godi-calendar-1.10.build.tgz   2007-06-01 15:44          1.2k 
[   ] godi-caml2html-1.3.1.build.tgz 2008-11-09 07:13          1.3k 
[   ] godi-camlidl-1.05godi1.build.t 2006-01-20 18:35          2.9k 
[   ] godi-camlimages-2.20godi5.buil 2009-12-18 16:02          4.6k 
[   ] godi-camlp4-manual-20051029.bu 2005-10-29 20:09        820.0  
[   ] godi-camlp5-5.08.build.tgz     2008-06-12 13:30        880.0  
[   ] godi-camltemplate-1.0.1.build. 2005-10-29 21:26          1.4k 
[   ] godi-camomile-0.6.5.build.tgz  2006-03-21 15:06          6.2k 
[   ] godi-cfg-1.7.3.build.tgz       2006-07-31 04:31          1.2k 
[   ] godi-cil-1.3.6godi1.build.tgz  2008-07-22 10:21          2.6k 
[   ] godi-col-1.1.1.build.tgz       2007-02-24 06:19          1.3k 
[   ] godi-core-mk-1.2.19godi1.build 2007-08-06 12:55          1.8k 
[   ] godi-core-pkgtools-20050829.bu 2005-10-29 20:09        995.0  
[   ] godi-core-script-0.5.build.tgz 2005-10-29 20:09          1.0k 
[   ] godi-crypt-1.0godi1.build.tgz  2005-10-29 20:51        842.0  
[   ] godi-cryptgps-0.2.1.build.tgz  2005-10-29 20:51        935.0  
[   ] godi-cryptokit-1.2.build.tgz   2005-10-29 20:51          1.8k 
[   ] godi-curl-0.2.1.build.tgz      2005-10-29 20:51          1.3k 
[   ] godi-dose2-1.1godi1.build.tgz  2008-02-04 14:28        838.0  
[   ] godi-dum-1.0.0godi1.build.tgz  2009-02-01 22:25          1.4k 
[   ] godi-easy-format-1.0.0.build.t 2008-07-13 16:16          1.3k 
[   ] godi-equeue-2.2godi1.build.tgz 2006-12-28 19:44        602.0  
[   ] godi-equeue-gtk1-2.2godi1.buil 2006-12-28 19:44        609.0  
[   ] godi-equeue-gtk2-2.2godi1.buil 2006-12-28 19:44        610.0  
[   ] godi-equeue-tcl-2.2godi1.build 2006-12-28 19:44        890.0  
[   ] godi-expat-0.9.1godi2.build.tg 2005-10-29 20:51          1.2k 
[   ] godi-extlib-1.5.1.build.tgz    2007-12-29 19:59          1.0k 
[   ] godi-facile-1.1.build.tgz      2005-10-29 20:51        270.9k 
[   ] godi-fftw-0.1godi1.build.tgz   2006-09-25 07:25          2.2k 
[   ] godi-findlib-1.2.5.build.tgz   2009-09-10 20:07          2.5k 
[   ] godi-findlib-browser-0.2.2.bui 2005-10-29 20:51        987.0  
[   ] godi-frontc-3.1godi3.build.tgz 2005-10-29 20:51          1.4k 
[   ] godi-galax-0.7.2.build.tgz     2007-02-05 20:54          1.7k 
[   ] godi-getopt-20040420.build.tgz 2005-10-29 20:51        867.0  
[   ] godi-heredoc-20060107.build.tg 2006-01-07 10:07        746.0  
[   ] godi-hweak-1.1.build.tgz       2005-10-29 20:51          2.0k 
[   ] godi-hydro-0.7.build.tgz       2009-04-24 20:08          2.1k 
[   ] godi-inifiles-1.1.build.tgz    2005-10-29 20:51        846.0  
[   ] godi-json-1.0godi2.build.tgz   2006-03-15 19:18          3.0k 
[   ] godi-json-static-0.9.5.build.t 2007-04-03 05:00          1.4k 
[   ] godi-json-wheel-1.0.6.build.tg 2009-01-15 14:41          1.4k 
[   ] godi-lablgl-1.02.build.tgz     2007-08-11 21:25          3.7k 
[   ] godi-lablgtk-1.2.6godi3.build. 2005-10-29 21:26          2.7k 
[   ] godi-lablgtk2-20080226godi1.bu 2008-06-12 13:30          2.8k 
[   ] godi-lablgtksourceview-0.2.1go 2008-06-12 13:30          1.1k 
[   ] godi-lacaml-3.0.27godi1.build. 2007-11-24 02:07          1.2k 
[   ] godi-lua-ml-2.5_20060829.build 2006-09-24 00:35          1.1k 
[   ] godi-lwt-1.1.0.build.tgz       2008-07-17 09:03        953.0  
[   ] godi-manual-20060404.build.tgz 2006-04-04 14:17        677.0  
[   ] godi-menhir-20120109.build.tgz 2012-01-09 08:30          1.5k 
[   ] godi-micmatch_pcre-0.700.build 2007-06-27 16:56          1.6k 
[   ] godi-missinglib-0.4.1godi2.bui 2008-07-01 09:35          1.7k 
[   ] godi-netclient-2.2godi1.build. 2006-12-28 19:44        606.0  
[   ] godi-ocaml-3.09.3godi1.build.t 2008-06-15 18:30          3.4k 
[   ] godi-ocaml-all-2.build.tgz     2005-10-29 20:09        868.0  
[   ] godi-ocaml-csv-1.1.6.build.tgz 2007-11-08 11:17          1.2k 
[   ] godi-ocaml-dbm-3.09.3godi1.bui 2008-06-15 18:30          3.6k 
[   ] godi-ocaml-fileutils-0.3.0godi 2008-01-20 14:25          1.4k 
[   ] godi-ocaml-graphics-3.09.3godi 2008-06-15 18:30          2.2k 
[   ] godi-ocaml-http-0.1.3.build.tg 2007-04-11 09:35        980.0  
[   ] godi-ocaml-labltk-3.09.3godi2. 2008-07-15 21:39          3.4k 
[   ] godi-ocaml-manual-3.09.build.t 2005-10-29 20:09        749.0  
[   ] godi-ocaml-mysql-1.0.4.build.t 2006-06-09 13:48          1.6k 
[   ] godi-ocaml-src-3.09.3godi3.bui 2007-07-22 17:43          4.4k 
[   ] godi-ocaml-ssl-0.4.2godi1.buil 2009-12-23 15:00          1.5k 
[   ] godi-ocaml-xml-rpc-0.2.6.build 2005-10-31 13:18          1.7k 
[   ] godi-ocamlbdb-4.3.21.build.tgz 2005-10-29 21:26          1.8k 
[   ] godi-ocamldap-2.1.8godi1.build 2006-07-08 23:31       1000.0  
[   ] godi-ocamldbi-0.9.11godi1.buil 2006-06-26 19:09          2.4k 
[   ] godi-ocamlduce-3.09.3pl1.build 2007-01-23 12:48          1.2k 
[   ] godi-ocamlgraph-0.99cgodi4.bui 2008-06-30 13:04          1.6k 
[   ] godi-ocamlmakefile-6.24.8godi1 2007-04-22 16:46          1.6k 
[   ] godi-ocamlnet-2.2.9godi5.build 2009-04-21 12:57          4.8k 
[   ] godi-ocamlnet-gtk1-2.2.9.build 2007-11-01 22:20          1.1k 
[   ] godi-ocamlnet-gtk2-2.2.9.build 2007-11-01 22:20          1.1k 
[   ] godi-ocamlnet-ssl-2.2.9.build. 2007-11-01 22:20          1.1k 
[   ] godi-ocamlnet-tcl-2.2.9.build. 2007-11-01 22:20          1.5k 
[   ] godi-ocamlodbc-unixodbc-2.10.b 2005-10-29 20:51          2.6k 
[   ] godi-ocamlscript-2.0.1.build.t 2007-04-08 00:32          1.2k 
[   ] godi-ocamlsdl-0.7.2godi2.build 2005-10-29 20:51          2.6k 
[   ] godi-ocs-1.0.1.build.tgz       2006-01-23 18:02          1.4k 
[   ] godi-omake-0.9.8.5godi3.build. 2007-08-14 15:39          2.7k 
[   ] godi-ounit-1.0.3.build.tgz     2009-06-18 01:44          1.3k 
[   ] godi-pa_arg-0.2.3.build.tgz    2007-06-08 17:04          1.5k 
[   ] godi-password_gen-1.0.build.tg 2005-10-29 20:51        886.0  
[   ] godi-pcre-6.0.1godi4.build.tgz 2009-12-28 13:49          2.0k 
[   ] godi-pomap-2.9.7.build.tgz     2006-07-31 04:31          1.1k 
[   ] godi-postgres-af-20040120.buil 2005-10-29 21:26          1.2k 
[   ] godi-postgresql-1.7.0.build.tg 2007-04-28 02:06          1.2k 
[   ] godi-pxp-1.2.1.build.tgz       2009-02-04 02:17          1.6k 
[   ] godi-re-0.1.build.tgz          2005-10-29 20:51          1.3k 
[   ] godi-res-2.2.4.build.tgz       2006-07-31 04:31          1.1k 
[   ] godi-rpc-2.2godi1.build.tgz    2006-12-28 19:44        596.0  
[   ] godi-schoca-0.2.3godi1.build.t 2005-10-29 20:51          2.1k 
[   ] godi-sexplib-2.8.3godi1.build. 2007-04-09 16:04          1.2k 
[   ] godi-shell-1.build.tgz         2005-10-29 20:09        763.0  
[   ] godi-sqlite3-0.24.0.build.tgz  2008-03-06 05:39          1.2k 
[   ] godi-syslog-1.4godi1.build.tgz 2007-06-09 17:27        823.0  
[   ] godi-tools-1.6.1godi1.build.tg 2008-01-18 21:06          1.9k 
[   ] godi-tophide-1.0.0.build.tgz   2008-04-07 01:38          1.2k 
[   ] godi-ulex-0.8.build.tgz        2005-10-30 13:26        964.0  
[   ] godi-wdialog-2.1.2godi4.build. 2009-06-25 21:22          2.2k 
[   ] godi-wdialog-manual-2.1.1.buil 2005-10-31 13:18        757.0  
[   ] godi-wlex-20051031godi1.build. 2008-06-15 18:30          1.5k 
[   ] godi-xml-light-2.2godi1.build. 2006-01-20 00:37          2.3k 
[   ] godi-xstr-0.2.1.build.tgz      2005-10-29 20:34        912.0  
[   ] godi-xstrp4-1.6.build.tgz      2005-10-31 12:58        921.0  
[   ] godi-zip-1.04.build.tgz        2010-04-14 12:04          1.5k 
[   ] packages.ini                   2012-01-09 08:30        123.4k