diff options
| author | Vincent Laporte <Vincent.Laporte@gmail.com> | 2017-01-12 21:23:18 +0000 |
|---|---|---|
| committer | Vincent Laporte <Vincent.Laporte@gmail.com> | 2017-01-12 21:23:18 +0000 |
| commit | befc29454b6057969ebfc3cbd338c2e55d94114f (patch) | |
| tree | 683d6aa21913a32e94cb120c2611ab7faff6cc98 /pkgs/development/coq-modules/dpdgraph | |
| parent | 717faa7fbe9ee3d6397d06e0df66debd10cab4cc (diff) | |
| download | nixpkgs-befc29454b6057969ebfc3cbd338c2e55d94114f.tar nixpkgs-befc29454b6057969ebfc3cbd338c2e55d94114f.tar.gz nixpkgs-befc29454b6057969ebfc3cbd338c2e55d94114f.tar.bz2 nixpkgs-befc29454b6057969ebfc3cbd338c2e55d94114f.tar.lz nixpkgs-befc29454b6057969ebfc3cbd338c2e55d94114f.tar.xz nixpkgs-befc29454b6057969ebfc3cbd338c2e55d94114f.tar.zst nixpkgs-befc29454b6057969ebfc3cbd338c2e55d94114f.zip | |
coqPackages.dpdgraph: 0.5 -> 0.6{,.1}
Diffstat (limited to 'pkgs/development/coq-modules/dpdgraph')
| -rw-r--r-- | pkgs/development/coq-modules/dpdgraph/default.nix | 22 |
1 files changed, 17 insertions, 5 deletions
diff --git a/pkgs/development/coq-modules/dpdgraph/default.nix b/pkgs/development/coq-modules/dpdgraph/default.nix index 0dec05ebd3f..9dbc3a3f299 100644 --- a/pkgs/development/coq-modules/dpdgraph/default.nix +++ b/pkgs/development/coq-modules/dpdgraph/default.nix @@ -1,15 +1,27 @@ -{ stdenv, fetchFromGitHub, coq, ocamlPackages }: +{ stdenv, fetchFromGitHub, autoreconfHook, coq, ocamlPackages }: + +let param = { + "8.6" = { + version = "0.6.1"; + rev = "c3b87af6bfa338e18b83f014ebd0e56e1f611663"; + sha256 = "1jaafkwsb5450378nprjsds1illgdaq60gryi8kspw0i25ykz2c9"; + }; + "8.5" = { + version = "0.6"; + rev = "v0.6"; + sha256 = "0qvar8gfbrcs9fmvkph5asqz4l5fi63caykx3bsn8zf0xllkwv0n"; + }; +}."${coq.coq-version}"; in stdenv.mkDerivation { - name = "coq${coq.coq-version}-dpdgraph-0.5"; + name = "coq${coq.coq-version}-dpdgraph-${param.version}"; src = fetchFromGitHub { owner = "Karmaki"; repo = "coq-dpdgraph"; - rev = "227a6a28bf11cf1ea56f359160558965154dd176"; - sha256 = "1vxf7qq37mnmlclkr394147xvrky3p98ar08c4wndwrp41gfbxhq"; + inherit (param) rev sha256; }; - buildInputs = [ coq ] + buildInputs = [ autoreconfHook coq ] ++ (with ocamlPackages; [ ocaml findlib ocamlgraph ]); preInstall = '' |