diff --git a/docs/agda-spec/src/Spec/hs-src/cardano-consensus-executable-spec.cabal b/docs/agda-spec/src/Spec/hs-src/cardano-consensus-executable-spec.cabal
index ddba40b272..434d4a5167 100644
--- a/docs/agda-spec/src/Spec/hs-src/cardano-consensus-executable-spec.cabal
+++ b/docs/agda-spec/src/Spec/hs-src/cardano-consensus-executable-spec.cabal
@@ -1,4 +1,4 @@
-cabal-version:      3.12
+cabal-version:      3.0
 name:               cardano-consensus-executable-spec
 version:            0.1.0.0
 synopsis: