| .. |
|
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
|
|
|
|
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
|
|
|
|
menhir
|
|
|
|
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
|
|
|
|
sexplib
|
Updated the coccinelle package to the latest release (1.0.0-RC9).
|
2012-01-16 10:20:13 +00:00 |
|
sqlite3
|
|
|
|
ssl
|
|
|
|
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 |
c87285c255