.. |
batteries
|
ocaml batteries: fix download url
|
2011-05-24 20:40:55 +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 |