.. |
batteries
|
* "ensureDir" -> "mkdir -p". "ensureDir" is a rather pointless
|
2012-01-18 20:16:00 +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
|
* "ensureDir" -> "mkdir -p". "ensureDir" is a rather pointless
|
2012-01-18 20:16:00 +00:00 |
expat
|
Matita and its dependencies.
|
2010-12-31 17:48:55 +00:00 |
extlib
|
Fix of the ocaml extlib expression. The native object files were not installed. Turns out that also the 'opt' make target must be run besides 'all'.
|
2012-03-22 10:32:32 +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
|
* "ensureDir" -> "mkdir -p". "ensureDir" is a rather pointless
|
2012-01-18 20:16:00 +00:00 |
lwt
|
|
|
menhir
|
* Added "easytag", a GUI for organizing id3tags in mp3s.
|
2012-04-09 09:42:20 +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 |
ocamlmake
|
OCamlMakefile update.
|
2012-02-29 12:51:06 +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
|
Update download link for pcre-ocaml
|
2012-06-01 06:08:29 +00:00 |
pycaml
|
* Added "easytag", a GUI for organizing id3tags in mp3s.
|
2012-04-09 09:42:20 +00:00 |
react
|
|
|
sexplib
|
* Added "easytag", a GUI for organizing id3tags in mp3s.
|
2012-04-09 09:42:20 +00:00 |
sqlite3
|
Updating hash for ocaml_sqlite3
|
2012-03-25 21:24:23 +00:00 |
ssl
|
* Add variable createFindlibDestdir to the setupHook of findlib
|
2010-12-21 09:37:35 +00:00 |
typeconv
|
* Added "easytag", a GUI for organizing id3tags in mp3s.
|
2012-04-09 09:42:20 +00:00 |
ulex
|
Add OPA to Nixpkgs.
|
2011-11-27 23:58:46 +00:00 |