Index of /godi-build/dev/
Name Last Modified Size
[DIR] Parent Directory
[ ] apps-aifad-1.1.0godi3.build.tg 2012-07-29 12:50 1.1k
[ ] apps-alt-ergo-0.9.4.build.tgz 2012-07-29 12:50 969.0
[ ] apps-bigbro-2.0.4godi4.build.t 2008-06-15 18:41 2.3k
[ ] apps-camlmix-1.3.0godi1.build. 2011-07-11 22:24 1.3k
[ ] apps-cduce-0.5.5.build.tgz 2012-07-29 12:50 1.8k
[ ] apps-ceve-1.0.1.build.tgz 2007-12-21 20:29 1.4k
[ ] apps-cmigrep-1.3godi1.build.tg 2011-07-13 22:21 1.2k
[ ] apps-coq-8.3.4godi1.build.tgz 2012-07-29 12:50 2.2k
[ ] apps-cppo-0.9.2.build.tgz 2012-07-29 12:50 1.1k
[ ] apps-ergo-0.7.3.build.tgz 2008-06-15 18:41 923.0
[ ] apps-felix-1.1.1godi1.build.tg 2008-06-15 18:41 2.6k
[ ] apps-frama-c-20111001godi2.bui 2012-07-29 12:50 23.8k
[ ] apps-godiva-0.9.7.build.tgz 2009-06-19 17:21 1.2k
[ ] apps-headache-1.03.build.tgz 2005-09-01 14:43 849.0
[ ] apps-hevea-1.10.build.tgz 2007-12-21 20:29 1.7k
[ ] apps-janestreet-patdiff-107.01 2012-07-29 12:50 5.8k
[ ] apps-jsondiff-0.0.1godi1.build 2011-07-11 22:24 1.2k
[ ] apps-ledit-2.03.build.tgz 2012-07-29 12:50 970.0
[ ] apps-nurpawiki-1.2.2.build.tgz 2009-06-19 17:21 1.3k
[ ] apps-oasis-0.3.0.build.tgz 2012-07-29 12:50 1.1k
[ ] apps-obrowser-1.1godi4.build.t 2011-07-12 17:41 7.9k
[ ] apps-ocamldsort-0.14.3.build.t 2005-09-01 14:43 944.0
[ ] apps-ocamlify-0.0.1.build.tgz 2012-07-29 12:50 977.0
[ ] apps-ocamlmod-0.0.3.build.tgz 2012-07-29 12:50 860.0
[ ] apps-ocamlweb-1.36.build.tgz 2005-09-01 14:43 1.3k
[ ] apps-ocsigen-1.3.4.build.tgz 2011-07-11 22:24 2.1k
[ ] apps-ocsigen-bundler-0.5.0.bui 2012-07-29 12:50 1.1k
[ ] apps-ocsigen-dev-2.1.1godi2.bu 2012-07-29 12:50 1.4k
[ ] apps-pkglab-1.1.build.tgz 2008-01-15 19:32 838.0
[ ] apps-planets-0.1.12.build.tgz 2005-09-08 18:43 1.2k
[ ] apps-regstab-1.4.8.build.tgz 2012-07-29 12:50 1.3k
[ ] apps-tart-1.0.1.build.tgz 2007-12-21 20:29 821.0
[ ] apps-tdir-1.1.1godi5.build.tgz 2009-06-19 19:54 1.4k
[ ] apps-umlmon-1.0.6godi1.build.t 2011-07-13 22:21 2.9k
[ ] apps-umlmon-web-1.0.6.build.tg 2011-07-12 17:41 1.0k
[ ] apps-unison-2.40.63.build.tgz 2012-07-29 12:50 1.8k
[ ] apps-why-2.31.build.tgz 2012-07-29 12:50 2.9k
[ ] apps-why3-0.73.build.tgz 2012-07-29 12:50 2.3k
[ ] apps-wyrd-1.4.1.build.tgz 2006-12-11 20:12 1.3k
[ ] apps-zenon-0.5.0.build.tgz 2007-12-21 20:29 2.8k
[ ] available.new 2012-07-29 12:50 6.3k
[ ] base-curl-7.14.0.build.tgz 2005-09-01 14:43 1.1k
[ ] base-expat-1.95.7godi3.build.t 2005-09-01 14:43 941.0
[ ] base-gdbm-1.8.3godi6.build.tgz 2005-09-01 14:43 1.4k
[ ] base-pcre-7.7godi1.build.tgz 2008-06-15 18:41 1.0k
[ ] base-plan9-mk-1.6.build.tgz 2006-04-11 02:48 1.1k
[ ] base-subversion-client-1.0.6.b 2005-09-01 14:43 1.6k
[ ] conf-bdb-1.build.tgz 2005-10-24 23:04 2.2k
[ ] conf-curl-3.build.tgz 2005-09-01 14:43 2.0k
[ ] conf-expat-7.build.tgz 2011-07-11 22:24 2.7k
[ ] conf-freetype2-1godi3.build.tg 2005-09-01 14:43 1.1k
[ ] conf-gdbm-3.build.tgz 2005-09-01 14:43 2.3k
[ ] conf-gdk-pixbuf1-1.build.tgz 2005-09-01 14:43 1.1k
[ ] conf-gif-1godi2.build.tgz 2005-09-01 14:43 1.3k
[ ] conf-git-1.build.tgz 2012-07-29 12:50 1.2k
[ ] conf-glade1-1.build.tgz 2005-09-01 14:43 1.1k
[ ] conf-glut-6.build.tgz 2005-10-24 23:04 1.7k
[ ] conf-gmp-1.build.tgz 2009-06-19 17:21 2.2k
[ ] conf-gnome1-1.build.tgz 2005-09-01 14:43 1.1k
[ ] conf-gs-1godi1.build.tgz 2005-09-01 14:43 1.2k
[ ] conf-gtk1-1.build.tgz 2005-09-01 14:43 1.1k
[ ] conf-gtkgl1-1.build.tgz 2005-09-01 14:43 1.4k
[ ] conf-jpeg-2godi1.build.tgz 2005-09-01 14:43 1.2k
[ ] conf-libevent-1.build.tgz 2011-07-12 17:41 1.2k
[ ] conf-mysql-2.build.tgz 2005-09-01 14:43 2.2k
[ ] conf-ncurses-1.build.tgz 2005-09-01 14:43 1.2k
[ ] conf-opengl-6.build.tgz 2005-10-24 23:04 2.1k
[ ] conf-pcre-7.build.tgz 2012-07-29 12:50 2.5k
[ ] conf-png-1godi2.build.tgz 2005-09-01 14:43 1.3k
[ ] conf-popt-1.build.tgz 2007-12-21 20:29 2.2k
[ ] conf-postgres-1.build.tgz 2006-10-08 13:08 1.4k
[ ] conf-rpm-2.build.tgz 2007-12-21 20:29 2.3k
[ ] conf-sdl-3.build.tgz 2005-09-01 14:43 2.4k
[ ] conf-tcltk-11.build.tgz 2009-06-19 17:21 4.1k
[ ] conf-tiff-2godi1.build.tgz 2005-09-01 14:43 1.2k
[ ] conf-unixodbc-2.build.tgz 2005-09-01 14:43 2.2k
[ ] conf-x11-5.build.tgz 2012-07-29 12:50 2.9k
[ ] conf-xpm-1godi1.build.tgz 2005-09-01 14:43 1.5k
[ ] conf-zlib-2.build.tgz 2005-09-01 14:43 2.3k
[ ] godi-alphacaml-20061214.build. 2006-12-28 17:59 1.3k
[ ] godi-ancient-0.9.0.build.tgz 2010-04-20 09:33 1.9k
[ ] godi-annexlib-0.13.5.build.tgz 2006-10-08 13:08 1.2k
[ ] godi-ansicolor-0.5.build.tgz 2005-09-01 14:43 1.3k
[ ] godi-ansiterminal-0.3.build.tg 2005-09-01 14:43 1.6k
[ ] godi-atd-1.0.1godi1.build.tgz 2011-07-11 22:24 1.4k
[ ] godi-atdgen-1.2.2.build.tgz 2012-07-29 12:50 1.3k
[ ] godi-batteries-1.4.1.build.tgz 2012-07-29 12:50 1.9k
[ ] godi-bin_prot-108.00.01godi2.b 2012-07-29 12:50 957.0
[ ] godi-bindlib-3.2.build.tgz 2009-06-19 17:21 736.0
[ ] godi-biniou-1.0.0godi1.build.t 2011-07-11 22:24 1.4k
[ ] godi-bisect-1.1.build.tgz 2011-07-12 17:41 1.0k
[ ] godi-bitstring-2.0.3.build.tgz 2012-07-29 12:50 1.7k
[ ] godi-bolt-1.1.build.tgz 2011-07-12 17:41 1.1k
[ ] godi-cache-1.0.build.tgz 2007-12-21 20:29 1.1k
[ ] godi-cairo-1.2godi1.build.tgz 2010-04-20 09:33 1.5k
[ ] godi-calendar-2.03.1.build.tgz 2011-07-11 22:24 1.3k
[ ] godi-caml2html-1.4.1godi1.buil 2011-07-11 22:24 1.4k
[ ] godi-camlidl-1.05godi1.build.t 2006-01-23 09:57 2.9k
[ ] godi-camlimages-2.20godi6.buil 2012-07-29 12:50 5.2k
[ ] godi-camlp4-manual-20051029god 2009-09-02 19:07 1.0k
[ ] godi-camlp5-6.06.build.tgz 2012-07-29 12:50 932.0
[ ] godi-camltemplate-1.0.2.build. 2009-06-19 17:21 1.4k
[ ] godi-camomile-0.8.3.build.tgz 2012-07-29 12:50 6.6k
[ ] godi-cducews-0.1godi1.build.tg 2012-07-29 12:50 978.0
[ ] godi-cfg-1.7.6godi1.build.tgz 2012-07-29 12:50 1.2k
[ ] godi-cil-1.3.6godi3.build.tgz 2011-07-13 22:21 3.0k
[ ] godi-core-mk-1.2.19godi1.build 2007-08-21 14:01 1.8k
[ ] godi-core-pkgtools-20050829.bu 2005-09-01 14:43 994.0
[ ] godi-core-script-0.5.build.tgz 2005-09-01 14:43 1.0k
[ ] godi-crypt-1.0godi1.build.tgz 2005-09-01 14:43 846.0
[ ] godi-cryptgps-0.2.1.build.tgz 2005-09-01 14:43 934.0
[ ] godi-cryptokit-1.3.build.tgz 2008-06-15 18:41 1.8k
[ ] godi-curl-0.5.3godi2.build.tgz 2012-07-29 12:50 86.1k
[ ] godi-deriving-ocsigen-0.3c.bui 2012-07-29 12:50 927.0
[ ] godi-dose2-1.1godi2.build.tgz 2011-07-13 22:21 1.4k
[ ] godi-dum-1.0.0godi2.build.tgz 2011-07-11 22:24 1.4k
[ ] godi-dyntype-0.7godi2.build.tg 2012-07-29 12:50 1.3k
[ ] godi-dypgen-20111127.build.tgz 2012-07-29 12:50 2.2k
[ ] godi-easy-format-1.0.0godi1.bu 2011-07-11 22:24 1.4k
[ ] godi-event-0.6.0godi2.build.tg 2011-07-12 17:41 1.7k
[ ] godi-expat-0.9.1godi2.build.tg 2005-09-01 14:43 1.2k
[ ] godi-extlib-1.5.2.build.tgz 2012-07-29 12:50 1.3k
[ ] godi-facile-1.1.build.tgz 2005-09-01 14:43 270.9k
[ ] godi-fftw-0.1godi4.build.tgz 2011-07-11 22:24 2.3k
[ ] godi-findlib-1.3.2.build.tgz 2012-07-29 12:50 2.5k
[ ] godi-findlib-browser-0.2.3.bui 2011-07-11 22:24 990.0
[ ] godi-flexdll-0.30godi6.build.t 2012-07-29 12:50 2.9k
[ ] godi-frontc-3.1godi3.build.tgz 2005-09-01 14:43 1.4k
[ ] godi-gallium-docs-20090112.bui 2009-06-19 17:21 740.0
[ ] godi-getopt-20040420.build.tgz 2005-09-01 14:43 865.0
[ ] godi-gpr-0.12.0godi3.build.tgz 2012-07-29 12:50 1.1k
[ ] godi-gsl-0.6.3.build.tgz 2012-07-29 12:50 1.3k
[ ] godi-hweak-1.1.build.tgz 2005-09-01 14:43 2.0k
[ ] godi-hydro-0.7.1.build.tgz 2009-06-19 17:21 2.1k
[ ] godi-inifiles-1.2.build.tgz 2012-07-29 12:50 848.0
[ ] godi-janestreet-core-107.01god 2012-07-29 12:50 5.5k
[ ] godi-janestreet-core-extended- 2012-07-29 12:50 1.3k
[ ] godi-janestreet-fieldslib-107. 2012-07-29 12:50 897.0
[ ] godi-janestreet-variantslib-10 2012-07-29 12:50 896.0
[ ] godi-jsofocaml-1.1.1.build.tgz 2012-07-29 12:50 1.2k
[ ] godi-json-1.0godi2.build.tgz 2006-04-11 02:48 3.0k
[ ] godi-json-static-0.9.8godi1.bu 2011-07-11 22:24 1.4k
[ ] godi-json-wheel-1.0.6godi1.bui 2011-07-11 22:24 1.5k
[ ] godi-kaputt-1.0godi1.build.tgz 2011-07-11 22:24 2.2k
[ ] godi-lablgl-1.04godi1.build.tg 2010-02-17 21:41 2.6k
[ ] godi-lablgtk-1.2.6godi6.build. 2008-06-23 18:34 2.7k
[ ] godi-lablgtk2-20100909godi4.bu 2012-07-29 12:50 36.0k
[ ] godi-lablgtksourceview-0.2.1go 2008-06-15 18:41 1.1k
[ ] godi-lacaml-7.0.0godi2.build.t 2012-07-29 12:50 956.0
[ ] godi-lbfgs-0.8.1godi1.build.tg 2012-07-29 12:50 869.0
[ ] godi-lua-ml-2.5_20060829.build 2006-10-08 13:08 1.1k
[ ] godi-lwt-2.3.2.build.tgz 2012-07-29 12:50 1.3k
[ ] godi-manual-20110719.build.tgz 2012-07-29 12:50 690.0
[ ] godi-menhir-20120123.build.tgz 2012-07-29 12:50 1.5k
[ ] godi-mikmatch_pcre-1.0.4godi1. 2012-07-29 12:50 1.6k
[ ] godi-missinglib-0.4.1godi2.bui 2009-06-19 17:21 1.7k
[ ] godi-mlgmp-0.13.build.tgz 2009-06-19 17:21 1.2k
[ ] godi-mlpost-0.8.1.build.tgz 2011-07-11 22:24 1010.0
[ ] godi-netamqp-1.0.build.tgz 2011-07-12 17:41 1.0k
[ ] godi-ocaml-3.12.1godi3.build.t 2012-07-29 12:50 3.7k
[ ] godi-ocaml-all-2.build.tgz 2005-09-01 14:43 870.0
[ ] godi-ocaml-csv-1.1.6.build.tgz 2007-12-21 20:29 1.2k
[ ] godi-ocaml-data-notation-0.0.9 2012-07-29 12:50 1.0k
[ ] godi-ocaml-dbm-3.12.1.build.tg 2011-07-12 17:41 3.6k
[ ] godi-ocaml-expect-0.0.2godi1.b 2012-07-29 12:50 1.0k
[ ] godi-ocaml-fileutils-0.4.2.bui 2012-07-29 12:50 1.3k
[ ] godi-ocaml-gettext-0.3.4godi2. 2012-07-29 12:50 2.1k
[ ] godi-ocaml-graphics-3.12.1.bui 2011-07-12 17:41 2.1k
[ ] godi-ocaml-http-0.1.3godi1.bui 2008-06-15 18:41 959.0
[ ] godi-ocaml-inotify-1.0.build.t 2012-07-29 12:50 896.0
[ ] godi-ocaml-labltk-3.12.1.build 2011-07-12 17:41 3.4k
[ ] godi-ocaml-mad-0.4.3.build.tgz 2012-07-29 12:50 1.3k
[ ] godi-ocaml-manual-3.12godi1.bu 2012-07-29 12:50 757.0
[ ] godi-ocaml-markdown-0.1.0godi1 2012-07-29 12:50 956.0
[ ] godi-ocaml-mysql-1.0.4godi1.bu 2008-06-15 18:41 1.6k
[ ] godi-ocaml-sqlexpr-0.4.1godi2. 2012-07-29 12:50 1.3k
[ ] godi-ocaml-src-3.12.1godi1.bui 2011-07-12 17:49 4.0k
[ ] godi-ocaml-ssl-0.4.6.build.tgz 2012-07-29 12:50 1.3k
[ ] godi-ocaml-taglib-2.0.build.tg 2012-07-29 12:50 1.2k
[ ] godi-ocaml-text-0.5.build.tgz 2012-07-29 12:50 1.1k
[ ] godi-ocaml-uint-1.0.2godi2.bui 2012-07-29 12:50 1.1k
[ ] godi-ocaml-xdg-basedir-0.0.2go 2012-07-29 12:50 1.2k
[ ] godi-ocaml-xml-rpc-0.2.6.build 2005-09-01 14:43 1.7k
[ ] godi-ocaml-zmq-0pre20111029god 2012-07-29 12:50 1.6k
[ ] godi-ocamlbdb-4.3.21.build.tgz 2005-10-24 23:04 1.8k
[ ] godi-ocamlbuild-manual-200702. 2009-06-19 17:21 700.0
[ ] godi-ocamlcore-api-0.0.3godi1. 2012-07-29 12:50 1.0k
[ ] godi-ocamldap-2.1.8godi1.build 2006-10-08 13:08 999.0
[ ] godi-ocamldbi-0.9.11godi1.buil 2006-10-08 13:08 2.4k
[ ] godi-ocamlduce-3.12.1.0.build. 2012-07-29 12:50 1.3k
[ ] godi-ocamlgraph-1.8.2.build.tg 2012-07-29 12:50 1.3k
[ ] godi-ocamlmakefile-6.36.0godi2 2012-07-29 12:50 1.6k
[ ] godi-ocamlmpi-1.01.build.tgz 2011-07-11 22:24 1.2k
[ ] godi-ocamlnet-3.5.1godi8.build 2012-07-29 12:50 5.7k
[ ] godi-ocamlnet-crypto-3.5.1.bui 2012-07-29 12:50 1.1k
[ ] godi-ocamlnet-gtk1-3.5.1.build 2012-07-29 12:50 1.1k
[ ] godi-ocamlnet-gtk2-3.5.1.build 2012-07-29 12:50 1.1k
[ ] godi-ocamlnet-ssl-3.5.1.build. 2012-07-29 12:50 1.1k
[ ] godi-ocamlnet-tcl-3.5.1.build. 2012-07-29 12:50 1.6k
[ ] godi-ocamlnet-zip-3.5.1.build. 2012-07-29 12:50 1.1k
[ ] godi-ocamlodbc-unixodbc-2.10go 2008-06-15 18:41 2.5k
[ ] godi-ocamlrss-2.0godi1.build.t 2012-07-29 12:50 1019.0
[ ] godi-ocamlscript-2.0.2godi1.bu 2011-07-11 22:24 1.3k
[ ] godi-ocamlsdl-0.7.2godi3.build 2008-06-23 11:58 2.6k
[ ] godi-ocamlviz-1.01.build.tgz 2011-07-11 22:24 1.9k
[ ] godi-occduce-0.2.build.tgz 2012-07-29 12:50 846.0
[ ] godi-ocs-1.0.1godi1.build.tgz 2011-07-13 22:21 1.4k
[ ] godi-ocsigenserver-2.0.4.build 2012-07-29 12:50 1.9k
[ ] godi-odisco-0.1.1godi1.build.t 2012-07-29 12:50 844.0
[ ] godi-omake-0.9.8.5godi8.build. 2011-07-12 17:41 3.5k
[ ] godi-oni-1.00_rc8godi1.build.t 2011-07-13 22:21 1.8k
[ ] godi-orm-0.5godi1.build.tgz 2012-07-29 12:50 1.0k
[ ] godi-ott-0.20.3.build.tgz 2012-07-29 12:50 2.0k
[ ] godi-ounit-1.1.2godi2.build.tg 2012-07-29 12:50 992.0
[ ] godi-parmap-0.9.8godi100.build 2012-07-29 12:50 2.0k
[ ] godi-password_gen-1.0.build.tg 2005-09-01 14:43 885.0
[ ] godi-pcre-6.2.5godi2.build.tgz 2012-07-29 12:50 2.2k
[ ] godi-pgocaml-1.4godi2.build.tg 2011-07-11 22:24 4.0k
[ ] godi-plasma-0.6.1.build.tgz 2012-07-29 12:50 1.4k
[ ] godi-pomap-2.9.10.build.tgz 2012-07-29 12:50 1.1k
[ ] godi-postgres-af-20040120godi1 2008-06-15 18:41 1.9k
[ ] godi-postgresql-1.18.0godi5.bu 2012-07-29 12:50 1.2k
[ ] godi-pxp-1.2.2.build.tgz 2011-07-12 17:41 1.6k
[ ] godi-pycaml-20111005.build.tgz 2012-07-29 12:50 2.2k
[ ] godi-re-0.1.build.tgz 2005-10-24 23:04 1.3k
[ ] godi-react-0.9.2.build.tgz 2011-07-11 22:24 1.2k
[ ] godi-res-3.2.0godi5.build.tgz 2012-07-29 12:50 1.1k
[ ] godi-schoca-0.2.3godi1.build.t 2005-09-01 14:43 2.1k
[ ] godi-sexplib-108.00.01godi2.bu 2012-07-29 12:50 967.0
[ ] godi-shcaml-0.1.3.build.tgz 2011-07-12 17:41 1.3k
[ ] godi-sonet-0.1.1godi2.build.tg 2012-07-29 12:50 981.0
[ ] godi-sqlite3-1.6.3.build.tgz 2012-07-29 12:50 1.1k
[ ] godi-syslog-1.2godi1.build.tgz 2007-12-21 20:29 817.0
[ ] godi-tools-1.6.1godi1.build.tg 2008-06-15 18:41 1.9k
[ ] godi-tophide-1.0.0godi1.build. 2011-07-11 22:24 1.3k
[ ] godi-type_conv-108.00.01godi2. 2012-07-29 12:50 1.0k
[ ] godi-tyxml-2.0.2.build.tgz 2012-07-29 12:50 924.0
[ ] godi-ulex-1.0.build.tgz 2011-07-12 17:41 854.0
[ ] godi-wdialog-2.1.3.build.tgz 2011-07-11 22:24 1.9k
[ ] godi-wdialog-manual-2.1.1.buil 2005-09-01 14:43 756.0
[ ] godi-webdav-1.1.build.tgz 2012-07-29 12:50 1.1k
[ ] godi-xml-light-2.2godi1.build. 2006-01-23 09:57 2.3k
[ ] godi-xmlm-1.1.0godi2.build.tgz 2012-07-29 12:50 1.5k
[ ] godi-xstr-0.2.1.build.tgz 2005-09-01 14:43 912.0
[ ] godi-xstrp4-1.8.build.tgz 2011-07-11 22:24 911.0
[ ] godi-yojson-1.0.3.build.tgz 2012-07-29 12:50 1.3k
[ ] godi-zip-1.04.build.tgz 2010-04-20 09:33 1.5k
[ ] packages.ini 2012-07-29 12:50 195.0k