From 95261182f06babd68d929316bf2d2776346ac04a Mon Sep 17 00:00:00 2001 From: Vincent Laporte Date: Tue, 19 Apr 2022 22:02:50 +0200 Subject: [PATCH] =?UTF-8?q?coqPackages.parsec:=200.1.0=20=E2=86=92=200.1.1?= MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit --- pkgs/development/coq-modules/parsec/default.nix | 8 ++++++-- 1 file changed, 6 insertions(+), 2 deletions(-) diff --git a/pkgs/development/coq-modules/parsec/default.nix b/pkgs/development/coq-modules/parsec/default.nix index fa1aa3c8399..fc8fef5a4d6 100644 --- a/pkgs/development/coq-modules/parsec/default.nix +++ b/pkgs/development/coq-modules/parsec/default.nix @@ -11,12 +11,16 @@ mkCoqDerivation { releaseRev = (v: "v${v}"); inherit version; - defaultVersion = if versions.range "8.12" "8.13" coq.version then "0.1.0" else null; + defaultVersion = with versions; switch coq.version [ + { case = range "8.12" "8.15"; out = "0.1.1"; } + { case = range "8.12" "8.13"; out = "0.1.0"; } + ] null; + release."0.1.1".sha256 = "sha256:1c0l18s68pzd4c8i3jimh2yz0pqm4g38pca4bm7fr18r8xmqf189"; release."0.1.0".sha256 = "sha256:01avfcqirz2b9wjzi9iywbhz9szybpnnj3672dgkfsimyg9jgnsr"; meta = { description = "Library for serialization to S-expressions"; - license = licenses.mit; + license = licenses.bsd3; maintainers = with maintainers; [ Zimmi48 ]; }; }