public/nixpkgs
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity
nixpkgs/pkgs/development/ocaml-modules
History
Eelco Dolstra 5553546c21 Remove a bunch of unreferenced files 
Plus a small number of obsolete packages (like old versions of qemu).
2012-11-29 13:43:37 +01:00
..
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
Update extlib to version 1.5.2
2012-10-09 14:03:11 -04: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
Remove a bunch of unreferenced files
2012-11-29 13:43:37 +01: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
ocamlgraph: update to 1.8.2
2012-07-31 14:08:48 +02:00
ocamlmake
update of ocaml-makefile to version 6.37.0.
2012-07-31 14:09:49 +02:00
ocamlnat
Add ocamlnat (native toplevel for OCaml)
2011-12-16 09:35:13 +00:00
ocamlnet
Update ocamlnet to version 3.6. (Does not compile under 4.00.0 though.)
2012-10-09 14:03:12 -04:00
ounit
Update ounit to version 1.1.2
2012-10-09 14:03:11 -04: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
patch of sexplib for compatibility with ocaml 4.00.0.
2012-07-31 14:09:40 +02:00
sqlite3
Update OCaml sqlite3
2012-06-01 09:42:29 +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