UTxO-HD targeting main

.github/workflows/haskell.yml

@@ -80,6 +80,19 @@ jobs:
       with:
         use-sodium-vrf: true # default is true
 
+    - name: Linux install lmdb
+      if: matrix.sys.os == 'ubuntu-latest'
+      run: sudo apt install liblmdb-dev
+
+    - name: Mac install lmdb
+      if: matrix.sys.os == 'macos-latest'
+      run: brew install lmdb
+
+    - name: Windows install lmdb
+      if: matrix.sys.os == 'windows-latest'
+      shell: 'C:/msys64/usr/bin/bash.exe -e {0}'
+      run: /usr/bin/pacman --noconfirm -S mingw-w64-x86_64-lmdb
+
     - uses: actions/checkout@v4
 
     - name: Cabal update

cabal.project

@@ -13,7 +13,7 @@ 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 2024-12-24T12:56:48Z
+  , hackage.haskell.org 2024-12-31T10:16:13Z
   , cardano-haskell-packages 2025-01-08T16:35:32Z
 
 packages:
@@ -54,3 +54,60 @@ semaphore: True
 
 constraints:
     Cabal < 3.14,
+
+-- UTxO-HD for 10.2
+source-repository-package
+  type: git
+  location: https://github.com/IntersectMBO/ouroboros-consensus
+  tag: 54ac1b2f5bd15f3f0f70e9f4a9ebf3e34792dcf2
+  --sha256: sha256-PdzKg4PA6DnzhRVUF2kiBfvf8S+ekXmws73XDXSZdnY=
+  subdir:
+    ouroboros-consensus
+    ouroboros-consensus-cardano
+    ouroboros-consensus-diffusion
+    ouroboros-consensus-protocol
+    sop-extras
+    strict-sop-core
+
+-- mempack support
+source-repository-package
+  type: git
+  location: https://github.com/IntersectMBO/cardano-base.git
+  tag: fb9b71f3bc33f8de673c6427736f09bf7972e81f
+  subdir:
+    cardano-crypto-class
+  --sha256: sha256-ExQ497FDYlmQyZaXOTddU+KraAUHnTAqPiyt055v0+M=
+
+-- mempack support
+source-repository-package
+  type: git
+  location: https://github.com/IntersectMBO/cardano-ledger
+  tag: c50d89688d9f30ea2dbd01afb19dbcaaf03e3da7
+  --sha256: sha256-3OVXLYCKSN4HPd3nsObK2mG8mB28AX46vuMqs+Jn3kw=
+  subdir:
+    eras/allegra/impl
+    eras/alonzo/impl
+    eras/alonzo/test-suite
+    eras/babbage/impl
+    eras/babbage/test-suite
+    eras/conway/impl
+    eras/conway/test-suite
+    eras/mary/impl
+    eras/shelley/impl
+    eras/shelley/test-suite
+    eras/shelley-ma/test-suite
+    libs/cardano-ledger-api
+    libs/cardano-ledger-core
+    libs/cardano-ledger-binary
+    libs/cardano-protocol-tpraos
+    libs/non-integral
+    libs/small-steps
+    libs/cardano-data
+    libs/set-algebra
+    libs/vector-map
+    eras/byron/chain/executable-spec
+    eras/byron/ledger/executable-spec
+    eras/byron/ledger/impl
+    eras/byron/ledger/impl/test
+    eras/byron/crypto
+    eras/byron/crypto/test

cardano-api/cardano-api.cabal

@@ -220,8 +220,10 @@ library internal
     safe-exceptions,
     scientific,
     serialise,
+    singletons,
     small-steps ^>=1.1,
     sop-core,
+    sop-extras,
     stm,
     strict-sop-core,
     time,