Commit message (Collapse) | Author | Age | |
---|---|---|---|
* | treewide: Make configureFlags lists | John Ericson | 2018-08-03 |
| | |||
* | ocamlPackages.lablgtk: 2.18.5 -> 2.18.6 | Vincent Laporte | 2017-10-31 |
| | |||
* | ocamlPackages.lablgtk: remove unused dependency to campl4 | Vincent Laporte | 2017-10-18 |
| | |||
* | misc pkgs: Basic sed to get fix `pkgconfig` and `autoreconfHook` `buildInputs` | John Ericson | 2017-09-21 |
| | | | | Only acts on one-line dependency lists. | ||
* | ocamlPackages.lablgtk_2_14: disable for OCaml ≥ 4.04 | Vincent Laporte | 2017-06-26 |
| | |||
* | ocamlPackages.lablgtk: don’t strip | Vincent Laporte | 2017-06-26 |
| | |||
* | lablgtk: 2.18.3 -> 2.18.5 | Vincent Laporte | 2016-12-22 |
| | |||
* | treewide: use ocaml.version (#19192) | Kirill Boltaev | 2016-10-05 |
| | |||
* | treewide: explicitly specify gtk and related package versions | Kirill Boltaev | 2016-09-12 |
| | |||
* | Ensure that we can evaluate the platform attribute of ocaml packages. | Nicolas B. Pierron | 2016-03-13 |
| | |||
* | lablgtk-2.14: fix build with OCaml-4.02 (needs camlp4) | Vincent Laporte | 2015-06-25 |
| | |||
* | Adds some “branch” meta-data | Vincent Laporte | 2014-11-06 |
| | |||
* | lablgtk: update from 2.18.2 to 2.18.3 | Vincent Laporte | 2014-11-04 |
| | |||
* | lablgtk: update 2.16.0 -> 2.18.2 | Vincent Laporte | 2014-10-08 |
| | |||
* | Adds camlp4 | Vincent Laporte | 2014-09-23 |
| | | | | | | | | | | Camlp4 is a software system for writing extensible parsers for programming languages. Camlp4 was part of the official OCaml distribution until its version 4.01.0. Homepage: https://github.com/ocaml/camlp4 | ||
* | mkOcamlPackages: simpler rule for lablgtk | Vincent Laporte | 2014-09-20 |
| | |||
* | Fixes coq-8.3: requires OCaml 3.12 | Vincent Laporte | 2014-09-17 |
| | |||
* | Turn some license strings into lib.licenses values | Mateusz Kowalczyk | 2014-07-28 |
| | |||
* | lablgtk: remove old patch | Austin Seipp | 2014-05-01 |
| | | | | Signed-off-by: Austin Seipp <aseipp@pobox.com> | ||
* | upgraded lablgtk to version 2.16 to allow compilation with ocaml-4.00.1 | Christophe Raffalli | 2013-06-07 |
| | |||
* | Matita and its dependencies. | Russell O'Connor | 2010-12-31 |
svn path=/nixpkgs/trunk/; revision=25328 |