1
0
Fork 1
mirror of https://github.com/NixOS/nixpkgs.git synced 2024-12-19 03:48:57 +00:00
Commit graph

31 commits

Author SHA1 Message Date
Marco Maggesi 389da8b64c Update camlp5 to version 6.11 2014-01-18 20:56:44 +00:00
Marco Maggesi cf6ac40585 Update OCaml findlib to version 1.4 2014-01-18 20:56:44 +00:00
Moritz Ulrich e87515e519 Opam 1.1: Constrain supported ocaml versions.
Signed-off-by: Moritz Ulrich <moritz@tarn-vedra.de>
2013-12-25 14:43:23 +01:00
Malcolm Matalka 545216ee02 Opam: Update to 1.1.0
Also keeps 1.0 for backwards compatibility.

Signed-off-by: Moritz Ulrich <moritz@tarn-vedra.de>
2013-12-25 14:18:28 +01:00
Evgeny Egorochkin f5f76e6446 ocamlPackages.deriving: fix version 2013-06-19 03:20:00 +03:00
Marc Weber d25d1e4d24 ocaml adding deriving 2013-06-19 03:07:27 +03:00
Christophe Raffalli 356983074e Forgotten to add wanr.patch for omake. 2013-06-07 21:58:19 +02:00
Christophe Raffalli 87e1089498 Upgraded omake to 0.9.8.6_rc1. kept the previous version as default because this is a rc1.
This is necessary to compile the latest camlimages
2013-06-07 21:40:37 +02:00
Malcolm Matalka 27e2fb6895 Upgrade to 1.0.0 2013-03-15 12:41:01 +01:00
Shea Levy b634efe63c ocamlPackages.opam: Fix indentation
Signed-off-by: Shea Levy <shea@shealevy.com>
2013-03-08 17:12:56 -05:00
orbitz 55be059467 Add myself to maintainers, remove 0.9.4, set maintainer for this packge to me 2013-03-08 22:59:54 +01:00
orbitz 98a6759bc7 Delete 0.9.4 2013-03-08 22:48:58 +01:00
orbitz fd48192018 Add opam 0.9.5 2013-03-08 22:42:22 +01:00
orbitz 6da29419e4 Add opam 0.9.4 2013-03-08 11:56:50 +01:00
Malcolm Matalka 5ff6be9224 Support installing findlib 2012-11-16 11:43:43 +01:00
Malcolm Matalka 6299baeb88 Support installing topfind now 2012-11-16 11:43:32 +01:00
Marco Maggesi 2221bf0593 Update camlp5 to 6.06. 2012-10-09 14:03:12 -04:00
Arie Middelkoop 5bc99bc883 Adds Ocaml 4.00.0 (first attempt)
Bumps Findlib to 1.3.3 (required for ocaml 4.00)
2012-07-31 14:09:27 +02: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
Marco Maggesi 82fabd6262 Update ocaml-findlib to version 1.2.7
svn path=/nixpkgs/trunk/; revision=30925
2011-12-16 09:22:31 +00:00
Marco Maggesi 8d4b5bcd0c Upgrade camlp5 to version 6.02.3-1 (contributed by Russell O'Connor).
Keep the old version 5.15 to allow a smooth migration.


svn path=/nixpkgs/trunk/; revision=30575
2011-11-26 19:39:14 +00:00
Russell O'Connor 8c40562197 New package for CamlIDL 1.05
svn path=/nixpkgs/trunk/; revision=29619
2011-10-04 01:40:45 +00:00
Marco Maggesi 51d6c8df91 * Handle variable createFindlibDestdir correctly in ocaml-findlib
* Fix HOL Light derivation

svn path=/nixpkgs/trunk/; revision=25269
2010-12-23 19:28:06 +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 2c85e4b96f * Remove the automatic creation of a directory from the setupHook of findlib since this can silently produce empty paths in derivations
svn path=/nixpkgs/trunk/; revision=25219
2010-12-21 08:33:37 +00:00
Marco Maggesi e7accaf8d3 * Update camlp5
svn path=/nixpkgs/trunk/; revision=25206
2010-12-20 10:32:22 +00:00
Marco Maggesi d3f00b9cf5 * Add findlib to hydra
svn path=/nixpkgs/trunk/; revision=25205
2010-12-20 09:53:41 +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
David Guibert b0859969a5 omake: version 0.9.8.5
svn path=/nixpkgs/trunk/; revision=22019
2010-05-27 19:44:03 +00:00
Marco Maggesi a0207b3dc7 Updated Coq to version 8.2pl1
svn path=/nixpkgs/trunk/; revision=18069
2009-11-02 11:44:27 +00:00
Marco Maggesi c4533b8d24 Added camlp5 the preprocessor-pretty-printer for OCaml
svn path=/nixpkgs/trunk/; revision=18068
2009-11-02 10:47:24 +00:00