c4patino/nixpkgs
1
0
Fork 0
mirror of https://github.com/NixOS/nixpkgs.git synced 2026-07-06 17:13:24 -05:00
Code Issues Projects Releases Packages Wiki Activity

[Backport release-26.05] rocqPackages.parseque: release v0.3.1 (#532623)

Browse source
This commit is contained in:
Vincent Laporte 2026-06-17 11:41:23 +00:00 • committed by GitHub
commit 3992368733
No known key found for this signature in database
GPG key ID: B5690EEEBB952194
1 changed files with 2 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

3
pkgs/development/rocq-modules/parseque/default.nix
View file

@ -18,12 +18,13 @@ mkRocqDerivation {
[
{
cases = [ (lib.versions.range "9.0" "9.2") ];
out = "0.3.0";
out = "0.3.1";
}
]
null;
release."0.3.0".sha256 = "sha256-W2eenv5Q421eVn2ubbninFmmdT875f3w/Zs7yGHUKP4=";
release."0.3.1".sha256 = "sha256-t7nHpHl6E3iXkhMO0A53URmKVpWENjf/VODVXjD9Y1A=";
propagatedBuildInputs = [ stdlib ];