Remove proto-lens SRP

Author: carbolymer

.changes/20260417_cardano_api_remove_proto_lens_srp.yml

@@ -0,0 +1,12 @@
+project: cardano-api
+pr: 1185
+kind:
+  - breaking
+  - maintenance
+description: |
+  Bump `cardano-ledger-core` lower bound to `>=1.20` (required by
+  `ouroboros-consensus-3.0.x`).
+
+  Remove the `proto-lens` source-repository-package stanza from `cabal.project`.
+  GHC 9.12-compatible `proto-lens` (`>=0.7.1.7`) is now available on Hackage,
+  so the SRP workaround is no longer required.

cabal.project

@@ -13,8 +13,8 @@ repository cardano-haskell-packages
 -- See CONTRIBUTING for information about these, including some Nix commands
 -- you need to run if you change them
 index-state:
-  , hackage.haskell.org 2026-03-22T23:17:32Z
-  , cardano-haskell-packages 2026-04-09T12:05:18Z
+  , hackage.haskell.org 2026-04-17T09:20:55Z
+  , cardano-haskell-packages 2026-04-15T11:20:53Z
 
 active-repositories:
   , :rest
@@ -144,27 +144,6 @@ if arch(wasm32)
   package digest
      flags: -pkg-config
 
--- GHC 9.12 and later support in master
-if impl(ghc >= 9.12)
-  source-repository-package
-    type: git
-    location: https://github.com/google/proto-lens
-    tag: 9b41fe0e10e8fe12ec508a3b361d0f0c2217c491
-    --sha256: sha256-ruTbbUKVJBPANnm6puigtp26mmiVDd0jMpLfJLOuUpU=
-    subdir:
-      discrimination-ieee754
-      proto-lens-arbitrary
-      proto-lens-benchmarks
-      proto-lens-discrimination
-      proto-lens-optparse
-      proto-lens-protobuf-types
-      proto-lens-protoc
-      proto-lens-runtime
-      proto-lens-setup
-      proto-lens-tests-dep
-      proto-lens-tests
-      proto-lens
-
 -- IMPORTANT
 -- Do NOT add more source-repository-package stanzas here unless they are strictly
 -- temporary! Please read the section in CONTRIBUTING about updating dependencies.

cardano-api/cardano-api.cabal

@@ -146,7 +146,7 @@ library
     cardano-ledger-binary >=1.6,
     cardano-ledger-byron >=1.2,
     cardano-ledger-conway >=1.19,
-    cardano-ledger-core >=1.17 && <1.20,
+    cardano-ledger-core >=1.20,
     cardano-ledger-dijkstra >=0.1,
     cardano-ledger-mary >=1.8,
     cardano-ledger-shelley >=1.16,
@@ -176,7 +176,7 @@ library
     network-mux,
     nothunks,
     ordered-containers,
-    ouroboros-consensus:{cardano, diffusion, ouroboros-consensus, protocol} ^>=3.0,
+    ouroboros-consensus:{cardano, diffusion, ouroboros-consensus, protocol} ^>=3.0
     ouroboros-network:{api, framework, ouroboros-network, protocols} ^>=1.1,
     parsec,
     plutus-core ^>=1.61,

cardano-rpc/cardano-rpc.cabal

@@ -87,7 +87,7 @@ library
     generic-data,
     grapesy,
     grpc-spec,
-    proto-lens >=0.7.1.6,
+    proto-lens >=0.7.1.7,
     proto-lens-protobuf-types,
     random,
     rio,