diff options
author | Valentin Robert <valentin.robert.42@gmail.com> | 2019-10-28 13:49:49 -0700 |
---|---|---|
committer | Vincent Laporte <vbgl@users.noreply.github.com> | 2019-10-29 12:42:22 +0000 |
commit | b76193a3363f65d1aa9be4998306d0408a9dc7e7 (patch) | |
tree | a0f2e8b2603e504fc9100da248fa93e37e9dba34 /pkgs/development/coq-modules | |
parent | 5b640bfd089904bfe806606b8b29de5f0846bfce (diff) | |
download | nixpkgs-b76193a3363f65d1aa9be4998306d0408a9dc7e7.tar nixpkgs-b76193a3363f65d1aa9be4998306d0408a9dc7e7.tar.gz nixpkgs-b76193a3363f65d1aa9be4998306d0408a9dc7e7.tar.bz2 nixpkgs-b76193a3363f65d1aa9be4998306d0408a9dc7e7.tar.lz nixpkgs-b76193a3363f65d1aa9be4998306d0408a9dc7e7.tar.xz nixpkgs-b76193a3363f65d1aa9be4998306d0408a9dc7e7.tar.zst nixpkgs-b76193a3363f65d1aa9be4998306d0408a9dc7e7.zip |
coqPackages.coq-extensible-records: support for coq 8.9 and 8.10
Diffstat (limited to 'pkgs/development/coq-modules')
-rw-r--r-- | pkgs/development/coq-modules/coq-extensible-records/default.nix | 38 |
1 files changed, 32 insertions, 6 deletions
diff --git a/pkgs/development/coq-modules/coq-extensible-records/default.nix b/pkgs/development/coq-modules/coq-extensible-records/default.nix index 513b046c0fe..3b93b6b2de2 100644 --- a/pkgs/development/coq-modules/coq-extensible-records/default.nix +++ b/pkgs/development/coq-modules/coq-extensible-records/default.nix @@ -1,13 +1,39 @@ { stdenv, fetchFromGitHub, coq }: -stdenv.mkDerivation { - name = "coq${coq.coq-version}-coq-extensible-records-1.2.0"; +let + versions = { + pre_8_9 = { + owner = "gmalecha"; + rev = "1.2.0"; + version = "1.2.0"; + sha256 = "0h5m04flqfk0v577syw0v1dw2wf7xrx6jaxv5gpmqzssf5hxafy4"; + }; + post_8_9 = { + owner = "Ptival"; + rev = "bd7082a3571ee3c111096ff6b5eb28c8d3a99ce5"; + version = "1.2.0+8.9-fix"; + sha256 = "0625qd8pyxi0v704fwnawrfw5fk966vnk120il0g6qv42siyck95"; + }; + }; + params = + { + "8.5" = versions.pre_8_9; + "8.6" = versions.pre_8_9; + "8.7" = versions.pre_8_9; + "8.8" = versions.pre_8_9; + "8.9" = versions.post_8_9; + "8.10" = versions.post_8_9; + }; + param = params.${coq.coq-version}; +in + +stdenv.mkDerivation rec { + inherit (param) version; + name = "coq${coq.coq-version}-coq-extensible-records-${version}"; src = fetchFromGitHub { - owner = "gmalecha"; + inherit (param) owner rev sha256; repo = "coq-extensible-records"; - rev = "1.2.0"; - sha256 = "0h5m04flqfk0v577syw0v1dw2wf7xrx6jaxv5gpmqzssf5hxafy4"; }; buildInputs = [ coq ]; @@ -27,6 +53,6 @@ stdenv.mkDerivation { }; passthru = { - compatibleCoqVersions = v: builtins.elem v [ "8.5" "8.6" "8.7" "8.8" ]; + compatibleCoqVersions = v: builtins.elem v [ "8.5" "8.6" "8.7" "8.8" "8.9" "8.10" ]; }; } |