Running nixpkgs-update (https://nix-community.org/update-bot/) with UPDATE_INFO: coqPackages.fcsl-pcm 2.2.0 -> 2.3.0 https://github.com/imdea-software/fcsl-pcm/releases
attrpath: coqPackages.fcsl-pcm
Checking auto update branch...
No auto update branch exists
[version] 
[version] updated version and sha256
[rustCrateVersion] 
[rustCrateVersion] No cargoHash found
[golangModuleVersion] 
[golangModuleVersion] Not a buildGoModule package with vendorHash
[npmDepsVersion] 
[npmDepsVersion] No npmDepsHash
[updateScript] 
[updateScript] skipping because derivation has no updateScript
Diff after rewrites:
diff --git a/pkgs/development/coq-modules/fcsl-pcm/default.nix b/pkgs/development/coq-modules/fcsl-pcm/default.nix
index 38e2c7e1a0e0..e0e6288c5acf 100644
--- a/pkgs/development/coq-modules/fcsl-pcm/default.nix
+++ b/pkgs/development/coq-modules/fcsl-pcm/default.nix
@@ -26,10 +26,10 @@ mkCoqDerivation {
     lib.switch
       [ coq.coq-version mathcomp-algebra.version ]
       [
-        (case (range "9.0" "9.1") (range "2.4.0" "2.5.0") "2.2.0")
+        (case (range "9.0" "9.1") (range "2.4.0" "2.5.0") "2.3.0")
       ]
       null;
-  release."2.2.0".hash = "sha256-VnfK+RHWiq27hxEJ9stpVp609/dMiPH6UHFhzaHdAnM=";
+  release."2.3.0".hash = "sha256-lORW3xV9wA4VQjKxbz6JvohDiiVJ5BmLBtpHJgLpFF0=";
   releaseRev = v: "v${v}";
 
   propagatedBuildInputs = [

Received ExitFailure 1 when running
Raw command: nix-build --option sandbox true --arg config "{ allowUnfree = true; allowAliases = false; }" --arg overlays "[ ]" -A coqPackages.fcsl-pcm
nix build failed.
source root is source
Running phase: patchPhase
@nix { "action": "setPhase", "phase": "patchPhase" }
Running phase: updateAutotoolsGnuConfigScriptsPhase
@nix { "action": "setPhase", "phase": "updateAutotoolsGnuConfigScriptsPhase" }
Running phase: configurePhase
@nix { "action": "setPhase", "phase": "configurePhase" }
no configure script, doing nothing
Running phase: buildPhase
@nix { "action": "setPhase", "phase": "buildPhase" }
build flags: -j16 SHELL=/nix/store/7ik8057hajl6vq9j40h3jracxjn0bb5x-bash-5.3p15/bin/bash
/nix/store/55zd5i0xgs325h3fl0csxrbhl40cbk57-coq-9.1.1/bin/rocq makefile -f _CoqProject -o CoqMakefile
make --no-print-directory -f CoqMakefile 
ROCQ DEP VFILES
ROCQ compile core/options.v
ROCQ compile core/axioms.v
ROCQ compile core/pred.v
File "./core/axioms.v", line 83, characters 0-12:
Error: Syntax error: illegal begin of vernac.

make[2]: *** [CoqMakefile:814: core/axioms.vo] Error 1
make[2]: *** [core/axioms.vo] Deleting file 'core/axioms.glob'
make[2]: *** Waiting for unfinished jobs....
File "./core/pred.v", line 62, characters 0-12:
Error: Syntax error: illegal begin of vernac.

make[2]: *** [CoqMakefile:814: core/pred.vo] Error 1
make[2]: *** [core/pred.vo] Deleting file 'core/pred.glob'
make[1]: *** [CoqMakefile:412: all] Error 2
make: *** [Makefile:13: invoke-coqmakefile] Error 2