Marco Maggesi e2b159dabe ocaml batteries: https --> http ...

svn path=/nixpkgs/trunk/; revision=27303

2011-05-25 09:27:50 +00:00

..

batteries

ocaml batteries: https --> http

2011-05-25 09:27:50 +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

…

expat

Matita and its dependencies.

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

…

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

ocamlnet

Matita and its dependencies.

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

ounit

* Add variable createFindlibDestdir to the setupHook of findlib

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

pcre

* Add variable createFindlibDestdir to the setupHook of findlib

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

react

…

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

ulex

Matita and its dependencies.

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