| .. |
|
batteries
|
* 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 |
|
camlzip
|
Matita and its dependencies.
|
2010-12-31 17:48:55 +00:00 |
|
camomile
|
* Remove useless code put by error in camomile
|
2010-12-21 09:43:13 +00:00 |
|
cryptgps
|
* Add variable createFindlibDestdir to the setupHook of findlib
|
2010-12-21 09:37:35 +00:00 |
|
cryptokit
|
* 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 |
|
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
|
* 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 |
|
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
|
* 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 |
|
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 |
