nordic-dev.net/nixpkgs
nordic-dev.net/nixpkgs
2
0
Fork 0
mirror of https://github.com/NixOS/nixpkgs.git synced 2024-11-02 07:31:26 +00:00
Code Issues Packages Projects Releases Wiki Activity
8cba75ac34
nixpkgs/pkgs/development/ocaml-modules
History
Arie Middelkoop c87285c255 Updated the coccinelle package to the latest release (1.0.0-RC9). 
Added additional ocaml modules which are needed for coccinelle.

svn path=/nixpkgs/trunk/; revision=31579
2012-01-16 10:20:13 +00:00
..
batteries Minor-version bump of ocaml-batteries. 2012-01-16 10:17:02 +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 Add OPA to Nixpkgs. 2011-11-27 23:58:46 +00:00
expat Matita and its dependencies. 2010-12-31 17:48:55 +00:00
extlib Updated the coccinelle package to the latest release (1.0.0-RC9). 2012-01-16 10:20:13 +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 Matita and its dependencies. 2010-12-31 17:48:55 +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 * Add variable createFindlibDestdir to the setupHook of findlib 2010-12-21 09:37:35 +00:00
mysql Matita and its dependencies. 2010-12-31 17:48:55 +00:00
ocamlgraph Add OPA to Nixpkgs. 2011-11-27 23:58:46 +00:00
ocamlmake Updated the coccinelle package to the latest release (1.0.0-RC9). 2012-01-16 10:20:13 +00: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 Updated the coccinelle package to the latest release (1.0.0-RC9). 2012-01-16 10:20:13 +00:00
pycaml Updated the coccinelle package to the latest release (1.0.0-RC9). 2012-01-16 10:20:13 +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 Updated the coccinelle package to the latest release (1.0.0-RC9). 2012-01-16 10:20:13 +00:00
sqlite3 * Add variable createFindlibDestdir to the setupHook of findlib 2010-12-21 09:37:35 +00:00
ssl * Add variable createFindlibDestdir to the setupHook of findlib 2010-12-21 09:37:35 +00:00
typeconv Updated the coccinelle package to the latest release (1.0.0-RC9). 2012-01-16 10:20:13 +00:00
ulex Add OPA to Nixpkgs. 2011-11-27 23:58:46 +00:00