Christophe Raffalli 43faad8063 Upgraded ocamlnet to 3.6.3. Also enabled mot functionality of ocamlnet like nethttp

2013-06-07 21:40:38 +02:00

..

batteries

* "ensureDir" -> "mkdir -p". "ensureDir" is a rather pointless

2012-01-18 20:16:00 +00:00

camlzip

upgraded camlzip to version 1.05 to allow compilation with ocaml-4.00.1

2013-06-07 21:40:37 +02:00

camomile

Update ocaml_batteries and camomile (ocamlPackages)

2011-05-24 18:21:13 +00:00

cryptgps

* Add variable createFindlibDestdir to the setupHook of findlib

2010-12-21 09:37:35 +00:00

cryptokit

upgraded ocaml/cryptokit to 1.7

2013-06-07 21:40:37 +02:00

expat

Matita and its dependencies.

2010-12-31 17:48:55 +00:00

extlib

Update extlib to version 1.5.2

2012-10-09 14:03:11 -04:00

gmetadom

Matita and its dependencies.

2010-12-31 17:48:55 +00:00

http

Matita and its dependencies.

2010-12-31 17:48:55 +00:00

lablgtk

upgraded lablgtk to version 2.16 to allow compilation with ocaml-4.00.1

2013-06-07 21:40:37 +02:00

lablgtkmathview

Remove a bunch of unreferenced files

2012-11-29 13:43:37 +01:00

lwt

* Enable hydra build for ocaml-batteries, camlzip, camomile, ocaml-cryptgps, cryptokit, ocaml-lwt, menhir, ounit, ocaml-pcre, ocaml-react, ocaml-ssl

2010-12-11 14:50:45 +00:00

menhir

* Added "easytag", a GUI for organizing id3tags in mp3s.

2012-04-09 09:42:20 +00:00

mysql

Matita and its dependencies.

2010-12-31 17:48:55 +00:00

ocamlgraph

ocamlgraph: update to 1.8.2

2012-07-31 14:08:48 +02:00

ocamlmake

update of ocaml-makefile to version 6.37.0.

2012-07-31 14:09:49 +02:00

ocamlnat

Add ocamlnat (native toplevel for OCaml)

2011-12-16 09:35:13 +00:00

ocamlnet

Upgraded ocamlnet to 3.6.3. Also enabled mot functionality of ocamlnet like nethttp

2013-06-07 21:40:38 +02:00

ounit

Update ounit to version 1.1.2

2012-10-09 14:03:11 -04:00

pcre

Update download link for pcre-ocaml

2012-06-01 06:08:29 +00:00

pycaml

* Added "easytag", a GUI for organizing id3tags in mp3s.

2012-04-09 09:42:20 +00:00

react

* Enable hydra build for ocaml-batteries, camlzip, camomile, ocaml-cryptgps, cryptokit, ocaml-lwt, menhir, ounit, ocaml-pcre, ocaml-react, ocaml-ssl

2010-12-11 14:50:45 +00:00

sexplib

patch of sexplib for compatibility with ocaml 4.00.0.

2012-07-31 14:09:40 +02:00

sqlite3

upgraded ocaml/sqlite3 to 2.0.4

2013-06-07 21:40:37 +02:00

ssl

* Add variable createFindlibDestdir to the setupHook of findlib

2010-12-21 09:37:35 +00:00

typeconv

* Added "easytag", a GUI for organizing id3tags in mp3s.

2012-04-09 09:42:20 +00:00

ulex

Add OPA to Nixpkgs.

2011-11-27 23:58:46 +00:00