Vincent Laporte b9741719fa Fixes ocamlgraph (depends on camlp4) and prooftree (not ready for ...

OCaml4.02)

2014-09-23 20:48:50 +01:00

..

default.nix

Fixes ocamlgraph (depends on camlp4) and prooftree (not ready for

2014-09-23 20:48:50 +01:00

destdir.patch

Add OPA to Nixpkgs.

2011-11-27 23:58:46 +00:00