diff options
| author | Vincent Laporte <Vincent.Laporte@gmail.com> | 2021-10-19 21:52:23 +0200 |
|---|---|---|
| committer | Vincent Laporte <vbgl@users.noreply.github.com> | 2021-10-21 10:03:03 +0200 |
| commit | 44745d496c661620eb6b0f04ba4295ec5f328c85 (patch) | |
| tree | daa8ebe9ced99597171a7f09b36b68a6e8f8bff7 /pkgs/development/coq-modules | |
| parent | 78085b01effbc52092390cc369bf74868f2a4e08 (diff) | |
| download | nixpkgs-44745d496c661620eb6b0f04ba4295ec5f328c85.tar nixpkgs-44745d496c661620eb6b0f04ba4295ec5f328c85.tar.gz nixpkgs-44745d496c661620eb6b0f04ba4295ec5f328c85.tar.bz2 nixpkgs-44745d496c661620eb6b0f04ba4295ec5f328c85.tar.lz nixpkgs-44745d496c661620eb6b0f04ba4295ec5f328c85.tar.xz nixpkgs-44745d496c661620eb6b0f04ba4295ec5f328c85.tar.zst nixpkgs-44745d496c661620eb6b0f04ba4295ec5f328c85.zip | |
coqPackages.extructures: init at 0.3.0
Diffstat (limited to 'pkgs/development/coq-modules')
| -rw-r--r-- | pkgs/development/coq-modules/extructures/default.nix | 33 |
1 files changed, 33 insertions, 0 deletions
diff --git a/pkgs/development/coq-modules/extructures/default.nix b/pkgs/development/coq-modules/extructures/default.nix new file mode 100644 index 00000000000..c34fa76f6e0 --- /dev/null +++ b/pkgs/development/coq-modules/extructures/default.nix @@ -0,0 +1,33 @@ +{ lib, mkCoqDerivation, coq, version ? null +, ssreflect +, deriving +}: +with lib; + +(mkCoqDerivation { + pname = "extructures"; + owner = "arthuraa"; + + inherit version; + defaultVersion = with versions; switch coq.coq-version [ + { case = range "8.11" "8.14"; out = "0.3.0"; } + { case = range "8.10" "8.12"; out = "0.2.2"; } + ] null; + + releaseRev = v: "v${v}"; + + release."0.3.0".sha256 = "sha256:14rm0726f1732ldds495qavg26gsn30w6dfdn36xb12g5kzavp38"; + release."0.2.2".sha256 = "sha256:1clzza73gccy6p6l95n6gs0adkqd3h4wgl4qg5l0qm4q140grvm7"; + + propagatedBuildInputs = [ ssreflect ]; + + meta = { + description = "Finite data structures with extensional reasoning"; + license = licenses.mit; + maintainers = [ maintainers.vbgl ]; + }; + +}).overrideAttrs (o: { + propagatedBuildInputs = o.propagatedBuildInputs + ++ optional (versionAtLeast o.version "0.3.0") deriving; +}) |