Marco Maggesi c54a9276ba Update menhir to version 20130115

2014-01-18 20:56:44 +00:00

..

batteries

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

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

camlimages

libpng: keep versioning in all-packages.nix, not in individual expressions

2013-06-27 21:35:21 +02: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

Update cryptokit to version 1.9

2014-01-18 20:56:44 +00:00

dypgen

New ocaml packages:

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

expat

Matita and its dependencies.

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

extlib

extlib: fix version to match tarball

2013-07-14 02:08:51 +03: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

lablgl

New ocaml packages:

2013-06-07 21:40:38 +02: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

…

menhir

Update menhir to version 20130115

2014-01-18 20:56:44 +00:00

mlgmp

Added OCaml gmp bindings mlgmp

2013-06-16 22:33:33 +02:00

mysql

upgraded ocaml-mysql to 1.1.1

2013-06-16 22:33:38 +02:00

ocaml-cairo

New ocaml packages:

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

ocamlgraph

More description fixes

2013-10-06 12:01:38 +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

ocamlsdl

added OCaml package ocamlsdl

2013-12-05 16:20:32 +01:00

ounit

Update OCaml OUnit to version 2.0.0

2014-01-18 20:56:44 +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

…

sexplib

More description fixes

2013-10-06 12:01:38 +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