Rename all references to the old repository name: cardno-ledger-spec …

…-> cardano-ledger
fstoqnov-iohk · May 4, 2022 · 6a50f18 · 6a50f18
1 parent ac56cf7
commit 6a50f18
Show file tree

Hide file tree

Showing 49 changed files with 97 additions and 97 deletions.
diff --git a/.buildkite/nightly.yml b/.buildkite/nightly.yml
@@ -1,7 +1,7 @@
 env:
-  BUILD_DIR: "/build/cardano-ledger-specs"
-  STACK_ROOT: "/build/cardano-ledger-specs.stack"
-  CACHE_DIR: "/cache/cardano-ledger-specs"
+  BUILD_DIR: "/build/cardano-ledger"
+  STACK_ROOT: "/build/cardano-ledger.stack"
+  CACHE_DIR: "/cache/cardano-ledger"
 
 steps:
   - label: 'nightly tests'

diff --git a/CONTRIBUTING.md b/CONTRIBUTING.md
@@ -161,7 +161,7 @@ and error may be required to make substantive changes!
 ### Code formatting
 
 We use [`ormolu`](https://github.com/tweag/ormolu/) for formatting.
-There is a script [here](https://github.com/input-output-hk/cardano-ledger-specs/blob/master/scripts/ormolise.sh)
+There is a script [here](https://github.com/input-output-hk/cardano-ledger/blob/master/scripts/ormolise.sh)
 which uses nix to format the appropriate directories.
 
 ### Compiler warnings

diff --git a/README.md b/README.md
@@ -1,8 +1,8 @@
 <h1 align="center">Cardano Ledger</h1>
 
 <p align="center">
-  <a href="https://github.com/input-output-hk/cardano-ledger-specs/actions/workflows/haskell.yml">
-    <img alt="GitHub Workflow Status (master)" src="https://img.shields.io/github/workflow/status/input-output-hk/cardano-ledger-specs/Haskell%20CI/master.svg?style=for-the-badge" />
+  <a href="https://github.com/input-output-hk/cardano-ledger/actions/workflows/haskell.yml">
+    <img alt="GitHub Workflow Status (master)" src="https://img.shields.io/github/workflow/status/input-output-hk/cardano-ledger/Haskell%20CI/master.svg?style=for-the-badge" />
   </a>
 </p>
 
@@ -14,17 +14,17 @@ following links:
 
 Era | Design Documents | Formal Specification | CDDL
 ----|------------------|----------------------|-----
-Byron | | [Chain Spec](https://hydra.iohk.io/job/Cardano/cardano-ledger-specs/byronChainSpec/latest/download-by-type/doc-pdf/blockchain-spec "Specification of the Blockchain Layer"), [Ledger Spec](https://hydra.iohk.io/job/Cardano/cardano-ledger-specs/byronLedgerSpec/latest/download-by-type/doc-pdf/ledger-spec "A Formal Specification of the Cardano Ledger") | [CDDL](https://hydra.iohk.io/job/Cardano/cardano-ledger-specs/blocksCDDLSpec/latest/download-by-type/doc-pdf/binary)
-Shelley | [Design](https://hydra.iohk.io/job/Cardano/cardano-ledger-specs/delegationDesignSpec/latest/download-by-type/doc-pdf/delegation_design_spec "Design Specification for Delegation and Incentives in Cardano") | [Spec](https://hydra.iohk.io/job/Cardano/cardano-ledger-specs/shelleyLedgerSpec/latest/download-by-type/doc-pdf/ledger-spec "A Formal Specification of the Cardano Ledger") | [CDDL](https://github.com/input-output-hk/cardano-ledger-specs/tree/master/eras/shelley/test-suite/cddl-files)
-Allegra & Mary | [Multi-Currency](https://eprint.iacr.org/2020/895 "Multi-Currency Ledgers"), [UTXOma](https://iohk.io/en/research/library/papers/utxoma-utxo-with-multi-asset-support/ "UTXOma:UTXO with Multi-Asset Support") | [Spec](https://hydra.iohk.io/job/Cardano/cardano-ledger-specs/specs.shelley-ma/latest/download-by-type/doc-pdf/shelley-ma "A Formal Specification of the Cardano Ledger with a Native Multi-Asset Implementation") | [CDDL](https://github.com/input-output-hk/cardano-ledger-specs/tree/master/eras/shelley-ma/test-suite/cddl-files)
-Alonzo | [eUTXO](https://iohk.io/en/research/library/papers/the-extended-utxo-model/ "The Extended UTXO Model")| [Spec](https://hydra.iohk.io/job/Cardano/cardano-ledger-specs/specs.alonzo-ledger/latest/download-by-type/doc-pdf/alonzo-changes "A Formal Specification of the Cardano Ledger integrating Plutus Core") | [CDDL](https://github.com/input-output-hk/cardano-ledger-specs/tree/master/eras/alonzo/test-suite/cddl-files)
-Babbage | [batch-verification](https://iohk.io/en/research/library/papers/on-uc-secure-range-extension-and-batch-verification-for-ecvrf/ "On UC-Secure Range Extension and Batch Verification for ECVRF"), [CIP-31](https://github.com/cardano-foundation/CIPs/pull/159 "Reference inputs"), [CIP-32](https://github.com/cardano-foundation/CIPs/pull/160 "Inline datums"), [CIP-33](https://github.com/cardano-foundation/CIPs/pull/161 "Reference scripts") | [Spec](https://hydra.iohk.io/job/Cardano/cardano-ledger-specs/specs.babbage-ledger/latest/download-by-type/doc-pdf/babbage-changes "Formal Specification of the Cardano Ledger for the Babbage era") | [CDDL](https://github.com/input-output-hk/cardano-ledger-specs/tree/master/eras/babbage/test-suite/cddl-files)
+Byron | | [Chain Spec](https://hydra.iohk.io/job/Cardano/cardano-ledger/byronChainSpec/latest/download-by-type/doc-pdf/blockchain-spec "Specification of the Blockchain Layer"), [Ledger Spec](https://hydra.iohk.io/job/Cardano/cardano-ledger/byronLedgerSpec/latest/download-by-type/doc-pdf/ledger-spec "A Formal Specification of the Cardano Ledger") | [CDDL](https://hydra.iohk.io/job/Cardano/cardano-ledger/blocksCDDLSpec/latest/download-by-type/doc-pdf/binary)
+Shelley | [Design](https://hydra.iohk.io/job/Cardano/cardano-ledger/delegationDesignSpec/latest/download-by-type/doc-pdf/delegation_design_spec "Design Specification for Delegation and Incentives in Cardano") | [Spec](https://hydra.iohk.io/job/Cardano/cardano-ledger/shelleyLedgerSpec/latest/download-by-type/doc-pdf/ledger-spec "A Formal Specification of the Cardano Ledger") | [CDDL](https://github.com/input-output-hk/cardano-ledger/tree/master/eras/shelley/test-suite/cddl-files)
+Allegra & Mary | [Multi-Currency](https://eprint.iacr.org/2020/895 "Multi-Currency Ledgers"), [UTXOma](https://iohk.io/en/research/library/papers/utxoma-utxo-with-multi-asset-support/ "UTXOma:UTXO with Multi-Asset Support") | [Spec](https://hydra.iohk.io/job/Cardano/cardano-ledger/specs.shelley-ma/latest/download-by-type/doc-pdf/shelley-ma "A Formal Specification of the Cardano Ledger with a Native Multi-Asset Implementation") | [CDDL](https://github.com/input-output-hk/cardano-ledger/tree/master/eras/shelley-ma/test-suite/cddl-files)
+Alonzo | [eUTXO](https://iohk.io/en/research/library/papers/the-extended-utxo-model/ "The Extended UTXO Model")| [Spec](https://hydra.iohk.io/job/Cardano/cardano-ledger/specs.alonzo-ledger/latest/download-by-type/doc-pdf/alonzo-changes "A Formal Specification of the Cardano Ledger integrating Plutus Core") | [CDDL](https://github.com/input-output-hk/cardano-ledger/tree/master/eras/alonzo/test-suite/cddl-files)
+Babbage | [batch-verification](https://iohk.io/en/research/library/papers/on-uc-secure-range-extension-and-batch-verification-for-ecvrf/ "On UC-Secure Range Extension and Batch Verification for ECVRF"), [CIP-31](https://github.com/cardano-foundation/CIPs/pull/159 "Reference inputs"), [CIP-32](https://github.com/cardano-foundation/CIPs/pull/160 "Inline datums"), [CIP-33](https://github.com/cardano-foundation/CIPs/pull/161 "Reference scripts") | [Spec](https://hydra.iohk.io/job/Cardano/cardano-ledger/specs.babbage-ledger/latest/download-by-type/doc-pdf/babbage-changes "Formal Specification of the Cardano Ledger for the Babbage era") | [CDDL](https://github.com/input-output-hk/cardano-ledger/tree/master/eras/babbage/test-suite/cddl-files)
 
 
 Other Documents:
-- [Non-integer calculations specification](https://hydra.iohk.io/job/Cardano/cardano-ledger-specs/nonIntegerCalculations/latest/download-by-type/doc-pdf/non-integer-calculations): details on the parts of the Shelley specification that use real numbers.
-- [Stake pool ranking specification](https://hydra.iohk.io/job/Cardano/cardano-ledger-specs/specs.pool-ranking/latest/download-by-type/doc-pdf/pool-ranking): details for a robust stake pool ranking mechanism.
-- [Explanation of the small-step-semantics framework](https://hydra.iohk.io/job/Cardano/cardano-ledger-specs/semanticsSpec/latest/download-by-type/doc-pdf/small-step-semantics): a guide to the notation and style used by our ledger rules.
+- [Non-integer calculations specification](https://hydra.iohk.io/job/Cardano/cardano-ledger/nonIntegerCalculations/latest/download-by-type/doc-pdf/non-integer-calculations): details on the parts of the Shelley specification that use real numbers.
+- [Stake pool ranking specification](https://hydra.iohk.io/job/Cardano/cardano-ledger/specs.pool-ranking/latest/download-by-type/doc-pdf/pool-ranking): details for a robust stake pool ranking mechanism.
+- [Explanation of the small-step-semantics framework](https://hydra.iohk.io/job/Cardano/cardano-ledger/semanticsSpec/latest/download-by-type/doc-pdf/small-step-semantics): a guide to the notation and style used by our ledger rules.
 
 In addition, there is a formalization of the Ledger Specification in Isabelle/HOL which can be found [here](https://github.com/input-output-hk/fm-ledger-formalization).
 

diff --git a/bors.toml b/bors.toml
@@ -1,6 +1,6 @@
 status = [
-  "buildkite/cardano-ledger-specs",
-  "ci/hydra:Cardano:cardano-ledger-specs:required",
+  "buildkite/cardano-ledger",
+  "ci/hydra:Cardano:cardano-ledger:required",
 ]
 timeout_sec = 7200
 required_approvals = 1

diff --git a/default.nix b/default.nix
@@ -47,7 +47,7 @@ let
     # PDF builds of LaTeX documentation.
     #
     # To download the latest PDF build from Hydra, use this link:
-    #   https://hydra.iohk.io/job/Cardano/cardano-ledger-specs/specs.NAME/latest/download/1/NAME.pdf
+    #   https://hydra.iohk.io/job/Cardano/cardano-ledger/specs.NAME/latest/download/1/NAME.pdf
     #
     # To get a shell where you can run pdflatex to build it yourself, use:
     #   nix-shell default.nix -A specs.NAME

diff --git a/docs/non-integer-calculations/references.bib b/docs/non-integer-calculations/references.bib
@@ -12,23 +12,23 @@ @misc{delegation_design
   author = {{IOHK Formal Methods Team}},
   title  = {{Design Specification for Delegation and Incentives in Cardano, IOHK Deliverable SL-D1}},
   year   = {2018},
-  url   = {https://github.com/input-output-hk/cardano-ledger-specs/tree/master/docs/delegation_design_spec},
+  url   = {https://github.com/input-output-hk/cardano-ledger/tree/master/docs/delegation_design_spec},
 }
 
 @misc{byron_ledger_spec,
   label =  {BL-D1},
   author = {{IOHK Formal Methods Team}},
   title  = {{Byron Ledger Specification, IOHK Deliverable BL-D1}},
   year   = {2019},
-  url   = {https://github.com/input-output-hk/cardano-ledger-specs/tree/master/docs/},
+  url   = {https://github.com/input-output-hk/cardano-ledger/tree/master/docs/},
 }
 
 @misc{byron_chain_spec,
   label =  {BC-D1},
   author = {{IOHK Formal Methods Team}},
   title  = {{Byron Blockchain Specification, IOHK Deliverable BC-D1}},
   year   = {2019},
-  url   = {https://github.com/input-output-hk/cardano-ledger-specs/tree/master/docs/},
+  url   = {https://github.com/input-output-hk/cardano-ledger/tree/master/docs/},
 }
 
 @article{chimeric,
@@ -66,7 +66,7 @@ @misc{shelley_spec
   author = {{IOHK Formal Methods Team}},
   title  = {{A Formal Specification of the Cardano Ledger, IOHK Deliverable SL-D5}},
   year   = {2019},
-  url = {https://github.com/input-output-hk/cardano-ledger-specs/tree/master/eras/shelley/formal-spec/ledger-spec.tex}
+  url = {https://github.com/input-output-hk/cardano-ledger/tree/master/eras/shelley/formal-spec/ledger-spec.tex}
 }
 
 @misc{shelley_multisig,

diff --git a/docs/pool-ranking/references.bib b/docs/pool-ranking/references.bib
@@ -3,7 +3,7 @@ @misc{delegation_design
   author = {{IOHK Formal Methods Team}},
   title  = {{Design Specification for Delegation and Incentives in Cardano, IOHK Deliverable SL-D1}},
   year   = {2018},
-  url   = {https://hydra.iohk.io/job/Cardano/cardano-ledger-specs/delegationDesignSpec/latest/download-by-type/doc-pdf/delegation_design_spec},
+  url   = {https://hydra.iohk.io/job/Cardano/cardano-ledger/delegationDesignSpec/latest/download-by-type/doc-pdf/delegation_design_spec},
 }
 
 @misc{bkks2018,

diff --git a/eras/alonzo/formal-spec/references.bib b/eras/alonzo/formal-spec/references.bib
@@ -12,7 +12,7 @@ @misc{delegation_design
   author = {Philipp Kant and Lars Br\"unjes and Duncan Coutts},
   title  = {{Design Specification for Delegation and Incentives in Cardano}},
   year   = {2018},
-  url   = {https://github.com/input-output-hk/cardano-ledger-specs/tree/master/docs/delegation_design_spec},
+  url   = {https://github.com/input-output-hk/cardano-ledger/tree/master/docs/delegation_design_spec},
 }
 
 @article{chimeric,
@@ -51,15 +51,15 @@ @misc{shelley_spec
   author = {{Formal Methods Team, IOHK}},
   title  = {{A Formal Specification of the Cardano Ledger}},
   year   = {2019},
-  url = {https://github.com/input-output-hk/cardano-ledger-specs/tree/master/eras/shelley/formal-spec/ledger-spec.tex}
+  url = {https://github.com/input-output-hk/cardano-ledger/tree/master/eras/shelley/formal-spec/ledger-spec.tex}
 }
 
 @misc{shelley_ma_spec,
   label = {CdoLedger},
   author = {{Formal Methods Team, IOHK}},
   title  = {{A Formal Specification of the Cardano Ledger with a Native Multi-Asset Implementation}},
   year   = {2019},
-  url = {https://github.com/input-output-hk/cardano-ledger-specs/tree/master/eras/shelley-ma/formal-spec/shelley-ma.tex}
+  url = {https://github.com/input-output-hk/cardano-ledger/tree/master/eras/shelley-ma/formal-spec/shelley-ma.tex}
 }
 
 @misc{ouroboros,
@@ -86,15 +86,15 @@ @misc{formal_multicur
 author = {{Plutus Team, Ledger Team, IOHK}},
 title = {{A Formal Specification of a UTxO Ledger with Scripts and Multi-Currency}},
 year  = {2019},
-url = {https://github.com/input-output-hk/cardano-ledger-specs/blob/master/eras/shelley/formal-spec/scripts-multicurrency.tex}
+url = {https://github.com/input-output-hk/cardano-ledger/blob/master/eras/shelley/formal-spec/scripts-multicurrency.tex}
 }
 
 @misc{multi_sig,
   label = {CdoMSIG},
   author = {{Formal Methods Team, IOHK}},
   title = {{A Formal Specification of a Multi-Signature Scheme using Scripts}},
   year  = {2019},
-  url = {https://github.com/input-output-hk/cardano-ledger-specs/blob/master/eras/shelley/formal-spec/multi-sig.tex}
+  url = {https://github.com/input-output-hk/cardano-ledger/blob/master/eras/shelley/formal-spec/multi-sig.tex}
 }
 
 @misc{non_int,

diff --git a/eras/alonzo/impl/cardano-ledger-alonzo.cabal b/eras/alonzo/impl/cardano-ledger-alonzo.cabal
@@ -6,7 +6,7 @@ synopsis:            Cardano ledger introducing Plutus Core
 description:
   This package builds upon the Mary ledger with support for extended UTxO
   via Plutus Core.
-bug-reports:         https://github.com/input-output-hk/cardano-ledger-specs/issues
+bug-reports:         https://github.com/input-output-hk/cardano-ledger/issues
 license:             Apache-2.0
 author:              IOHK Formal Methods Team
 maintainer:          [email protected]
@@ -16,7 +16,7 @@ build-type:          Simple
 
 source-repository head
   type:     git
-  location: https://github.com/input-output-hk/cardano-ledger-specs
+  location: https://github.com/input-output-hk/cardano-ledger
   subdir:   eras/alonzo/impl
 
 common base

diff --git a/eras/alonzo/impl/src/Cardano/Ledger/Alonzo/Tx.hs b/eras/alonzo/impl/src/Cardano/Ledger/Alonzo/Tx.hs
@@ -18,9 +18,9 @@
 
 -- | This module exports implementations of many of the functions outlined in the Alonzo specification.
 --     The link to source of the specification
---       https://github.com/input-output-hk/cardano-ledger-specs/tree/master/eras/alonzo/formal-spec
+--       https://github.com/input-output-hk/cardano-ledger/tree/master/eras/alonzo/formal-spec
 --     The most recent version of the document can be found here:
---       https://hydra.iohk.io/job/Cardano/cardano-ledger-specs/specs.alonzo-ledger/latest/download-by-type/doc-pdf/alonzo-changes
+--       https://hydra.iohk.io/job/Cardano/cardano-ledger/specs.alonzo-ledger/latest/download-by-type/doc-pdf/alonzo-changes
 --     The functions can be found in Figures in that document, and sections of this code refer to those figures.
 module Cardano.Ledger.Alonzo.Tx
   ( -- Figure 1

diff --git a/eras/alonzo/test-suite/cardano-ledger-alonzo-test.cabal b/eras/alonzo/test-suite/cardano-ledger-alonzo-test.cabal
@@ -6,7 +6,7 @@ synopsis:            Tests for Cardano ledger introducing Plutus Core
 description:
   This package builds upon the Mary ledger with support for extended UTxO
   via Plutus Core.
-bug-reports:         https://github.com/input-output-hk/cardano-ledger-specs/issues
+bug-reports:         https://github.com/input-output-hk/cardano-ledger/issues
 license:             Apache-2.0
 author:              IOHK Formal Methods Team
 maintainer:          [email protected]
@@ -22,7 +22,7 @@ extra-source-files:
 
 source-repository head
   type:     git
-  location: https://github.com/input-output-hk/cardano-ledger-specs
+  location: https://github.com/input-output-hk/cardano-ledger
   subdir:   eras/alonzo/test-suite
 
 common base

diff --git a/eras/babbage/formal-spec/references.bib b/eras/babbage/formal-spec/references.bib
@@ -51,7 +51,7 @@ @misc{shelley_spec
   author = {{Formal Methods Team, IOHK}},
   title  = {{A Formal Specification of the Cardano Ledger}},
   year   = {2019},
-  url = {https://hydra.iohk.io/job/Cardano/cardano-ledger-specs/shelleyLedgerSpec/latest/download-by-type/doc-pdf/ledger-spec}
+  url = {https://hydra.iohk.io/job/Cardano/cardano-ledger/shelleyLedgerSpec/latest/download-by-type/doc-pdf/ledger-spec}
 }
 
 @misc{shelley_ma_spec,

diff --git a/eras/byron/chain/formal-spec/references.bib b/eras/byron/chain/formal-spec/references.bib
@@ -10,7 +10,7 @@ @misc{byron_ledger_spec
   title = {A Formal Specification of the Cardano Ledger},
   titleaddon = {(for the Byron release)},
   year = {2019},
-  url   = {https://hydra.iohk.io/job/Cardano/cardano-ledger-specs/byronLedgerSpec/latest/download/1/ledger-spec.pdf}
+  url   = {https://hydra.iohk.io/job/Cardano/cardano-ledger/byronLedgerSpec/latest/download/1/ledger-spec.pdf}
 }
 
 @misc{ouroboros,
@@ -39,5 +39,5 @@ @misc{delegation_design
   title  = {Design Specification for Delegation and Incentives in
 Cardano},
   year   = {2018},
-  url   = {https://github.com/input-output-hk/cardano-ledger-specs/tree/master/docs/delegation_design_spec},
+  url   = {https://github.com/input-output-hk/cardano-ledger/tree/master/docs/delegation_design_spec},
 }
diff --git a/eras/byron/ledger/impl/README.md b/eras/byron/ledger/impl/README.md
@@ -4,4 +4,4 @@ This package contains the validation rules for the Cardano Ledger. The rules
 define state transition systems that describe how to validate new blocks and
 transaction, and how to extend the ledger. They are an implementation of the
 formal specification defined in
-[`cardano-ledger-specs`](https://github.com/input-output-hk/cardano-ledger-specs).
+[`cardano-ledger`](https://github.com/input-output-hk/cardano-ledger).
diff --git a/eras/byron/ledger/impl/src/Cardano/Chain/Byron/API/Validation.hs b/eras/byron/ledger/impl/src/Cardano/Chain/Byron/API/Validation.hs
@@ -103,7 +103,7 @@ mkBodyEnvironment cfg params slotNo =
 -- (currently done in body processing) is at least /conform/ spec, as these
 -- updates are conform spec. See
 --
--- <https://github.com/input-output-hk/cardano-ledger-specs/issues/1046>
+-- <https://github.com/input-output-hk/cardano-ledger/issues/1046>
 -- <https://github.com/input-output-hk/ouroboros-network/issues/1291>
 applyChainTick ::
   Gen.Config ->

diff --git a/eras/byron/ledger/impl/src/Cardano/Chain/ProtocolConstants.hs b/eras/byron/ledger/impl/src/Cardano/Chain/ProtocolConstants.hs
@@ -30,7 +30,7 @@ kSlotSecurityParam = SlotCount . (*) 2 . unBlockCount
 --   _certain to happen_ and it actually happening.
 --
 --   For full details, you can see
---   https://github.com/input-output-hk/cardano-ledger-specs/issues/1288
+--   https://github.com/input-output-hk/cardano-ledger/issues/1288
 kUpdateStabilityParam :: BlockCount -> SlotCount
 kUpdateStabilityParam = SlotCount . (*) 4 . unBlockCount
 

diff --git a/eras/byron/ledger/impl/src/Cardano/Chain/Update/Validation/Interface.hs b/eras/byron/ledger/impl/src/Cardano/Chain/Update/Validation/Interface.hs
@@ -332,7 +332,7 @@ registerVotes env st votes = do
     -- as the first argument of @M.union@, since the values in this first
     -- argument overwrite the values in the second.
       { appVersions = M.union appVersions' appVersions,
-        -- TODO: consider using the `Relation` instances from `cardano-ledger-specs` (see `Ledger.Core`)
+        -- TODO: consider using the `Relation` instances from `cardano-ledger` (see `Ledger.Core`)
         registeredSoftwareUpdateProposals =
           M.withoutKeys
             registeredSoftwareUpdateProposals

diff --git a/eras/byron/ledger/impl/src/Cardano/Chain/Update/Validation/Interface/ProtocolVersionBump.hs b/eras/byron/ledger/impl/src/Cardano/Chain/Update/Validation/Interface/ProtocolVersionBump.hs
@@ -36,7 +36,7 @@ data State = State
 -- the start of the new epoch, where @k@ is the chain security parameter.
 --
 -- For a full history of why this is required, see
--- https://github.com/input-output-hk/cardano-ledger-specs/issues/1288
+-- https://github.com/input-output-hk/cardano-ledger/issues/1288
 --
 -- This corresponds to the @PVBUMP@ rules in the Byron ledger specification.
 tryBumpVersion ::

diff --git a/eras/byron/ledger/impl/test/Test/Cardano/Chain/Block/Model.hs b/eras/byron/ledger/impl/test/Test/Cardano/Chain/Block/Model.hs
@@ -402,7 +402,7 @@ ts_prop_invalidUpdateRegistrationsAreRejected =
 -- | Extract the update interface environment from a given block and chain
 -- environment and state.
 --
--- TODO: this should be in `cardano-ledger-specs`.
+-- TODO: this should be in `cardano-ledger`.
 mkUpiEnv ::
   Abstract.Block ->
   Environment CHAIN ->
@@ -424,7 +424,7 @@ mkUpiEnv block env st = (blockSlot, _dIStateDelegationMap delegSt, k, ngk)
 
 -- | Extract the update state from the given chain state.
 --
--- TODO: put this in `cardano-ledger-specs`.
+-- TODO: put this in `cardano-ledger`.
 mkUpiSt ::
   State CHAIN ->
   UPIState