11 Commits

Author	SHA1	Message	Date
Vincent Laporte	b938811393	ocamlgraph: 1.8.7 -> 1.8.8	2017-10-18 19:08:16 +00:00
Matthew Maurer	3c7b0d37ae	ocamlgraph: 1.8.5 -> 1.8.7	2017-03-29 06:37:00 +00:00
Benno Fünfstück	dd23d08b90	ocamlgraph: fix binary location (binaries had double prefix path) ... Due to setting `DESTDIR` *and* `exec_prefix` (defaulted to `$prefix`), binaries ended up in `$out/$out/bin` instead of just $out/bin. Not setting `DESTDIR` and adapting the `LIBDIR` patch a little fixes this issue.	2017-03-06 12:51:03 +01:00
Kirill Boltaev	3e646865f4	treewide: use ocaml.version (#19192)	2016-10-05 09:32:30 +02:00
Nicolas B. Pierron	72c6f8a140	Ensure that we can evaluate the platform attribute of ocaml packages.	2016-03-13 19:08:26 +00:00
Mateusz Kowalczyk	007f80c1d0	Turn more licenses into lib.licenses style ... Should eval cleanly, as far as -A tarball tells me. Relevant: issue #2999, issue #739	2014-11-06 00:48:16 +00:00
Vincent Laporte	b9741719fa	Fixes ocamlgraph (depends on camlp4) and prooftree (not ready for ... OCaml4.02)	2014-09-23 20:48:50 +01:00
Austin Seipp	5f702d52f4	ocamlgraph: upgrade to 1.8.5 ... Signed-off-by: Austin Seipp <aseipp@pobox.com>	2014-05-01 02:30:39 -05:00
Bjørn Forsman	083d0890f5	More description fixes ... * Remove package name * Start with upper case letter * Remove trailing period Also reword some descriptions and move some long descriptions to longDescription. I'm not touching generated packages.	2013-10-06 12:01:38 +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
Karn Kallio	9ac48a630e	Add OPA to Nixpkgs. ... svn path=/nixpkgs/trunk/; revision=30578	2011-11-27 23:58:46 +00:00