nixpkgs

Author	SHA1	Message	Date
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