From d3e82037342ca664c0a1cef467862a27f84f33fc Mon Sep 17 00:00:00 2001 From: Alexey Kuleshevich Date: Fri, 17 Sep 2021 23:47:40 +0300 Subject: [PATCH] Rename `libraries` -> `libs` --- cabal.project | 16 ++++++++-------- .../cardano-ledger-core/CHANGELOG.md | 0 .../cardano-ledger-core.cabal | 0 .../src/Cardano/Ledger/Address.hs | 0 .../src/Cardano/Ledger/AuxiliaryData.hs | 0 .../src/Cardano/Ledger/BaseTypes.hs | 0 .../src/Cardano/Ledger/Coin.hs | 0 .../src/Cardano/Ledger/Compactible.hs | 0 .../src/Cardano/Ledger/Core.hs | 0 .../src/Cardano/Ledger/Credential.hs | 0 .../src/Cardano/Ledger/Crypto.hs | 0 .../src/Cardano/Ledger/Era.hs | 0 .../src/Cardano/Ledger/Hashes.hs | 0 .../src/Cardano/Ledger/Keys.hs | 0 .../src/Cardano/Ledger/Rules/ValidationMode.hs | 0 .../src/Cardano/Ledger/SafeHash.hs | 0 .../src/Cardano/Ledger/Serialization.hs | 0 .../src/Cardano/Ledger/Slot.hs | 0 .../src/Cardano/Ledger/Val.hs | 0 .../cardano-ledger-example-shelley/Setup.hs | 0 .../cardano-ledger-example-shelley.cabal | 0 .../src/Cardano/Ledger/Example.hs | 0 .../src/Cardano/Ledger/Example/Translation.hs | 0 .../test/Test/Cardano/Ledger/Example.hs | 0 .../test/Tests.hs | 0 .../cardano-ledger-test/CHANGELOG.md | 0 .../cardano-ledger-test/Setup.hs | 0 .../bench/Bench/Cardano/Ledger/ApplyTx.hs | 0 .../bench/Bench/Cardano/Ledger/EpochBoundary.hs | 0 .../Cardano/Ledger/Serialisation/Generators.hs | 0 .../cardano-ledger-test/bench/Main.hs | 0 .../bench/resources/0_ledgerstate.cbor | Bin .../bench/resources/0_tx.cbor | Bin .../bench/resources/1_ledgerstate.cbor | Bin .../bench/resources/1_tx.cbor | Bin .../bench/resources/DESCRIPTION.md | 0 .../cardano-ledger-test/benchProperty/Main.hs | 0 .../cardano-ledger-test.cabal | 0 .../src/Test/Cardano/Ledger/Alonzo/Tools.hs | 0 .../src/Test/Cardano/Ledger/BaseTypes.hs | 0 .../Ledger/Examples/TwoPhaseValidation.hs | 0 .../src/Test/Cardano/Ledger/Generic/Indexed.hs | 0 .../src/Test/Cardano/Ledger/Generic/Proof.hs | 0 .../src/Test/Cardano/Ledger/Generic/Updaters.hs | 0 .../src/Test/Cardano/Ledger/Properties.hs | 0 .../src/Test/Cardano/Ledger/TestableEra.hs | 0 .../cardano-ledger-test/test/Tests.hs | 0 .../cardano-protocol-tpraos/CHANGELOG.md | 0 .../cardano-protocol-tpraos/LICENSE | 0 .../cardano-protocol-tpraos/Setup.hs | 0 .../cardano-protocol-tpraos.cabal | 0 .../src/Cardano/Protocol/TPraos.hs | 0 .../src/Cardano/Protocol/TPraos/BHeader.hs | 0 .../src/Cardano/Protocol/TPraos/OCert.hs | 0 .../src/Cardano/Protocol/TPraos/Rules/OCert.hs | 0 .../Cardano/Protocol/TPraos/Rules/Overlay.hs | 0 .../src/Cardano/Protocol/TPraos/Rules/Prtcl.hs | 0 .../src/Cardano/Protocol/TPraos/Rules/Updn.hs | 0 .../plutus-preprocessor/CHANGELOG.md | 0 .../plutus-preprocessor.cabal | 0 .../plutus-preprocessor/src/Debug.hs | 0 .../plutus-preprocessor/src/Main.hs | 0 .../plutus-preprocessor/src/PlutusScripts.hs | 0 .../shelley-spec-non-integral/ChangeLog.md | 0 .../shelley-spec-non-integral/README.md | 0 .../shelley-spec-non-integral/Setup.hs | 0 .../shelley-spec-non-integral/app/Main.hs | 0 .../reference/Makefile | 0 .../reference/golden_tests.txt | 0 .../reference/golden_tests_result.txt | 0 .../reference/non_integral.c | 0 .../reference/non_integral.h | 0 .../reference/non_integral.hpp | 0 .../reference/non_integral_test.cpp | 0 .../reference/randomize.cpp | 0 .../shelley-spec-non-integral.cabal | 0 .../src/Shelley/Spec/NonIntegral.hs | 0 .../shelley-spec-non-integral/test/Tests.hs | 0 .../test/Tests/Shelley/Spec/NonIntegral.hs | 0 {libraries => libs}/small-steps-test/.ghcid | 0 {libraries => libs}/small-steps-test/Setup.hs | 0 .../small-steps-test/small-steps-test.cabal | 0 .../src/Control/State/Transition/Generator.hs | 0 .../Control/State/Transition/Invalid/Trace.hs | 0 .../src/Control/State/Transition/Trace.hs | 0 .../Transition/Trace/Generator/QuickCheck.hs | 0 .../src/Hedgehog/Extra/Manual.hs | 0 .../State/Transition/Examples/CommitReveal.hs | 0 .../State/Transition/Examples/GlobalSum.hs | 0 .../Control/State/Transition/Examples/Sum.hs | 0 .../small-steps-test/test/examples/Main.hs | 0 {libraries => libs}/small-steps/.ghcid | 0 {libraries => libs}/small-steps/CHANGELOG.md | 0 {libraries => libs}/small-steps/Setup.hs | 0 {libraries => libs}/small-steps/default.nix | 0 .../small-steps/small-steps.cabal | 0 .../small-steps/src/Control/Iterate/Collect.hs | 0 .../src/Control/Iterate/SetAlgebra.hs | 0 .../small-steps/src/Control/Provenance.hs | 0 .../small-steps/src/Control/SetAlgebra.hs | 0 .../small-steps/src/Control/State/Transition.hs | 0 .../src/Control/State/Transition/Extended.hs | 0 .../src/Control/State/Transition/Simple.hs | 0 .../small-steps/src/Data/AbstractSize.hs | 0 .../small-steps/src/Data/CanonicalMaps.hs | 0 .../small-steps/src/Data/Coders.hs | 0 .../small-steps/src/Data/MemoBytes.hs | 0 .../small-steps/src/Data/Pulse.hs | 0 .../small-steps/src/Data/Relation.hs | 0 109 files changed, 8 insertions(+), 8 deletions(-) rename {libraries => libs}/cardano-ledger-core/CHANGELOG.md (100%) rename {libraries => libs}/cardano-ledger-core/cardano-ledger-core.cabal (100%) rename {libraries => libs}/cardano-ledger-core/src/Cardano/Ledger/Address.hs (100%) rename {libraries => libs}/cardano-ledger-core/src/Cardano/Ledger/AuxiliaryData.hs (100%) rename {libraries => libs}/cardano-ledger-core/src/Cardano/Ledger/BaseTypes.hs (100%) rename {libraries => libs}/cardano-ledger-core/src/Cardano/Ledger/Coin.hs (100%) rename {libraries => libs}/cardano-ledger-core/src/Cardano/Ledger/Compactible.hs (100%) rename {libraries => libs}/cardano-ledger-core/src/Cardano/Ledger/Core.hs (100%) rename {libraries => libs}/cardano-ledger-core/src/Cardano/Ledger/Credential.hs (100%) rename {libraries => libs}/cardano-ledger-core/src/Cardano/Ledger/Crypto.hs (100%) rename {libraries => libs}/cardano-ledger-core/src/Cardano/Ledger/Era.hs (100%) rename {libraries => libs}/cardano-ledger-core/src/Cardano/Ledger/Hashes.hs (100%) rename {libraries => libs}/cardano-ledger-core/src/Cardano/Ledger/Keys.hs (100%) rename {libraries => libs}/cardano-ledger-core/src/Cardano/Ledger/Rules/ValidationMode.hs (100%) rename {libraries => libs}/cardano-ledger-core/src/Cardano/Ledger/SafeHash.hs (100%) rename {libraries => libs}/cardano-ledger-core/src/Cardano/Ledger/Serialization.hs (100%) rename {libraries => libs}/cardano-ledger-core/src/Cardano/Ledger/Slot.hs (100%) rename {libraries => libs}/cardano-ledger-core/src/Cardano/Ledger/Val.hs (100%) rename {libraries => libs}/cardano-ledger-example-shelley/Setup.hs (100%) rename {libraries => libs}/cardano-ledger-example-shelley/cardano-ledger-example-shelley.cabal (100%) rename {libraries => libs}/cardano-ledger-example-shelley/src/Cardano/Ledger/Example.hs (100%) rename {libraries => libs}/cardano-ledger-example-shelley/src/Cardano/Ledger/Example/Translation.hs (100%) rename {libraries => libs}/cardano-ledger-example-shelley/test/Test/Cardano/Ledger/Example.hs (100%) rename {libraries => libs}/cardano-ledger-example-shelley/test/Tests.hs (100%) rename {libraries => libs}/cardano-ledger-test/CHANGELOG.md (100%) rename {libraries => libs}/cardano-ledger-test/Setup.hs (100%) rename {libraries => libs}/cardano-ledger-test/bench/Bench/Cardano/Ledger/ApplyTx.hs (100%) rename {libraries => libs}/cardano-ledger-test/bench/Bench/Cardano/Ledger/EpochBoundary.hs (100%) rename {libraries => libs}/cardano-ledger-test/bench/Bench/Cardano/Ledger/Serialisation/Generators.hs (100%) rename {libraries => libs}/cardano-ledger-test/bench/Main.hs (100%) rename {libraries => libs}/cardano-ledger-test/bench/resources/0_ledgerstate.cbor (100%) rename {libraries => libs}/cardano-ledger-test/bench/resources/0_tx.cbor (100%) rename {libraries => libs}/cardano-ledger-test/bench/resources/1_ledgerstate.cbor (100%) rename {libraries => libs}/cardano-ledger-test/bench/resources/1_tx.cbor (100%) rename {libraries => libs}/cardano-ledger-test/bench/resources/DESCRIPTION.md (100%) rename {libraries => libs}/cardano-ledger-test/benchProperty/Main.hs (100%) rename {libraries => libs}/cardano-ledger-test/cardano-ledger-test.cabal (100%) rename {libraries => libs}/cardano-ledger-test/src/Test/Cardano/Ledger/Alonzo/Tools.hs (100%) rename {libraries => libs}/cardano-ledger-test/src/Test/Cardano/Ledger/BaseTypes.hs (100%) rename {libraries => libs}/cardano-ledger-test/src/Test/Cardano/Ledger/Examples/TwoPhaseValidation.hs (100%) rename {libraries => libs}/cardano-ledger-test/src/Test/Cardano/Ledger/Generic/Indexed.hs (100%) rename {libraries => libs}/cardano-ledger-test/src/Test/Cardano/Ledger/Generic/Proof.hs (100%) rename {libraries => libs}/cardano-ledger-test/src/Test/Cardano/Ledger/Generic/Updaters.hs (100%) rename {libraries => libs}/cardano-ledger-test/src/Test/Cardano/Ledger/Properties.hs (100%) rename {libraries => libs}/cardano-ledger-test/src/Test/Cardano/Ledger/TestableEra.hs (100%) rename {libraries => libs}/cardano-ledger-test/test/Tests.hs (100%) rename {libraries => libs}/cardano-protocol-tpraos/CHANGELOG.md (100%) rename {libraries => libs}/cardano-protocol-tpraos/LICENSE (100%) rename {libraries => libs}/cardano-protocol-tpraos/Setup.hs (100%) rename {libraries => libs}/cardano-protocol-tpraos/cardano-protocol-tpraos.cabal (100%) rename {libraries => libs}/cardano-protocol-tpraos/src/Cardano/Protocol/TPraos.hs (100%) rename {libraries => libs}/cardano-protocol-tpraos/src/Cardano/Protocol/TPraos/BHeader.hs (100%) rename {libraries => libs}/cardano-protocol-tpraos/src/Cardano/Protocol/TPraos/OCert.hs (100%) rename {libraries => libs}/cardano-protocol-tpraos/src/Cardano/Protocol/TPraos/Rules/OCert.hs (100%) rename {libraries => libs}/cardano-protocol-tpraos/src/Cardano/Protocol/TPraos/Rules/Overlay.hs (100%) rename {libraries => libs}/cardano-protocol-tpraos/src/Cardano/Protocol/TPraos/Rules/Prtcl.hs (100%) rename {libraries => libs}/cardano-protocol-tpraos/src/Cardano/Protocol/TPraos/Rules/Updn.hs (100%) rename {libraries => libs}/plutus-preprocessor/CHANGELOG.md (100%) rename {libraries => libs}/plutus-preprocessor/plutus-preprocessor.cabal (100%) rename {libraries => libs}/plutus-preprocessor/src/Debug.hs (100%) rename {libraries => libs}/plutus-preprocessor/src/Main.hs (100%) rename {libraries => libs}/plutus-preprocessor/src/PlutusScripts.hs (100%) rename {libraries => libs}/shelley-spec-non-integral/ChangeLog.md (100%) rename {libraries => libs}/shelley-spec-non-integral/README.md (100%) rename {libraries => libs}/shelley-spec-non-integral/Setup.hs (100%) rename {libraries => libs}/shelley-spec-non-integral/app/Main.hs (100%) rename {libraries => libs}/shelley-spec-non-integral/reference/Makefile (100%) rename {libraries => libs}/shelley-spec-non-integral/reference/golden_tests.txt (100%) rename {libraries => libs}/shelley-spec-non-integral/reference/golden_tests_result.txt (100%) rename {libraries => libs}/shelley-spec-non-integral/reference/non_integral.c (100%) rename {libraries => libs}/shelley-spec-non-integral/reference/non_integral.h (100%) rename {libraries => libs}/shelley-spec-non-integral/reference/non_integral.hpp (100%) rename {libraries => libs}/shelley-spec-non-integral/reference/non_integral_test.cpp (100%) rename {libraries => libs}/shelley-spec-non-integral/reference/randomize.cpp (100%) rename {libraries => libs}/shelley-spec-non-integral/shelley-spec-non-integral.cabal (100%) rename {libraries => libs}/shelley-spec-non-integral/src/Shelley/Spec/NonIntegral.hs (100%) rename {libraries => libs}/shelley-spec-non-integral/test/Tests.hs (100%) rename {libraries => libs}/shelley-spec-non-integral/test/Tests/Shelley/Spec/NonIntegral.hs (100%) rename {libraries => libs}/small-steps-test/.ghcid (100%) rename {libraries => libs}/small-steps-test/Setup.hs (100%) rename {libraries => libs}/small-steps-test/small-steps-test.cabal (100%) rename {libraries => libs}/small-steps-test/src/Control/State/Transition/Generator.hs (100%) rename {libraries => libs}/small-steps-test/src/Control/State/Transition/Invalid/Trace.hs (100%) rename {libraries => libs}/small-steps-test/src/Control/State/Transition/Trace.hs (100%) rename {libraries => libs}/small-steps-test/src/Control/State/Transition/Trace/Generator/QuickCheck.hs (100%) rename {libraries => libs}/small-steps-test/src/Hedgehog/Extra/Manual.hs (100%) rename {libraries => libs}/small-steps-test/test/Control/State/Transition/Examples/CommitReveal.hs (100%) rename {libraries => libs}/small-steps-test/test/Control/State/Transition/Examples/GlobalSum.hs (100%) rename {libraries => libs}/small-steps-test/test/Control/State/Transition/Examples/Sum.hs (100%) rename {libraries => libs}/small-steps-test/test/examples/Main.hs (100%) rename {libraries => libs}/small-steps/.ghcid (100%) rename {libraries => libs}/small-steps/CHANGELOG.md (100%) rename {libraries => libs}/small-steps/Setup.hs (100%) rename {libraries => libs}/small-steps/default.nix (100%) rename {libraries => libs}/small-steps/small-steps.cabal (100%) rename {libraries => libs}/small-steps/src/Control/Iterate/Collect.hs (100%) rename {libraries => libs}/small-steps/src/Control/Iterate/SetAlgebra.hs (100%) rename {libraries => libs}/small-steps/src/Control/Provenance.hs (100%) rename {libraries => libs}/small-steps/src/Control/SetAlgebra.hs (100%) rename {libraries => libs}/small-steps/src/Control/State/Transition.hs (100%) rename {libraries => libs}/small-steps/src/Control/State/Transition/Extended.hs (100%) rename {libraries => libs}/small-steps/src/Control/State/Transition/Simple.hs (100%) rename {libraries => libs}/small-steps/src/Data/AbstractSize.hs (100%) rename {libraries => libs}/small-steps/src/Data/CanonicalMaps.hs (100%) rename {libraries => libs}/small-steps/src/Data/Coders.hs (100%) rename {libraries => libs}/small-steps/src/Data/MemoBytes.hs (100%) rename {libraries => libs}/small-steps/src/Data/Pulse.hs (100%) rename {libraries => libs}/small-steps/src/Data/Relation.hs (100%) diff --git a/cabal.project b/cabal.project index b5f79275606..abc378be4a7 100644 --- a/cabal.project +++ b/cabal.project @@ -13,14 +13,14 @@ packages: eras/shelley/test-suite eras/shelley-ma/impl eras/shelley-ma/test-suite - libraries/cardano-ledger-core - libraries/cardano-ledger-example-shelley - libraries/cardano-ledger-test - libraries/cardano-protocol-tpraos - libraries/plutus-preprocessor - libraries/shelley-spec-non-integral - libraries/small-steps - libraries/small-steps-test + libs/cardano-ledger-core + libs/cardano-ledger-example-shelley + libs/cardano-ledger-test + libs/cardano-protocol-tpraos + libs/plutus-preprocessor + libs/shelley-spec-non-integral + libs/small-steps + libs/small-steps-test -- Always write GHC env files, because they are needed by the doctests. write-ghc-environment-files: always diff --git a/libraries/cardano-ledger-core/CHANGELOG.md b/libs/cardano-ledger-core/CHANGELOG.md similarity index 100% rename from libraries/cardano-ledger-core/CHANGELOG.md rename to libs/cardano-ledger-core/CHANGELOG.md diff --git a/libraries/cardano-ledger-core/cardano-ledger-core.cabal b/libs/cardano-ledger-core/cardano-ledger-core.cabal similarity index 100% rename from libraries/cardano-ledger-core/cardano-ledger-core.cabal rename to libs/cardano-ledger-core/cardano-ledger-core.cabal diff --git a/libraries/cardano-ledger-core/src/Cardano/Ledger/Address.hs b/libs/cardano-ledger-core/src/Cardano/Ledger/Address.hs similarity index 100% rename from libraries/cardano-ledger-core/src/Cardano/Ledger/Address.hs rename to libs/cardano-ledger-core/src/Cardano/Ledger/Address.hs diff --git a/libraries/cardano-ledger-core/src/Cardano/Ledger/AuxiliaryData.hs b/libs/cardano-ledger-core/src/Cardano/Ledger/AuxiliaryData.hs similarity index 100% rename from libraries/cardano-ledger-core/src/Cardano/Ledger/AuxiliaryData.hs rename to libs/cardano-ledger-core/src/Cardano/Ledger/AuxiliaryData.hs diff --git a/libraries/cardano-ledger-core/src/Cardano/Ledger/BaseTypes.hs b/libs/cardano-ledger-core/src/Cardano/Ledger/BaseTypes.hs similarity index 100% rename from libraries/cardano-ledger-core/src/Cardano/Ledger/BaseTypes.hs rename to libs/cardano-ledger-core/src/Cardano/Ledger/BaseTypes.hs diff --git a/libraries/cardano-ledger-core/src/Cardano/Ledger/Coin.hs b/libs/cardano-ledger-core/src/Cardano/Ledger/Coin.hs similarity index 100% rename from libraries/cardano-ledger-core/src/Cardano/Ledger/Coin.hs rename to libs/cardano-ledger-core/src/Cardano/Ledger/Coin.hs diff --git a/libraries/cardano-ledger-core/src/Cardano/Ledger/Compactible.hs b/libs/cardano-ledger-core/src/Cardano/Ledger/Compactible.hs similarity index 100% rename from libraries/cardano-ledger-core/src/Cardano/Ledger/Compactible.hs rename to libs/cardano-ledger-core/src/Cardano/Ledger/Compactible.hs diff --git a/libraries/cardano-ledger-core/src/Cardano/Ledger/Core.hs b/libs/cardano-ledger-core/src/Cardano/Ledger/Core.hs similarity index 100% rename from libraries/cardano-ledger-core/src/Cardano/Ledger/Core.hs rename to libs/cardano-ledger-core/src/Cardano/Ledger/Core.hs diff --git a/libraries/cardano-ledger-core/src/Cardano/Ledger/Credential.hs b/libs/cardano-ledger-core/src/Cardano/Ledger/Credential.hs similarity index 100% rename from libraries/cardano-ledger-core/src/Cardano/Ledger/Credential.hs rename to libs/cardano-ledger-core/src/Cardano/Ledger/Credential.hs diff --git a/libraries/cardano-ledger-core/src/Cardano/Ledger/Crypto.hs b/libs/cardano-ledger-core/src/Cardano/Ledger/Crypto.hs similarity index 100% rename from libraries/cardano-ledger-core/src/Cardano/Ledger/Crypto.hs rename to libs/cardano-ledger-core/src/Cardano/Ledger/Crypto.hs diff --git a/libraries/cardano-ledger-core/src/Cardano/Ledger/Era.hs b/libs/cardano-ledger-core/src/Cardano/Ledger/Era.hs similarity index 100% rename from libraries/cardano-ledger-core/src/Cardano/Ledger/Era.hs rename to libs/cardano-ledger-core/src/Cardano/Ledger/Era.hs diff --git a/libraries/cardano-ledger-core/src/Cardano/Ledger/Hashes.hs b/libs/cardano-ledger-core/src/Cardano/Ledger/Hashes.hs similarity index 100% rename from libraries/cardano-ledger-core/src/Cardano/Ledger/Hashes.hs rename to libs/cardano-ledger-core/src/Cardano/Ledger/Hashes.hs diff --git a/libraries/cardano-ledger-core/src/Cardano/Ledger/Keys.hs b/libs/cardano-ledger-core/src/Cardano/Ledger/Keys.hs similarity index 100% rename from libraries/cardano-ledger-core/src/Cardano/Ledger/Keys.hs rename to libs/cardano-ledger-core/src/Cardano/Ledger/Keys.hs diff --git a/libraries/cardano-ledger-core/src/Cardano/Ledger/Rules/ValidationMode.hs b/libs/cardano-ledger-core/src/Cardano/Ledger/Rules/ValidationMode.hs similarity index 100% rename from libraries/cardano-ledger-core/src/Cardano/Ledger/Rules/ValidationMode.hs rename to libs/cardano-ledger-core/src/Cardano/Ledger/Rules/ValidationMode.hs diff --git a/libraries/cardano-ledger-core/src/Cardano/Ledger/SafeHash.hs b/libs/cardano-ledger-core/src/Cardano/Ledger/SafeHash.hs similarity index 100% rename from libraries/cardano-ledger-core/src/Cardano/Ledger/SafeHash.hs rename to libs/cardano-ledger-core/src/Cardano/Ledger/SafeHash.hs diff --git a/libraries/cardano-ledger-core/src/Cardano/Ledger/Serialization.hs b/libs/cardano-ledger-core/src/Cardano/Ledger/Serialization.hs similarity index 100% rename from libraries/cardano-ledger-core/src/Cardano/Ledger/Serialization.hs rename to libs/cardano-ledger-core/src/Cardano/Ledger/Serialization.hs diff --git a/libraries/cardano-ledger-core/src/Cardano/Ledger/Slot.hs b/libs/cardano-ledger-core/src/Cardano/Ledger/Slot.hs similarity index 100% rename from libraries/cardano-ledger-core/src/Cardano/Ledger/Slot.hs rename to libs/cardano-ledger-core/src/Cardano/Ledger/Slot.hs diff --git a/libraries/cardano-ledger-core/src/Cardano/Ledger/Val.hs b/libs/cardano-ledger-core/src/Cardano/Ledger/Val.hs similarity index 100% rename from libraries/cardano-ledger-core/src/Cardano/Ledger/Val.hs rename to libs/cardano-ledger-core/src/Cardano/Ledger/Val.hs diff --git a/libraries/cardano-ledger-example-shelley/Setup.hs b/libs/cardano-ledger-example-shelley/Setup.hs similarity index 100% rename from libraries/cardano-ledger-example-shelley/Setup.hs rename to libs/cardano-ledger-example-shelley/Setup.hs diff --git a/libraries/cardano-ledger-example-shelley/cardano-ledger-example-shelley.cabal b/libs/cardano-ledger-example-shelley/cardano-ledger-example-shelley.cabal similarity index 100% rename from libraries/cardano-ledger-example-shelley/cardano-ledger-example-shelley.cabal rename to libs/cardano-ledger-example-shelley/cardano-ledger-example-shelley.cabal diff --git a/libraries/cardano-ledger-example-shelley/src/Cardano/Ledger/Example.hs b/libs/cardano-ledger-example-shelley/src/Cardano/Ledger/Example.hs similarity index 100% rename from libraries/cardano-ledger-example-shelley/src/Cardano/Ledger/Example.hs rename to libs/cardano-ledger-example-shelley/src/Cardano/Ledger/Example.hs diff --git a/libraries/cardano-ledger-example-shelley/src/Cardano/Ledger/Example/Translation.hs b/libs/cardano-ledger-example-shelley/src/Cardano/Ledger/Example/Translation.hs similarity index 100% rename from libraries/cardano-ledger-example-shelley/src/Cardano/Ledger/Example/Translation.hs rename to libs/cardano-ledger-example-shelley/src/Cardano/Ledger/Example/Translation.hs diff --git a/libraries/cardano-ledger-example-shelley/test/Test/Cardano/Ledger/Example.hs b/libs/cardano-ledger-example-shelley/test/Test/Cardano/Ledger/Example.hs similarity index 100% rename from libraries/cardano-ledger-example-shelley/test/Test/Cardano/Ledger/Example.hs rename to libs/cardano-ledger-example-shelley/test/Test/Cardano/Ledger/Example.hs diff --git a/libraries/cardano-ledger-example-shelley/test/Tests.hs b/libs/cardano-ledger-example-shelley/test/Tests.hs similarity index 100% rename from libraries/cardano-ledger-example-shelley/test/Tests.hs rename to libs/cardano-ledger-example-shelley/test/Tests.hs diff --git a/libraries/cardano-ledger-test/CHANGELOG.md b/libs/cardano-ledger-test/CHANGELOG.md similarity index 100% rename from libraries/cardano-ledger-test/CHANGELOG.md rename to libs/cardano-ledger-test/CHANGELOG.md diff --git a/libraries/cardano-ledger-test/Setup.hs b/libs/cardano-ledger-test/Setup.hs similarity index 100% rename from libraries/cardano-ledger-test/Setup.hs rename to libs/cardano-ledger-test/Setup.hs diff --git a/libraries/cardano-ledger-test/bench/Bench/Cardano/Ledger/ApplyTx.hs b/libs/cardano-ledger-test/bench/Bench/Cardano/Ledger/ApplyTx.hs similarity index 100% rename from libraries/cardano-ledger-test/bench/Bench/Cardano/Ledger/ApplyTx.hs rename to libs/cardano-ledger-test/bench/Bench/Cardano/Ledger/ApplyTx.hs diff --git a/libraries/cardano-ledger-test/bench/Bench/Cardano/Ledger/EpochBoundary.hs b/libs/cardano-ledger-test/bench/Bench/Cardano/Ledger/EpochBoundary.hs similarity index 100% rename from libraries/cardano-ledger-test/bench/Bench/Cardano/Ledger/EpochBoundary.hs rename to libs/cardano-ledger-test/bench/Bench/Cardano/Ledger/EpochBoundary.hs diff --git a/libraries/cardano-ledger-test/bench/Bench/Cardano/Ledger/Serialisation/Generators.hs b/libs/cardano-ledger-test/bench/Bench/Cardano/Ledger/Serialisation/Generators.hs similarity index 100% rename from libraries/cardano-ledger-test/bench/Bench/Cardano/Ledger/Serialisation/Generators.hs rename to libs/cardano-ledger-test/bench/Bench/Cardano/Ledger/Serialisation/Generators.hs diff --git a/libraries/cardano-ledger-test/bench/Main.hs b/libs/cardano-ledger-test/bench/Main.hs similarity index 100% rename from libraries/cardano-ledger-test/bench/Main.hs rename to libs/cardano-ledger-test/bench/Main.hs diff --git a/libraries/cardano-ledger-test/bench/resources/0_ledgerstate.cbor b/libs/cardano-ledger-test/bench/resources/0_ledgerstate.cbor similarity index 100% rename from libraries/cardano-ledger-test/bench/resources/0_ledgerstate.cbor rename to libs/cardano-ledger-test/bench/resources/0_ledgerstate.cbor diff --git a/libraries/cardano-ledger-test/bench/resources/0_tx.cbor b/libs/cardano-ledger-test/bench/resources/0_tx.cbor similarity index 100% rename from libraries/cardano-ledger-test/bench/resources/0_tx.cbor rename to libs/cardano-ledger-test/bench/resources/0_tx.cbor diff --git a/libraries/cardano-ledger-test/bench/resources/1_ledgerstate.cbor b/libs/cardano-ledger-test/bench/resources/1_ledgerstate.cbor similarity index 100% rename from libraries/cardano-ledger-test/bench/resources/1_ledgerstate.cbor rename to libs/cardano-ledger-test/bench/resources/1_ledgerstate.cbor diff --git a/libraries/cardano-ledger-test/bench/resources/1_tx.cbor b/libs/cardano-ledger-test/bench/resources/1_tx.cbor similarity index 100% rename from libraries/cardano-ledger-test/bench/resources/1_tx.cbor rename to libs/cardano-ledger-test/bench/resources/1_tx.cbor diff --git a/libraries/cardano-ledger-test/bench/resources/DESCRIPTION.md b/libs/cardano-ledger-test/bench/resources/DESCRIPTION.md similarity index 100% rename from libraries/cardano-ledger-test/bench/resources/DESCRIPTION.md rename to libs/cardano-ledger-test/bench/resources/DESCRIPTION.md diff --git a/libraries/cardano-ledger-test/benchProperty/Main.hs b/libs/cardano-ledger-test/benchProperty/Main.hs similarity index 100% rename from libraries/cardano-ledger-test/benchProperty/Main.hs rename to libs/cardano-ledger-test/benchProperty/Main.hs diff --git a/libraries/cardano-ledger-test/cardano-ledger-test.cabal b/libs/cardano-ledger-test/cardano-ledger-test.cabal similarity index 100% rename from libraries/cardano-ledger-test/cardano-ledger-test.cabal rename to libs/cardano-ledger-test/cardano-ledger-test.cabal diff --git a/libraries/cardano-ledger-test/src/Test/Cardano/Ledger/Alonzo/Tools.hs b/libs/cardano-ledger-test/src/Test/Cardano/Ledger/Alonzo/Tools.hs similarity index 100% rename from libraries/cardano-ledger-test/src/Test/Cardano/Ledger/Alonzo/Tools.hs rename to libs/cardano-ledger-test/src/Test/Cardano/Ledger/Alonzo/Tools.hs diff --git a/libraries/cardano-ledger-test/src/Test/Cardano/Ledger/BaseTypes.hs b/libs/cardano-ledger-test/src/Test/Cardano/Ledger/BaseTypes.hs similarity index 100% rename from libraries/cardano-ledger-test/src/Test/Cardano/Ledger/BaseTypes.hs rename to libs/cardano-ledger-test/src/Test/Cardano/Ledger/BaseTypes.hs diff --git a/libraries/cardano-ledger-test/src/Test/Cardano/Ledger/Examples/TwoPhaseValidation.hs b/libs/cardano-ledger-test/src/Test/Cardano/Ledger/Examples/TwoPhaseValidation.hs similarity index 100% rename from libraries/cardano-ledger-test/src/Test/Cardano/Ledger/Examples/TwoPhaseValidation.hs rename to libs/cardano-ledger-test/src/Test/Cardano/Ledger/Examples/TwoPhaseValidation.hs diff --git a/libraries/cardano-ledger-test/src/Test/Cardano/Ledger/Generic/Indexed.hs b/libs/cardano-ledger-test/src/Test/Cardano/Ledger/Generic/Indexed.hs similarity index 100% rename from libraries/cardano-ledger-test/src/Test/Cardano/Ledger/Generic/Indexed.hs rename to libs/cardano-ledger-test/src/Test/Cardano/Ledger/Generic/Indexed.hs diff --git a/libraries/cardano-ledger-test/src/Test/Cardano/Ledger/Generic/Proof.hs b/libs/cardano-ledger-test/src/Test/Cardano/Ledger/Generic/Proof.hs similarity index 100% rename from libraries/cardano-ledger-test/src/Test/Cardano/Ledger/Generic/Proof.hs rename to libs/cardano-ledger-test/src/Test/Cardano/Ledger/Generic/Proof.hs diff --git a/libraries/cardano-ledger-test/src/Test/Cardano/Ledger/Generic/Updaters.hs b/libs/cardano-ledger-test/src/Test/Cardano/Ledger/Generic/Updaters.hs similarity index 100% rename from libraries/cardano-ledger-test/src/Test/Cardano/Ledger/Generic/Updaters.hs rename to libs/cardano-ledger-test/src/Test/Cardano/Ledger/Generic/Updaters.hs diff --git a/libraries/cardano-ledger-test/src/Test/Cardano/Ledger/Properties.hs b/libs/cardano-ledger-test/src/Test/Cardano/Ledger/Properties.hs similarity index 100% rename from libraries/cardano-ledger-test/src/Test/Cardano/Ledger/Properties.hs rename to libs/cardano-ledger-test/src/Test/Cardano/Ledger/Properties.hs diff --git a/libraries/cardano-ledger-test/src/Test/Cardano/Ledger/TestableEra.hs b/libs/cardano-ledger-test/src/Test/Cardano/Ledger/TestableEra.hs similarity index 100% rename from libraries/cardano-ledger-test/src/Test/Cardano/Ledger/TestableEra.hs rename to libs/cardano-ledger-test/src/Test/Cardano/Ledger/TestableEra.hs diff --git a/libraries/cardano-ledger-test/test/Tests.hs b/libs/cardano-ledger-test/test/Tests.hs similarity index 100% rename from libraries/cardano-ledger-test/test/Tests.hs rename to libs/cardano-ledger-test/test/Tests.hs diff --git a/libraries/cardano-protocol-tpraos/CHANGELOG.md b/libs/cardano-protocol-tpraos/CHANGELOG.md similarity index 100% rename from libraries/cardano-protocol-tpraos/CHANGELOG.md rename to libs/cardano-protocol-tpraos/CHANGELOG.md diff --git a/libraries/cardano-protocol-tpraos/LICENSE b/libs/cardano-protocol-tpraos/LICENSE similarity index 100% rename from libraries/cardano-protocol-tpraos/LICENSE rename to libs/cardano-protocol-tpraos/LICENSE diff --git a/libraries/cardano-protocol-tpraos/Setup.hs b/libs/cardano-protocol-tpraos/Setup.hs similarity index 100% rename from libraries/cardano-protocol-tpraos/Setup.hs rename to libs/cardano-protocol-tpraos/Setup.hs diff --git a/libraries/cardano-protocol-tpraos/cardano-protocol-tpraos.cabal b/libs/cardano-protocol-tpraos/cardano-protocol-tpraos.cabal similarity index 100% rename from libraries/cardano-protocol-tpraos/cardano-protocol-tpraos.cabal rename to libs/cardano-protocol-tpraos/cardano-protocol-tpraos.cabal diff --git a/libraries/cardano-protocol-tpraos/src/Cardano/Protocol/TPraos.hs b/libs/cardano-protocol-tpraos/src/Cardano/Protocol/TPraos.hs similarity index 100% rename from libraries/cardano-protocol-tpraos/src/Cardano/Protocol/TPraos.hs rename to libs/cardano-protocol-tpraos/src/Cardano/Protocol/TPraos.hs diff --git a/libraries/cardano-protocol-tpraos/src/Cardano/Protocol/TPraos/BHeader.hs b/libs/cardano-protocol-tpraos/src/Cardano/Protocol/TPraos/BHeader.hs similarity index 100% rename from libraries/cardano-protocol-tpraos/src/Cardano/Protocol/TPraos/BHeader.hs rename to libs/cardano-protocol-tpraos/src/Cardano/Protocol/TPraos/BHeader.hs diff --git a/libraries/cardano-protocol-tpraos/src/Cardano/Protocol/TPraos/OCert.hs b/libs/cardano-protocol-tpraos/src/Cardano/Protocol/TPraos/OCert.hs similarity index 100% rename from libraries/cardano-protocol-tpraos/src/Cardano/Protocol/TPraos/OCert.hs rename to libs/cardano-protocol-tpraos/src/Cardano/Protocol/TPraos/OCert.hs diff --git a/libraries/cardano-protocol-tpraos/src/Cardano/Protocol/TPraos/Rules/OCert.hs b/libs/cardano-protocol-tpraos/src/Cardano/Protocol/TPraos/Rules/OCert.hs similarity index 100% rename from libraries/cardano-protocol-tpraos/src/Cardano/Protocol/TPraos/Rules/OCert.hs rename to libs/cardano-protocol-tpraos/src/Cardano/Protocol/TPraos/Rules/OCert.hs diff --git a/libraries/cardano-protocol-tpraos/src/Cardano/Protocol/TPraos/Rules/Overlay.hs b/libs/cardano-protocol-tpraos/src/Cardano/Protocol/TPraos/Rules/Overlay.hs similarity index 100% rename from libraries/cardano-protocol-tpraos/src/Cardano/Protocol/TPraos/Rules/Overlay.hs rename to libs/cardano-protocol-tpraos/src/Cardano/Protocol/TPraos/Rules/Overlay.hs diff --git a/libraries/cardano-protocol-tpraos/src/Cardano/Protocol/TPraos/Rules/Prtcl.hs b/libs/cardano-protocol-tpraos/src/Cardano/Protocol/TPraos/Rules/Prtcl.hs similarity index 100% rename from libraries/cardano-protocol-tpraos/src/Cardano/Protocol/TPraos/Rules/Prtcl.hs rename to libs/cardano-protocol-tpraos/src/Cardano/Protocol/TPraos/Rules/Prtcl.hs diff --git a/libraries/cardano-protocol-tpraos/src/Cardano/Protocol/TPraos/Rules/Updn.hs b/libs/cardano-protocol-tpraos/src/Cardano/Protocol/TPraos/Rules/Updn.hs similarity index 100% rename from libraries/cardano-protocol-tpraos/src/Cardano/Protocol/TPraos/Rules/Updn.hs rename to libs/cardano-protocol-tpraos/src/Cardano/Protocol/TPraos/Rules/Updn.hs diff --git a/libraries/plutus-preprocessor/CHANGELOG.md b/libs/plutus-preprocessor/CHANGELOG.md similarity index 100% rename from libraries/plutus-preprocessor/CHANGELOG.md rename to libs/plutus-preprocessor/CHANGELOG.md diff --git a/libraries/plutus-preprocessor/plutus-preprocessor.cabal b/libs/plutus-preprocessor/plutus-preprocessor.cabal similarity index 100% rename from libraries/plutus-preprocessor/plutus-preprocessor.cabal rename to libs/plutus-preprocessor/plutus-preprocessor.cabal diff --git a/libraries/plutus-preprocessor/src/Debug.hs b/libs/plutus-preprocessor/src/Debug.hs similarity index 100% rename from libraries/plutus-preprocessor/src/Debug.hs rename to libs/plutus-preprocessor/src/Debug.hs diff --git a/libraries/plutus-preprocessor/src/Main.hs b/libs/plutus-preprocessor/src/Main.hs similarity index 100% rename from libraries/plutus-preprocessor/src/Main.hs rename to libs/plutus-preprocessor/src/Main.hs diff --git a/libraries/plutus-preprocessor/src/PlutusScripts.hs b/libs/plutus-preprocessor/src/PlutusScripts.hs similarity index 100% rename from libraries/plutus-preprocessor/src/PlutusScripts.hs rename to libs/plutus-preprocessor/src/PlutusScripts.hs diff --git a/libraries/shelley-spec-non-integral/ChangeLog.md b/libs/shelley-spec-non-integral/ChangeLog.md similarity index 100% rename from libraries/shelley-spec-non-integral/ChangeLog.md rename to libs/shelley-spec-non-integral/ChangeLog.md diff --git a/libraries/shelley-spec-non-integral/README.md b/libs/shelley-spec-non-integral/README.md similarity index 100% rename from libraries/shelley-spec-non-integral/README.md rename to libs/shelley-spec-non-integral/README.md diff --git a/libraries/shelley-spec-non-integral/Setup.hs b/libs/shelley-spec-non-integral/Setup.hs similarity index 100% rename from libraries/shelley-spec-non-integral/Setup.hs rename to libs/shelley-spec-non-integral/Setup.hs diff --git a/libraries/shelley-spec-non-integral/app/Main.hs b/libs/shelley-spec-non-integral/app/Main.hs similarity index 100% rename from libraries/shelley-spec-non-integral/app/Main.hs rename to libs/shelley-spec-non-integral/app/Main.hs diff --git a/libraries/shelley-spec-non-integral/reference/Makefile b/libs/shelley-spec-non-integral/reference/Makefile similarity index 100% rename from libraries/shelley-spec-non-integral/reference/Makefile rename to libs/shelley-spec-non-integral/reference/Makefile diff --git a/libraries/shelley-spec-non-integral/reference/golden_tests.txt b/libs/shelley-spec-non-integral/reference/golden_tests.txt similarity index 100% rename from libraries/shelley-spec-non-integral/reference/golden_tests.txt rename to libs/shelley-spec-non-integral/reference/golden_tests.txt diff --git a/libraries/shelley-spec-non-integral/reference/golden_tests_result.txt b/libs/shelley-spec-non-integral/reference/golden_tests_result.txt similarity index 100% rename from libraries/shelley-spec-non-integral/reference/golden_tests_result.txt rename to libs/shelley-spec-non-integral/reference/golden_tests_result.txt diff --git a/libraries/shelley-spec-non-integral/reference/non_integral.c b/libs/shelley-spec-non-integral/reference/non_integral.c similarity index 100% rename from libraries/shelley-spec-non-integral/reference/non_integral.c rename to libs/shelley-spec-non-integral/reference/non_integral.c diff --git a/libraries/shelley-spec-non-integral/reference/non_integral.h b/libs/shelley-spec-non-integral/reference/non_integral.h similarity index 100% rename from libraries/shelley-spec-non-integral/reference/non_integral.h rename to libs/shelley-spec-non-integral/reference/non_integral.h diff --git a/libraries/shelley-spec-non-integral/reference/non_integral.hpp b/libs/shelley-spec-non-integral/reference/non_integral.hpp similarity index 100% rename from libraries/shelley-spec-non-integral/reference/non_integral.hpp rename to libs/shelley-spec-non-integral/reference/non_integral.hpp diff --git a/libraries/shelley-spec-non-integral/reference/non_integral_test.cpp b/libs/shelley-spec-non-integral/reference/non_integral_test.cpp similarity index 100% rename from libraries/shelley-spec-non-integral/reference/non_integral_test.cpp rename to libs/shelley-spec-non-integral/reference/non_integral_test.cpp diff --git a/libraries/shelley-spec-non-integral/reference/randomize.cpp b/libs/shelley-spec-non-integral/reference/randomize.cpp similarity index 100% rename from libraries/shelley-spec-non-integral/reference/randomize.cpp rename to libs/shelley-spec-non-integral/reference/randomize.cpp diff --git a/libraries/shelley-spec-non-integral/shelley-spec-non-integral.cabal b/libs/shelley-spec-non-integral/shelley-spec-non-integral.cabal similarity index 100% rename from libraries/shelley-spec-non-integral/shelley-spec-non-integral.cabal rename to libs/shelley-spec-non-integral/shelley-spec-non-integral.cabal diff --git a/libraries/shelley-spec-non-integral/src/Shelley/Spec/NonIntegral.hs b/libs/shelley-spec-non-integral/src/Shelley/Spec/NonIntegral.hs similarity index 100% rename from libraries/shelley-spec-non-integral/src/Shelley/Spec/NonIntegral.hs rename to libs/shelley-spec-non-integral/src/Shelley/Spec/NonIntegral.hs diff --git a/libraries/shelley-spec-non-integral/test/Tests.hs b/libs/shelley-spec-non-integral/test/Tests.hs similarity index 100% rename from libraries/shelley-spec-non-integral/test/Tests.hs rename to libs/shelley-spec-non-integral/test/Tests.hs diff --git a/libraries/shelley-spec-non-integral/test/Tests/Shelley/Spec/NonIntegral.hs b/libs/shelley-spec-non-integral/test/Tests/Shelley/Spec/NonIntegral.hs similarity index 100% rename from libraries/shelley-spec-non-integral/test/Tests/Shelley/Spec/NonIntegral.hs rename to libs/shelley-spec-non-integral/test/Tests/Shelley/Spec/NonIntegral.hs diff --git a/libraries/small-steps-test/.ghcid b/libs/small-steps-test/.ghcid similarity index 100% rename from libraries/small-steps-test/.ghcid rename to libs/small-steps-test/.ghcid diff --git a/libraries/small-steps-test/Setup.hs b/libs/small-steps-test/Setup.hs similarity index 100% rename from libraries/small-steps-test/Setup.hs rename to libs/small-steps-test/Setup.hs diff --git a/libraries/small-steps-test/small-steps-test.cabal b/libs/small-steps-test/small-steps-test.cabal similarity index 100% rename from libraries/small-steps-test/small-steps-test.cabal rename to libs/small-steps-test/small-steps-test.cabal diff --git a/libraries/small-steps-test/src/Control/State/Transition/Generator.hs b/libs/small-steps-test/src/Control/State/Transition/Generator.hs similarity index 100% rename from libraries/small-steps-test/src/Control/State/Transition/Generator.hs rename to libs/small-steps-test/src/Control/State/Transition/Generator.hs diff --git a/libraries/small-steps-test/src/Control/State/Transition/Invalid/Trace.hs b/libs/small-steps-test/src/Control/State/Transition/Invalid/Trace.hs similarity index 100% rename from libraries/small-steps-test/src/Control/State/Transition/Invalid/Trace.hs rename to libs/small-steps-test/src/Control/State/Transition/Invalid/Trace.hs diff --git a/libraries/small-steps-test/src/Control/State/Transition/Trace.hs b/libs/small-steps-test/src/Control/State/Transition/Trace.hs similarity index 100% rename from libraries/small-steps-test/src/Control/State/Transition/Trace.hs rename to libs/small-steps-test/src/Control/State/Transition/Trace.hs diff --git a/libraries/small-steps-test/src/Control/State/Transition/Trace/Generator/QuickCheck.hs b/libs/small-steps-test/src/Control/State/Transition/Trace/Generator/QuickCheck.hs similarity index 100% rename from libraries/small-steps-test/src/Control/State/Transition/Trace/Generator/QuickCheck.hs rename to libs/small-steps-test/src/Control/State/Transition/Trace/Generator/QuickCheck.hs diff --git a/libraries/small-steps-test/src/Hedgehog/Extra/Manual.hs b/libs/small-steps-test/src/Hedgehog/Extra/Manual.hs similarity index 100% rename from libraries/small-steps-test/src/Hedgehog/Extra/Manual.hs rename to libs/small-steps-test/src/Hedgehog/Extra/Manual.hs diff --git a/libraries/small-steps-test/test/Control/State/Transition/Examples/CommitReveal.hs b/libs/small-steps-test/test/Control/State/Transition/Examples/CommitReveal.hs similarity index 100% rename from libraries/small-steps-test/test/Control/State/Transition/Examples/CommitReveal.hs rename to libs/small-steps-test/test/Control/State/Transition/Examples/CommitReveal.hs diff --git a/libraries/small-steps-test/test/Control/State/Transition/Examples/GlobalSum.hs b/libs/small-steps-test/test/Control/State/Transition/Examples/GlobalSum.hs similarity index 100% rename from libraries/small-steps-test/test/Control/State/Transition/Examples/GlobalSum.hs rename to libs/small-steps-test/test/Control/State/Transition/Examples/GlobalSum.hs diff --git a/libraries/small-steps-test/test/Control/State/Transition/Examples/Sum.hs b/libs/small-steps-test/test/Control/State/Transition/Examples/Sum.hs similarity index 100% rename from libraries/small-steps-test/test/Control/State/Transition/Examples/Sum.hs rename to libs/small-steps-test/test/Control/State/Transition/Examples/Sum.hs diff --git a/libraries/small-steps-test/test/examples/Main.hs b/libs/small-steps-test/test/examples/Main.hs similarity index 100% rename from libraries/small-steps-test/test/examples/Main.hs rename to libs/small-steps-test/test/examples/Main.hs diff --git a/libraries/small-steps/.ghcid b/libs/small-steps/.ghcid similarity index 100% rename from libraries/small-steps/.ghcid rename to libs/small-steps/.ghcid diff --git a/libraries/small-steps/CHANGELOG.md b/libs/small-steps/CHANGELOG.md similarity index 100% rename from libraries/small-steps/CHANGELOG.md rename to libs/small-steps/CHANGELOG.md diff --git a/libraries/small-steps/Setup.hs b/libs/small-steps/Setup.hs similarity index 100% rename from libraries/small-steps/Setup.hs rename to libs/small-steps/Setup.hs diff --git a/libraries/small-steps/default.nix b/libs/small-steps/default.nix similarity index 100% rename from libraries/small-steps/default.nix rename to libs/small-steps/default.nix diff --git a/libraries/small-steps/small-steps.cabal b/libs/small-steps/small-steps.cabal similarity index 100% rename from libraries/small-steps/small-steps.cabal rename to libs/small-steps/small-steps.cabal diff --git a/libraries/small-steps/src/Control/Iterate/Collect.hs b/libs/small-steps/src/Control/Iterate/Collect.hs similarity index 100% rename from libraries/small-steps/src/Control/Iterate/Collect.hs rename to libs/small-steps/src/Control/Iterate/Collect.hs diff --git a/libraries/small-steps/src/Control/Iterate/SetAlgebra.hs b/libs/small-steps/src/Control/Iterate/SetAlgebra.hs similarity index 100% rename from libraries/small-steps/src/Control/Iterate/SetAlgebra.hs rename to libs/small-steps/src/Control/Iterate/SetAlgebra.hs diff --git a/libraries/small-steps/src/Control/Provenance.hs b/libs/small-steps/src/Control/Provenance.hs similarity index 100% rename from libraries/small-steps/src/Control/Provenance.hs rename to libs/small-steps/src/Control/Provenance.hs diff --git a/libraries/small-steps/src/Control/SetAlgebra.hs b/libs/small-steps/src/Control/SetAlgebra.hs similarity index 100% rename from libraries/small-steps/src/Control/SetAlgebra.hs rename to libs/small-steps/src/Control/SetAlgebra.hs diff --git a/libraries/small-steps/src/Control/State/Transition.hs b/libs/small-steps/src/Control/State/Transition.hs similarity index 100% rename from libraries/small-steps/src/Control/State/Transition.hs rename to libs/small-steps/src/Control/State/Transition.hs diff --git a/libraries/small-steps/src/Control/State/Transition/Extended.hs b/libs/small-steps/src/Control/State/Transition/Extended.hs similarity index 100% rename from libraries/small-steps/src/Control/State/Transition/Extended.hs rename to libs/small-steps/src/Control/State/Transition/Extended.hs diff --git a/libraries/small-steps/src/Control/State/Transition/Simple.hs b/libs/small-steps/src/Control/State/Transition/Simple.hs similarity index 100% rename from libraries/small-steps/src/Control/State/Transition/Simple.hs rename to libs/small-steps/src/Control/State/Transition/Simple.hs diff --git a/libraries/small-steps/src/Data/AbstractSize.hs b/libs/small-steps/src/Data/AbstractSize.hs similarity index 100% rename from libraries/small-steps/src/Data/AbstractSize.hs rename to libs/small-steps/src/Data/AbstractSize.hs diff --git a/libraries/small-steps/src/Data/CanonicalMaps.hs b/libs/small-steps/src/Data/CanonicalMaps.hs similarity index 100% rename from libraries/small-steps/src/Data/CanonicalMaps.hs rename to libs/small-steps/src/Data/CanonicalMaps.hs diff --git a/libraries/small-steps/src/Data/Coders.hs b/libs/small-steps/src/Data/Coders.hs similarity index 100% rename from libraries/small-steps/src/Data/Coders.hs rename to libs/small-steps/src/Data/Coders.hs diff --git a/libraries/small-steps/src/Data/MemoBytes.hs b/libs/small-steps/src/Data/MemoBytes.hs similarity index 100% rename from libraries/small-steps/src/Data/MemoBytes.hs rename to libs/small-steps/src/Data/MemoBytes.hs diff --git a/libraries/small-steps/src/Data/Pulse.hs b/libs/small-steps/src/Data/Pulse.hs similarity index 100% rename from libraries/small-steps/src/Data/Pulse.hs rename to libs/small-steps/src/Data/Pulse.hs diff --git a/libraries/small-steps/src/Data/Relation.hs b/libs/small-steps/src/Data/Relation.hs similarity index 100% rename from libraries/small-steps/src/Data/Relation.hs rename to libs/small-steps/src/Data/Relation.hs