diff options
| author | Vincent Laporte <Vincent.Laporte@gmail.com> | 2022-04-19 22:02:50 +0200 |
|---|---|---|
| committer | Vincent Laporte <vbgl@users.noreply.github.com> | 2022-04-29 07:11:26 +0200 |
| commit | 95261182f06babd68d929316bf2d2776346ac04a (patch) | |
| tree | aa64dd98a333528f415a981a51c7e8d54b23013c | |
| parent | ed79d5cdb3525974b3af845202eb856a5660926f (diff) | |
| download | nixpkgs-95261182f06babd68d929316bf2d2776346ac04a.tar nixpkgs-95261182f06babd68d929316bf2d2776346ac04a.tar.gz nixpkgs-95261182f06babd68d929316bf2d2776346ac04a.tar.bz2 nixpkgs-95261182f06babd68d929316bf2d2776346ac04a.tar.lz nixpkgs-95261182f06babd68d929316bf2d2776346ac04a.tar.xz nixpkgs-95261182f06babd68d929316bf2d2776346ac04a.tar.zst nixpkgs-95261182f06babd68d929316bf2d2776346ac04a.zip | |
coqPackages.parsec: 0.1.0 → 0.1.1
| -rw-r--r-- | pkgs/development/coq-modules/parsec/default.nix | 8 |
1 files 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 ]; }; } |