diff options
| author | Vincent Laporte <Vincent.Laporte@gmail.com> | 2018-03-21 14:00:47 +0000 |
|---|---|---|
| committer | Vincent Laporte <Vincent.Laporte@gmail.com> | 2018-03-21 18:06:28 +0000 |
| commit | 6845b248d9c1f897609aa2e1a55302b0475351d4 (patch) | |
| tree | bcee55c9084e03b8ca20cea65323a93a355af0cc /pkgs/development/coq-modules/dpdgraph | |
| parent | 13e74a838db27825c88be99b1a21fbee33aa6803 (diff) | |
| download | nixlib-6845b248d9c1f897609aa2e1a55302b0475351d4.tar nixlib-6845b248d9c1f897609aa2e1a55302b0475351d4.tar.gz nixlib-6845b248d9c1f897609aa2e1a55302b0475351d4.tar.bz2 nixlib-6845b248d9c1f897609aa2e1a55302b0475351d4.tar.lz nixlib-6845b248d9c1f897609aa2e1a55302b0475351d4.tar.xz nixlib-6845b248d9c1f897609aa2e1a55302b0475351d4.tar.zst nixlib-6845b248d9c1f897609aa2e1a55302b0475351d4.zip | |
coq: init at 8.8+beta1
Diffstat (limited to 'pkgs/development/coq-modules/dpdgraph')
| -rw-r--r-- | pkgs/development/coq-modules/dpdgraph/default.nix | 11 |
1 files changed, 9 insertions, 2 deletions
diff --git a/pkgs/development/coq-modules/dpdgraph/default.nix b/pkgs/development/coq-modules/dpdgraph/default.nix index 425ab408c8c6..390ced8fdad3 100644 --- a/pkgs/development/coq-modules/dpdgraph/default.nix +++ b/pkgs/development/coq-modules/dpdgraph/default.nix @@ -1,6 +1,6 @@ { stdenv, fetchFromGitHub, autoreconfHook, coq, ocamlPackages }: -let param = { +let params = { "8.7" = { version = "0.6.2"; rev = "d76ddde37d918569945774733b7997e8b24daf51"; @@ -16,7 +16,9 @@ let param = { rev = "v0.6"; sha256 = "0qvar8gfbrcs9fmvkph5asqz4l5fi63caykx3bsn8zf0xllkwv0n"; }; -}."${coq.coq-version}"; in +}; +param = params."${coq.coq-version}"; +in stdenv.mkDerivation { name = "coq${coq.coq-version}-dpdgraph-${param.version}"; @@ -46,4 +48,9 @@ stdenv.mkDerivation { maintainers = with stdenv.lib.maintainers; [ vbgl ]; platforms = coq.meta.platforms; }; + + passthru = { + compatibleCoqVersions = v: builtins.hasAttr v params; + }; + } |