From 1333e697a0c9212d9470e9d465db70ab9ff3598e Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Javier=20D=C3=ADaz?= Date: Thu, 21 Nov 2024 12:22:50 +0000 Subject: [PATCH] Fix Cabal version in Cabal file --- .../src/Spec/hs-src/cardano-consensus-executable-spec.cabal | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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: