mirror of
https://github.com/NixOS/nixpkgs.git
synced 2024-09-29 23:52:55 +00:00
coqPackages.coq-record-update: 0.3.1 -> 0.3.3
This commit is contained in:
parent
6f8b3b6eab
commit
07fbc0bb0f
@ -5,8 +5,9 @@
|
||||
owner = "tchajed";
|
||||
inherit version;
|
||||
defaultVersion = with lib.versions; lib.switch coq.coq-version [
|
||||
{ case = range "8.10" "8.19"; out = "0.3.1"; }
|
||||
{ case = range "8.10" "8.19"; out = "0.3.3"; }
|
||||
] null;
|
||||
release."0.3.3".sha256 = "sha256-HDIPeFHiC9EwhiOH7yMGJ9d2zJMhboTpRGf9kWcB9Io=";
|
||||
release."0.3.1".sha256 = "sha256-DyGxO2tqmYZZluXN6Oy5Tw6fuLMyuyxonj8CCToWKkk=";
|
||||
release."0.3.0".sha256 = "1ffr21dd6hy19gxnvcd4if2450iksvglvkd6q5713fajd72hmc0z";
|
||||
releaseRev = v: "v${v}";
|
||||
|
Loading…
Reference in New Issue
Block a user