Arie Middelkoop 2d09dbf8fc update of ocaml-makefile to version 6.37.0.

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

..

batteries

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

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

camlzip

Matita and its dependencies.

2010-12-31 17:48:55 +00: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

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

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

expat

Matita and its dependencies.

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

extlib

Fix of the ocaml extlib expression. The native object files were not installed. Turns out that also the 'opt' make target must be run besides 'all'.

2012-03-22 10:32:32 +00: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

Matita and its dependencies.

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

lablgtkmathview

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

2012-01-18 20:16:00 +00: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

Matita and its dependencies.

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

ounit

Update OUnit to version 1.1.0

2011-12-16 09:13:47 +00: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

Update OCaml sqlite3

2012-06-01 09:42:29 +00: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