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

rocqPackages.parseque: release v0.3.1

Browse source 
(cherry picked from commit c8d505b86e)
This commit is contained in:
Wolfgang Meier 2026-06-17 10:42:09 +02:00 • committed by github-actions[bot]
commit bb3c343b2c
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 ];