diff --git a/pkgs/development/rocq-modules/parseque/default.nix b/pkgs/development/rocq-modules/parseque/default.nix
index 1c300cf17e22..12bf940b16a2 100644
--- a/pkgs/development/rocq-modules/parseque/default.nix
+++ b/pkgs/development/rocq-modules/parseque/default.nix
@@ -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 ];