tobias/nixpkgs
1
0
Fork 0
mirror of https://github.com/NixOS/nixpkgs.git synced 2025-11-10 09:43:30 +01:00
Code Issues Packages Projects Releases Wiki Activity

coqPackages.autosubst-ocaml: 1.1+8.20 -> 1.1+9.0

Browse source
This commit is contained in:
IRONM00N 2025-09-16 20:10:44 -04:00
parent ac8e9fb8c8
commit a246280b51
No known key found for this signature in database
GPG key ID: 047E6905B5BB8193
1 changed files with 5 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

5
pkgs/development/coq-modules/autosubst-ocaml/default.nix
View file

@ -9,6 +9,7 @@ mkCoqDerivation {
pname = "autosubst-ocaml";
owner = "uds-psl";
release."1.1+9.0".sha256 = "sha256-fCQjmF+0ik2QdKog61VfIv5ERmw+AJO8y5+CWmDGGk0=";
release."1.1+8.20".sha256 = "sha256-S3uKkwbGFsvauP9lKc3UsdszHahbZQhlOOK3fCBXlSE=";
release."1.1+8.19".sha256 = "sha256-AGbhw/6lg4GpDE6hZBhau9DLW7HVXa0UzGvJfSV8oHE=";
@ -16,6 +17,10 @@ mkCoqDerivation {
defaultVersion =
with lib.versions;
lib.switch coq.coq-version [
{
case = isEq "9.0";
out = "1.1+9.0";
}
{
case = isEq "8.20";
out = "1.1+8.20";