public/nixpkgs
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

Coq: propagates the findlib package

Browse Source 
So that Coq libraries that need it can easyly use it
This commit is contained in:
Vincent Laporte 2017-01-25 07:03:24 +00:00
parent 9b949be617
commit 798a87159b
1 changed files with 3 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

3
pkgs/applications/science/logic/coq/default.nix
View File

@ -34,6 +34,9 @@ stdenv.mkDerivation {
inherit coq-version; inherit coq-version;
inherit camlp5; inherit camlp5;
inherit (ocamlPackages) ocaml; inherit (ocamlPackages) ocaml;
passthru = {
inherit (ocamlPackages) findlib;
};
src = fetchurl { src = fetchurl {
url = "http://coq.inria.fr/distrib/V${version}/files/coq-${version}.tar.gz"; url = "http://coq.inria.fr/distrib/V${version}/files/coq-${version}.tar.gz";