diff options
| author | Vincent Laporte <Vincent.Laporte@gmail.com> | 2023-07-25 04:26:04 +0200 |
|---|---|---|
| committer | Vincent Laporte <Vincent.Laporte@gmail.com> | 2023-07-25 04:36:39 +0200 |
| commit | 72c7597d20881c1755a38536a20bc645779186fe (patch) | |
| tree | d63984799141e2d2a1b6ca2507d67ac0bc812ad9 /pkgs/development/coq-modules | |
| parent | 335de7152a0ac17d05fff55cbc30cee49c81c50b (diff) | |
| download | nixlib-72c7597d20881c1755a38536a20bc645779186fe.tar nixlib-72c7597d20881c1755a38536a20bc645779186fe.tar.gz nixlib-72c7597d20881c1755a38536a20bc645779186fe.tar.bz2 nixlib-72c7597d20881c1755a38536a20bc645779186fe.tar.lz nixlib-72c7597d20881c1755a38536a20bc645779186fe.tar.xz nixlib-72c7597d20881c1755a38536a20bc645779186fe.tar.zst nixlib-72c7597d20881c1755a38536a20bc645779186fe.zip | |
coqPackages.parsec: 0.1.1 → 0.1.2
Diffstat (limited to 'pkgs/development/coq-modules')
| -rw-r--r-- | pkgs/development/coq-modules/parsec/default.nix | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/pkgs/development/coq-modules/parsec/default.nix b/pkgs/development/coq-modules/parsec/default.nix index 8a30fbeb961a..a2c9ea3dedaa 100644 --- a/pkgs/development/coq-modules/parsec/default.nix +++ b/pkgs/development/coq-modules/parsec/default.nix @@ -11,9 +11,11 @@ mkCoqDerivation { inherit version; defaultVersion = with lib.versions; lib.switch coq.version [ + { case = range "8.14" "8.17"; out = "0.1.2"; } { case = range "8.12" "8.16"; out = "0.1.1"; } { case = range "8.12" "8.13"; out = "0.1.0"; } ] null; + release."0.1.2".sha256 = "sha256-QN0h1CsX86DQBDsluXLtNUvMh3r60/0iDSbYam67AhA="; release."0.1.1".sha256 = "sha256:1c0l18s68pzd4c8i3jimh2yz0pqm4g38pca4bm7fr18r8xmqf189"; release."0.1.0".sha256 = "sha256:01avfcqirz2b9wjzi9iywbhz9szybpnnj3672dgkfsimyg9jgnsr"; |