batteries
|
Oops
|
2011-07-22 07:39:14 +00:00 |
camlzip
|
Matita and its dependencies.
|
2010-12-31 17:48:55 +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 |
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 |
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 |
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 |
ulex
|
Add OPA to Nixpkgs.
|
2011-11-27 23:58:46 +00:00 |