rocqPackages.parseque: release v0.3.1

2026-06-17 10:42:09 +02:00
parent 3c7c695b00
commit c8d505b86e
1 changed files with 2 additions and 1 deletions
@@ -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 ];