| .. |
|
batteries
|
* "ensureDir" -> "mkdir -p". "ensureDir" is a rather pointless
|
2012-01-18 20:16:00 +00:00 |
|
camlimages
|
libpng: keep versioning in all-packages.nix, not in individual expressions
|
2013-06-27 21:35:21 +02:00 |
|
camlzip
|
upgraded camlzip to version 1.05 to allow compilation with ocaml-4.00.1
|
2013-06-07 21:40:37 +02:00 |
|
camomile
|
Update ocaml_batteries and camomile (ocamlPackages)
|
2011-05-24 18:21:13 +00:00 |
|
cryptgps
|
|
|
|
cryptokit
|
upgraded ocaml/cryptokit to 1.7
|
2013-06-07 21:40:37 +02:00 |
|
dypgen
|
New ocaml packages:
|
2013-06-07 21:40:38 +02: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 |
|
lablgl
|
New ocaml packages:
|
2013-06-07 21:40:38 +02:00 |
|
lablgtk
|
upgraded lablgtk to version 2.16 to allow compilation with ocaml-4.00.1
|
2013-06-07 21:40:37 +02: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 |
|
mlgmp
|
Added OCaml gmp bindings mlgmp
|
2013-06-16 22:33:33 +02:00 |
|
mysql
|
upgraded ocaml-mysql to 1.1.1
|
2013-06-16 22:33:38 +02:00 |
|
ocaml-cairo
|
New ocaml packages:
|
2013-06-07 21:40:38 +02: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
|
Upgraded ocamlnet to 3.6.3. Also enabled mot functionality of ocamlnet like nethttp
|
2013-06-07 21:40:38 +02: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
|
upgraded ocaml/sqlite3 to 2.0.4
|
2013-06-07 21:40:37 +02:00 |
|
ssl
|
|
|
|
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 |
