Christophe Raffalli
fc36c19834
Added OCaml gmp bindings mlgmp
2013-06-16 22:33:33 +02:00
Christophe Raffalli
270d929089
New ocaml packages:
...
- ocaml-cairo
- camlimages
- dypgen
- patoline
2013-06-07 21:40:38 +02:00
Christophe Raffalli
43faad8063
Upgraded ocamlnet to 3.6.3. Also enabled mot functionality of ocamlnet like nethttp
2013-06-07 21:40:38 +02:00
Christophe Raffalli
5765e186d2
upgraded ocaml/sqlite3 to 2.0.4
2013-06-07 21:40:37 +02:00
Christophe Raffalli
b3fa714f1f
upgraded lablgtk to version 2.16 to allow compilation with ocaml-4.00.1
2013-06-07 21:40:37 +02:00
Christophe Raffalli
59877bd1ad
upgraded camlzip to version 1.05 to allow compilation with ocaml-4.00.1
2013-06-07 21:40:37 +02:00
Christophe Raffalli
af7fd67e43
upgraded ocaml/cryptokit to 1.7
2013-06-07 21:40:37 +02:00
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
Marco Maggesi
a090424115
Update ocamlnet to version 3.6. (Does not compile under 4.00.0 though.)
2012-10-09 14:03:12 -04:00
Marco Maggesi
3989f09ae6
Update ounit to version 1.1.2
2012-10-09 14:03:11 -04:00
Marco Maggesi
c3e12acb5a
Update extlib to version 1.5.2
2012-10-09 14:03:11 -04:00
Arie Middelkoop
26b4e2a286
compatibility fix of ocaml-extlib for ocaml 4.00.0.
2012-07-31 14:10:11 +02:00
Arie Middelkoop
2d09dbf8fc
update of ocaml-makefile to version 6.37.0.
2012-07-31 14:09:49 +02:00
Arie Middelkoop
63be0ae2f7
patch of sexplib for compatibility with ocaml 4.00.0.
2012-07-31 14:09:40 +02:00
Arie Middelkoop
7d70836580
ocamlgraph: update to 1.8.2
...
Also added the dependency on lablgtk, so that it builds the 'dgraph' module,
which is needed for packaging frama-c. This dependency can be made optional.
2012-07-31 14:08:48 +02:00
Marco Maggesi
6cf6d40534
Update OCaml sqlite3
...
svn path=/nixpkgs/trunk/; revision=34312
2012-06-01 09:42:29 +00:00
Marco Maggesi
de6b7ac64e
Update download link for pcre-ocaml
...
svn path=/nixpkgs/trunk/; revision=34311
2012-06-01 06:08:29 +00:00
Marco Maggesi
7fda94a082
Upstream hash change
...
svn path=/nixpkgs/trunk/; revision=34310
2012-05-31 21:26:12 +00:00
Marco Maggesi
0ff3dd24ad
Fix hash change of ocaml-pcre sources
...
svn path=/nixpkgs/trunk/; revision=34260
2012-05-28 14:14:35 +00:00
Arie Middelkoop
2b18ccf305
* Added "easytag", a GUI for organizing id3tags in mp3s.
...
* Updated some ocaml packages.
* Updated coccinelle.
svn path=/nixpkgs/trunk/; revision=33674
2012-04-09 09:42:20 +00:00
Russell O'Connor
4bccef4db2
Updating hash for ocaml_sqlite3
...
Markus Mottl <markus.mottl@gmail.com> said by email to me that
``Note that this link is served by a Mercurial Apache module, i.e. this
is not static content. It's likely that e.g. tar or bzip2 produce
slightly different output, which would explain changing hashes.
So I guess we shouldn't worry too much about the change in hash?
svn path=/nixpkgs/trunk/; revision=33419
2012-03-25 21:24:23 +00:00
Arie Middelkoop
3a7b035380
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'.
...
svn path=/nixpkgs/trunk/; revision=33350
2012-03-22 10:32:32 +00:00
Arie Middelkoop
31ffda057e
Fix of the ocaml pcre nix expr. Added 'pcre' as propagated build input.
...
svn path=/nixpkgs/trunk/; revision=33349
2012-03-22 10:31:10 +00:00
Yury G. Kudryashov
0210e20b5a
svn merge ^/nixpkgs/trunk
...
svn path=/nixpkgs/branches/stdenv-updates/; revision=32713
2012-03-01 07:04:39 +00:00
Arie Middelkoop
d9f5e277a5
OCamlMakefile update.
...
svn path=/nixpkgs/trunk/; revision=32687
2012-02-29 12:51:06 +00:00
Eelco Dolstra
c556a6ea46
* "ensureDir" -> "mkdir -p". "ensureDir" is a rather pointless
...
function, so obsolete it.
svn path=/nixpkgs/branches/stdenv-updates/; revision=31644
2012-01-18 20:16:00 +00:00
Arie Middelkoop
c87285c255
Updated the coccinelle package to the latest release (1.0.0-RC9).
...
Added additional ocaml modules which are needed for coccinelle.
svn path=/nixpkgs/trunk/; revision=31579
2012-01-16 10:20:13 +00:00
Arie Middelkoop
3b833cc93b
Minor-version bump of ocaml-batteries.
...
The previous version did not compile with ocaml>=3.12, and this version is also backwards compatible with 3.11.
svn path=/nixpkgs/trunk/; revision=31578
2012-01-16 10:17:02 +00:00
Marco Maggesi
b41da3c8df
Add ocamlnat (native toplevel for OCaml)
...
svn path=/nixpkgs/trunk/; revision=30926
2011-12-16 09:35:13 +00:00
Marco Maggesi
ef32f76d6e
Update OUnit to version 1.1.0
...
svn path=/nixpkgs/trunk/; revision=30924
2011-12-16 09:13:47 +00:00
Karn Kallio
9ac48a630e
Add OPA to Nixpkgs.
...
svn path=/nixpkgs/trunk/; revision=30578
2011-11-27 23:58:46 +00:00
Russell O'Connor
845f2a8658
adding camlp5 as a propogated build input to ulex 0.8
...
matita and ulex must build against the same version of camlp5, so in an attempt to force them to always be the same I am adding a propgatedBuildInput to ulex.
Granted Matita still requires camlp5_traditional and this is less obvious in the matita file now, so I am not entirely sure this is the right design choice.
svn path=/nixpkgs/trunk/; revision=30552
2011-11-24 19:43:03 +00:00
Marco Maggesi
af9eaf3441
Oops
...
svn path=/nixpkgs/trunk/; revision=27901
2011-07-22 07:39:14 +00:00
Marco Maggesi
b1f6ed4a6e
Update OCaml Batteries to 1.4.0
...
svn path=/nixpkgs/trunk/; revision=27900
2011-07-22 07:28:51 +00:00
Marco Maggesi
e2b159dabe
ocaml batteries: https --> http
...
svn path=/nixpkgs/trunk/; revision=27303
2011-05-25 09:27:50 +00:00
Marco Maggesi
e8466deeff
ocaml batteries: fix download url
...
svn path=/nixpkgs/trunk/; revision=27300
2011-05-24 20:40:55 +00:00
Marco Maggesi
5b730d301c
Update ocaml_batteries and camomile (ocamlPackages)
...
* Add camomile 0.8.3 and 0.8.2 (for ocaml_batteries).
* Remove obsolete camomile 0.7.3 and 0.8.1.
* Update ocaml_batteries to version 1.3.0 (also add fixes for Darwin).
svn path=/nixpkgs/trunk/; revision=27299
2011-05-24 18:21:13 +00:00
Russell O'Connor
88ec92d14c
Matita and its dependencies.
...
svn path=/nixpkgs/trunk/; revision=25328
2010-12-31 17:48:55 +00:00
Marco Maggesi
5e13810a01
* Remove useless code put by error in camomile
...
svn path=/nixpkgs/trunk/; revision=25221
2010-12-21 09:43:13 +00:00
Marco Maggesi
eb33e01ac7
* Add variable createFindlibDestdir to the setupHook of findlib
...
* Set createFindlibDestdir to various ocaml packages.
svn path=/nixpkgs/trunk/; revision=25220
2010-12-21 09:37:35 +00:00
Marco Maggesi
f3eb5769ca
* Add ocamlnet
...
svn path=/nixpkgs/trunk/; revision=25072
2010-12-12 17:53:13 +00:00
Marco Maggesi
eaf8b73517
* Fix installation of camlzip
...
svn path=/nixpkgs/trunk/; revision=25071
2010-12-12 17:45:57 +00:00
Marco Maggesi
0b701b824b
* take camlzip META file from GODI
...
svn path=/nixpkgs/trunk/; revision=25069
2010-12-12 16:09:52 +00:00
Marco Maggesi
ba8bc4dd33
* Add ocaml-sqlite3
...
svn path=/nixpkgs/trunk/; revision=25065
2010-12-11 15:05:26 +00:00
Marco Maggesi
e1bbcecbaf
* Enable hydra build for ocaml-batteries, camlzip, camomile, ocaml-cryptgps, cryptokit, ocaml-lwt, menhir, ounit, ocaml-pcre, ocaml-react, ocaml-ssl
...
svn path=/nixpkgs/trunk/; revision=25064
2010-12-11 14:50:45 +00:00
Marco Maggesi
ac457478e3
* Add ocaml packages findlib, camlzip, ocaml-ssl, ocaml-batteries, menhir, camomile, ocaml-lwt, cryptokit, ocaml-cryptgps, ounit, ocaml-react
...
svn path=/nixpkgs/trunk/; revision=25041
2010-12-09 15:40:04 +00:00