[520 of 593] Compiling MAlonzo.Code.Foreign.Convertible ( MAlonzo/Code/Foreign/Convertible.hs, dist/build/MAlonzo/Code/Foreign/Convertible.o, dist/build/MAlonzo/Code/Foreign/Convertible.dyn_o )
[521 of 593] Compiling MAlonzo.Code.Class.MonadTC ( MAlonzo/Code/Class/MonadTC.hs, dist/build/MAlonzo/Code/Class/MonadTC.o, dist/build/MAlonzo/Code/Class/MonadTC.dyn_o )
[522 of 593] Compiling MAlonzo.Code.Tactic.Defaults ( MAlonzo/Code/Tactic/Defaults.hs, dist/build/MAlonzo/Code/Tactic/Defaults.o, dist/build/MAlonzo/Code/Tactic/Defaults.dyn_o )
[523 of 593] Compiling MAlonzo.Code.Reflection.Utils.TCI ( MAlonzo/Code/Reflection/Utils/TCI.hs, dist/build/MAlonzo/Code/Reflection/Utils/TCI.o, dist/build/MAlonzo/Code/Reflection/Utils/TCI.dyn_o )
[524 of 593] Compiling MAlonzo.Code.Reflection.TCI ( MAlonzo/Code/Reflection/TCI.hs, dist/build/MAlonzo/Code/Reflection/TCI.o, dist/build/MAlonzo/Code/Reflection/TCI.dyn_o )
[525 of 593] Compiling MAlonzo.Code.Reflection.Tactic ( MAlonzo/Code/Reflection/Tactic.hs, dist/build/MAlonzo/Code/Reflection/Tactic.o, dist/build/MAlonzo/Code/Reflection/Tactic.dyn_o )
[526 of 593] Compiling MAlonzo.Code.PreludeMeta ( MAlonzo/Code/PreludeMeta.hs, dist/build/MAlonzo/Code/PreludeMeta.o, dist/build/MAlonzo/Code/PreludeMeta.dyn_o )
[527 of 593] Compiling MAlonzo.Code.Reflection.Ext ( MAlonzo/Code/Reflection/Ext.hs, dist/build/MAlonzo/Code/Reflection/Ext.o, dist/build/MAlonzo/Code/Reflection/Ext.dyn_o )
[528 of 593] Compiling MAlonzo.Code.Tactic.Premises ( MAlonzo/Code/Tactic/Premises.hs, dist/build/MAlonzo/Code/Tactic/Premises.o, dist/build/MAlonzo/Code/Tactic/Premises.dyn_o )
[529 of 593] Compiling MAlonzo.Code.Tactic.Inline ( MAlonzo/Code/Tactic/Inline.hs, dist/build/MAlonzo/Code/Tactic/Inline.o, dist/build/MAlonzo/Code/Tactic/Inline.dyn_o )
[530 of 593] Compiling MAlonzo.Code.Meta ( MAlonzo/Code/Meta.hs, dist/build/MAlonzo/Code/Meta.o, dist/build/MAlonzo/Code/Meta.dyn_o )
[531 of 593] Compiling MAlonzo.Code.Tactic.ClauseBuilder ( MAlonzo/Code/Tactic/ClauseBuilder.hs, dist/build/MAlonzo/Code/Tactic/ClauseBuilder.o, dist/build/MAlonzo/Code/Tactic/ClauseBuilder.dyn_o )
[532 of 593] Compiling MAlonzo.Code.Tactic.GenError ( MAlonzo/Code/Tactic/GenError.hs, dist/build/MAlonzo/Code/Tactic/GenError.o, dist/build/MAlonzo/Code/Tactic/GenError.dyn_o )
[533 of 593] Compiling MAlonzo.Code.Tactic.Derive ( MAlonzo/Code/Tactic/Derive.hs, dist/build/MAlonzo/Code/Tactic/Derive.o, dist/build/MAlonzo/Code/Tactic/Derive.dyn_o )
[534 of 593] Compiling MAlonzo.Code.Tactic.Derive.Show ( MAlonzo/Code/Tactic/Derive/Show.hs, dist/build/MAlonzo/Code/Tactic/Derive/Show.o, dist/build/MAlonzo/Code/Tactic/Derive/Show.dyn_o )
[535 of 593] Compiling MAlonzo.Code.Foreign.HaskellTypes.Deriving ( MAlonzo/Code/Foreign/HaskellTypes/Deriving.hs, dist/build/MAlonzo/Code/Foreign/HaskellTypes/Deriving.o, dist/build/MAlonzo/Code/Foreign/HaskellTypes/Deriving.dyn_o )
[536 of 593] Compiling MAlonzo.Code.Tactic.Derive.DecEq ( MAlonzo/Code/Tactic/Derive/DecEq.hs, dist/build/MAlonzo/Code/Tactic/Derive/DecEq.o, dist/build/MAlonzo/Code/Tactic/Derive/DecEq.dyn_o )
[537 of 593] Compiling MAlonzo.Code.Ledger.Script ( MAlonzo/Code/Ledger/Script.hs, dist/build/MAlonzo/Code/Ledger/Script.o, dist/build/MAlonzo/Code/Ledger/Script.dyn_o )
[538 of 593] Compiling MAlonzo.Code.Ledger.PParams ( MAlonzo/Code/Ledger/PParams.hs, dist/build/MAlonzo/Code/Ledger/PParams.o, dist/build/MAlonzo/Code/Ledger/PParams.dyn_o )
[539 of 593] Compiling MAlonzo.Code.Ledger.Conway.Foreign.HSLedger.Core ( MAlonzo/Code/Ledger/Conway/Foreign/HSLedger/Core.hs, dist/build/MAlonzo/Code/Ledger/Conway/Foreign/HSLedger/Core.o, dist/build/MAlonzo/Code/Ledger/Conway/Foreign/HSLedger/Core.dyn_o )
[540 of 593] Compiling MAlonzo.Code.Ledger.Conway.Conformance.Script ( MAlonzo/Code/Ledger/Conway/Conformance/Script.hs, dist/build/MAlonzo/Code/Ledger/Conway/Conformance/Script.o, dist/build/MAlonzo/Code/Ledger/Conway/Conformance/Script.dyn_o )
[541 of 593] Compiling MAlonzo.Code.Ledger.Address ( MAlonzo/Code/Ledger/Address.hs, dist/build/MAlonzo/Code/Ledger/Address.o, dist/build/MAlonzo/Code/Ledger/Address.dyn_o )
[542 of 593] Compiling MAlonzo.Code.Ledger.Types.GovStructure ( MAlonzo/Code/Ledger/Types/GovStructure.hs, dist/build/MAlonzo/Code/Ledger/Types/GovStructure.o, dist/build/MAlonzo/Code/Ledger/Types/GovStructure.dyn_o )
[543 of 593] Compiling MAlonzo.Code.Ledger.GovernanceActions ( MAlonzo/Code/Ledger/GovernanceActions.hs, dist/build/MAlonzo/Code/Ledger/GovernanceActions.o, dist/build/MAlonzo/Code/Ledger/GovernanceActions.dyn_o )
[544 of 593] Compiling MAlonzo.Code.Ledger.Enact ( MAlonzo/Code/Ledger/Enact.hs, dist/build/MAlonzo/Code/Ledger/Enact.o, dist/build/MAlonzo/Code/Ledger/Enact.dyn_o )
[545 of 593] Compiling MAlonzo.Code.Ledger.GovernanceActions.Properties ( MAlonzo/Code/Ledger/GovernanceActions/Properties.hs, dist/build/MAlonzo/Code/Ledger/GovernanceActions/Properties.o, dist/build/MAlonzo/Code/Ledger/GovernanceActions/Properties.dyn_o )
[546 of 593] Compiling MAlonzo.Code.Ledger.Conway.Foreign.HSLedger.Address ( MAlonzo/Code/Ledger/Conway/Foreign/HSLedger/Address.hs, dist/build/MAlonzo/Code/Ledger/Conway/Foreign/HSLedger/Address.o, dist/build/MAlonzo/Code/Ledger/Conway/Foreign/HSLedger/Address.dyn_o )
[547 of 593] Compiling MAlonzo.Code.Ledger.Certs ( MAlonzo/Code/Ledger/Certs.hs, dist/build/MAlonzo/Code/Ledger/Certs.o, dist/build/MAlonzo/Code/Ledger/Certs.dyn_o )
[548 of 593] Compiling MAlonzo.Code.Ledger.Transaction ( MAlonzo/Code/Ledger/Transaction.hs, dist/build/MAlonzo/Code/Ledger/Transaction.o, dist/build/MAlonzo/Code/Ledger/Transaction.dyn_o )
[549 of 593] Compiling MAlonzo.Code.Ledger.Fees ( MAlonzo/Code/Ledger/Fees.hs, dist/build/MAlonzo/Code/Ledger/Fees.o, dist/build/MAlonzo/Code/Ledger/Fees.dyn_o )
[550 of 593] Compiling MAlonzo.Code.Ledger.Ratify ( MAlonzo/Code/Ledger/Ratify.hs, dist/build/MAlonzo/Code/Ledger/Ratify.o, dist/build/MAlonzo/Code/Ledger/Ratify.dyn_o )
[551 of 593] Compiling MAlonzo.Code.Ledger.Ratify.Properties ( MAlonzo/Code/Ledger/Ratify/Properties.hs, dist/build/MAlonzo/Code/Ledger/Ratify/Properties.o, dist/build/MAlonzo/Code/Ledger/Ratify/Properties.dyn_o )
[552 of 593] Compiling MAlonzo.Code.Ledger.Gov ( MAlonzo/Code/Ledger/Gov.hs, dist/build/MAlonzo/Code/Ledger/Gov.o, dist/build/MAlonzo/Code/Ledger/Gov.dyn_o )
[553 of 593] Compiling MAlonzo.Code.Ledger.Gov.Properties ( MAlonzo/Code/Ledger/Gov/Properties.hs, dist/build/MAlonzo/Code/Ledger/Gov/Properties.o, dist/build/MAlonzo/Code/Ledger/Gov/Properties.dyn_o )
[554 of 593] Compiling MAlonzo.Code.Ledger.Conway.Conformance.Certs ( MAlonzo/Code/Ledger/Conway/Conformance/Certs.hs, dist/build/MAlonzo/Code/Ledger/Conway/Conformance/Certs.o, dist/build/MAlonzo/Code/Ledger/Conway/Conformance/Certs.dyn_o )
[555 of 593] Compiling MAlonzo.Code.Ledger.Conway.Conformance.Gov ( MAlonzo/Code/Ledger/Conway/Conformance/Gov.hs, dist/build/MAlonzo/Code/Ledger/Conway/Conformance/Gov.o, dist/build/MAlonzo/Code/Ledger/Conway/Conformance/Gov.dyn_o )
[556 of 593] Compiling MAlonzo.Code.Ledger.Conway.Conformance.Gov.Properties ( MAlonzo/Code/Ledger/Conway/Conformance/Gov/Properties.hs, dist/build/MAlonzo/Code/Ledger/Conway/Conformance/Gov/Properties.o, dist/build/MAlonzo/Code/Ledger/Conway/Conformance/Gov/Properties.dyn_o )
[557 of 593] Compiling MAlonzo.Code.Ledger.Conway.Conformance.Certs.Properties ( MAlonzo/Code/Ledger/Conway/Conformance/Certs/Properties.hs, dist/build/MAlonzo/Code/Ledger/Conway/Conformance/Certs/Properties.o, dist/build/MAlonzo/Code/Ledger/Conway/Conformance/Certs/Properties.dyn_o )
[558 of 593] Compiling MAlonzo.Code.Ledger.Abstract ( MAlonzo/Code/Ledger/Abstract.hs, dist/build/MAlonzo/Code/Ledger/Abstract.o, dist/build/MAlonzo/Code/Ledger/Abstract.dyn_o )
[559 of 593] Compiling MAlonzo.Code.Ledger.ScriptValidation ( MAlonzo/Code/Ledger/ScriptValidation.hs, dist/build/MAlonzo/Code/Ledger/ScriptValidation.o, dist/build/MAlonzo/Code/Ledger/ScriptValidation.dyn_o )
[560 of 593] Compiling MAlonzo.Code.Ledger.Utxo ( MAlonzo/Code/Ledger/Utxo.hs, dist/build/MAlonzo/Code/Ledger/Utxo.o, dist/build/MAlonzo/Code/Ledger/Utxo.dyn_o )
[561 of 593] Compiling MAlonzo.Code.Ledger.Utxow ( MAlonzo/Code/Ledger/Utxow.hs, dist/build/MAlonzo/Code/Ledger/Utxow.o, dist/build/MAlonzo/Code/Ledger/Utxow.dyn_o )
[562 of 593] Compiling MAlonzo.Code.Ledger.Ledger ( MAlonzo/Code/Ledger/Ledger.hs, dist/build/MAlonzo/Code/Ledger/Ledger.o, dist/build/MAlonzo/Code/Ledger/Ledger.dyn_o )
[563 of 593] Compiling MAlonzo.Code.Ledger.Conway.Foreign.HSLedger.ExternalStructures ( MAlonzo/Code/Ledger/Conway/Foreign/HSLedger/ExternalStructures.hs, dist/build/MAlonzo/Code/Ledger/Conway/Foreign/HSLedger/ExternalStructures.o, dist/build/MAlonzo/Code/Ledger/Conway/Foreign/HSLedger/ExternalStructures.dyn_o )
[564 of 593] Compiling MAlonzo.Code.Ledger.Conway.Foreign.HSLedger.BaseTypes ( MAlonzo/Code/Ledger/Conway/Foreign/HSLedger/BaseTypes.hs, dist/build/MAlonzo/Code/Ledger/Conway/Foreign/HSLedger/BaseTypes.o, dist/build/MAlonzo/Code/Ledger/Conway/Foreign/HSLedger/BaseTypes.dyn_o )
[565 of 593] Compiling MAlonzo.Code.Ledger.Conway.Foreign.HSLedger.PParams ( MAlonzo/Code/Ledger/Conway/Foreign/HSLedger/PParams.hs, dist/build/MAlonzo/Code/Ledger/Conway/Foreign/HSLedger/PParams.o, dist/build/MAlonzo/Code/Ledger/Conway/Foreign/HSLedger/PParams.dyn_o )
[566 of 593] Compiling MAlonzo.Code.Ledger.Conway.Foreign.HSLedger.Gov.Core ( MAlonzo/Code/Ledger/Conway/Foreign/HSLedger/Gov/Core.hs, dist/build/MAlonzo/Code/Ledger/Conway/Foreign/HSLedger/Gov/Core.o, dist/build/MAlonzo/Code/Ledger/Conway/Foreign/HSLedger/Gov/Core.dyn_o )
[567 of 593] Compiling MAlonzo.Code.Ledger.Conway.Foreign.HSLedger.Enact ( MAlonzo/Code/Ledger/Conway/Foreign/HSLedger/Enact.hs, dist/build/MAlonzo/Code/Ledger/Conway/Foreign/HSLedger/Enact.o, dist/build/MAlonzo/Code/Ledger/Conway/Foreign/HSLedger/Enact.dyn_o )
[568 of 593] Compiling MAlonzo.Code.Ledger.Conway.Foreign.HSLedger.Certs ( MAlonzo/Code/Ledger/Conway/Foreign/HSLedger/Certs.hs, dist/build/MAlonzo/Code/Ledger/Conway/Foreign/HSLedger/Certs.o, dist/build/MAlonzo/Code/Ledger/Conway/Foreign/HSLedger/Certs.dyn_o )
[569 of 593] Compiling MAlonzo.Code.Ledger.Conway.Foreign.HSLedger.Cert ( MAlonzo/Code/Ledger/Conway/Foreign/HSLedger/Cert.hs, dist/build/MAlonzo/Code/Ledger/Conway/Foreign/HSLedger/Cert.o, dist/build/MAlonzo/Code/Ledger/Conway/Foreign/HSLedger/Cert.dyn_o )
[570 of 593] Compiling MAlonzo.Code.Ledger.Conway.Foreign.HSLedger.Gov ( MAlonzo/Code/Ledger/Conway/Foreign/HSLedger/Gov.hs, dist/build/MAlonzo/Code/Ledger/Conway/Foreign/HSLedger/Gov.o, dist/build/MAlonzo/Code/Ledger/Conway/Foreign/HSLedger/Gov.dyn_o )
[571 of 593] Compiling MAlonzo.Code.Ledger.Conway.Foreign.HSLedger.Transaction ( MAlonzo/Code/Ledger/Conway/Foreign/HSLedger/Transaction.hs, dist/build/MAlonzo/Code/Ledger/Conway/Foreign/HSLedger/Transaction.o, dist/build/MAlonzo/Code/Ledger/Conway/Foreign/HSLedger/Transaction.dyn_o )
[572 of 593] Compiling MAlonzo.Code.Ledger.Conway.Foreign.HSLedger.Ratify ( MAlonzo/Code/Ledger/Conway/Foreign/HSLedger/Ratify.hs, dist/build/MAlonzo/Code/Ledger/Conway/Foreign/HSLedger/Ratify.o, dist/build/MAlonzo/Code/Ledger/Conway/Foreign/HSLedger/Ratify.dyn_o )
[573 of 593] Compiling MAlonzo.Code.Ledger.Conway.Conformance.Utxo ( MAlonzo/Code/Ledger/Conway/Conformance/Utxo.hs, dist/build/MAlonzo/Code/Ledger/Conway/Conformance/Utxo.o, dist/build/MAlonzo/Code/Ledger/Conway/Conformance/Utxo.dyn_o )
[574 of 593] Compiling MAlonzo.Code.Ledger.Conway.Conformance.Utxow ( MAlonzo/Code/Ledger/Conway/Conformance/Utxow.hs, dist/build/MAlonzo/Code/Ledger/Conway/Conformance/Utxow.o, dist/build/MAlonzo/Code/Ledger/Conway/Conformance/Utxow.dyn_o )
[575 of 593] Compiling MAlonzo.Code.Ledger.Conway.Conformance.Utxo.Properties ( MAlonzo/Code/Ledger/Conway/Conformance/Utxo/Properties.hs, dist/build/MAlonzo/Code/Ledger/Conway/Conformance/Utxo/Properties.o, dist/build/MAlonzo/Code/Ledger/Conway/Conformance/Utxo/Properties.dyn_o )
[576 of 593] Compiling MAlonzo.Code.Ledger.Conway.Conformance.Utxow.Properties ( MAlonzo/Code/Ledger/Conway/Conformance/Utxow/Properties.hs, dist/build/MAlonzo/Code/Ledger/Conway/Conformance/Utxow/Properties.o, dist/build/MAlonzo/Code/Ledger/Conway/Conformance/Utxow/Properties.dyn_o )
[577 of 593] Compiling MAlonzo.Code.Ledger.Conway.Foreign.HSLedger.Utxo ( MAlonzo/Code/Ledger/Conway/Foreign/HSLedger/Utxo.hs, dist/build/MAlonzo/Code/Ledger/Conway/Foreign/HSLedger/Utxo.o, dist/build/MAlonzo/Code/Ledger/Conway/Foreign/HSLedger/Utxo.dyn_o )
[578 of 593] Compiling MAlonzo.Code.Ledger.Conway.Conformance.Ledger ( MAlonzo/Code/Ledger/Conway/Conformance/Ledger.hs, dist/build/MAlonzo/Code/Ledger/Conway/Conformance/Ledger.o, dist/build/MAlonzo/Code/Ledger/Conway/Conformance/Ledger.dyn_o )
[579 of 593] Compiling MAlonzo.Code.Ledger.Conway.Conformance.Ledger.Properties ( MAlonzo/Code/Ledger/Conway/Conformance/Ledger/Properties.hs, dist/build/MAlonzo/Code/Ledger/Conway/Conformance/Ledger/Properties.o, dist/build/MAlonzo/Code/Ledger/Conway/Conformance/Ledger/Properties.dyn_o )
[580 of 593] Compiling MAlonzo.Code.Ledger.Conway.Foreign.HSLedger.Ledger ( MAlonzo/Code/Ledger/Conway/Foreign/HSLedger/Ledger.hs, dist/build/MAlonzo/Code/Ledger/Conway/Foreign/HSLedger/Ledger.o, dist/build/MAlonzo/Code/Ledger/Conway/Foreign/HSLedger/Ledger.dyn_o )
[581 of 593] Compiling MAlonzo.Code.Ledger.Conway.Conformance.Epoch ( MAlonzo/Code/Ledger/Conway/Conformance/Epoch.hs, dist/build/MAlonzo/Code/Ledger/Conway/Conformance/Epoch.o, dist/build/MAlonzo/Code/Ledger/Conway/Conformance/Epoch.dyn_o )
[582 of 593] Compiling MAlonzo.Code.Ledger.Conway.Conformance.Epoch.Properties ( MAlonzo/Code/Ledger/Conway/Conformance/Epoch/Properties.hs, dist/build/MAlonzo/Code/Ledger/Conway/Conformance/Epoch/Properties.o, dist/build/MAlonzo/Code/Ledger/Conway/Conformance/Epoch/Properties.dyn_o )
[583 of 593] Compiling MAlonzo.Code.Ledger.Conway.Foreign.HSLedger.Epoch ( MAlonzo/Code/Ledger/Conway/Foreign/HSLedger/Epoch.hs, dist/build/MAlonzo/Code/Ledger/Conway/Foreign/HSLedger/Epoch.o, dist/build/MAlonzo/Code/Ledger/Conway/Foreign/HSLedger/Epoch.dyn_o )
[584 of 593] Compiling MAlonzo.Code.Ledger.Conway.Foreign.HSLedger.NewEpoch ( MAlonzo/Code/Ledger/Conway/Foreign/HSLedger/NewEpoch.hs, dist/build/MAlonzo/Code/Ledger/Conway/Foreign/HSLedger/NewEpoch.o, dist/build/MAlonzo/Code/Ledger/Conway/Foreign/HSLedger/NewEpoch.dyn_o )
[585 of 593] Compiling MAlonzo.Code.Ledger.Conway.Conformance.Chain ( MAlonzo/Code/Ledger/Conway/Conformance/Chain.hs, dist/build/MAlonzo/Code/Ledger/Conway/Conformance/Chain.o, dist/build/MAlonzo/Code/Ledger/Conway/Conformance/Chain.dyn_o )
[586 of 593] Compiling MAlonzo.Code.Ledger.Conway.Conformance.Chain.Properties ( MAlonzo/Code/Ledger/Conway/Conformance/Chain/Properties.hs, dist/build/MAlonzo/Code/Ledger/Conway/Conformance/Chain/Properties.o, dist/build/MAlonzo/Code/Ledger/Conway/Conformance/Chain/Properties.dyn_o )
[587 of 593] Compiling MAlonzo.Code.Ledger.Conway.Foreign.HSLedger.Chain ( MAlonzo/Code/Ledger/Conway/Foreign/HSLedger/Chain.hs, dist/build/MAlonzo/Code/Ledger/Conway/Foreign/HSLedger/Chain.o, dist/build/MAlonzo/Code/Ledger/Conway/Foreign/HSLedger/Chain.dyn_o )
[588 of 593] Compiling Lib              ( Lib.hs, dist/build/Lib.o, dist/build/Lib.dyn_o )
[589 of 593] Compiling MAlonzo.Code.Tactic.Assumption ( MAlonzo/Code/Tactic/Assumption.hs, dist/build/MAlonzo/Code/Tactic/Assumption.o, dist/build/MAlonzo/Code/Tactic/Assumption.dyn_o )
[590 of 593] Compiling MAlonzo.Code.Tactic.AnyOf ( MAlonzo/Code/Tactic/AnyOf.hs, dist/build/MAlonzo/Code/Tactic/AnyOf.o, dist/build/MAlonzo/Code/Tactic/AnyOf.dyn_o )
[591 of 593] Compiling MAlonzo.Code.Foreign.Convertible.Deriving ( MAlonzo/Code/Foreign/Convertible/Deriving.hs, dist/build/MAlonzo/Code/Foreign/Convertible/Deriving.o, dist/build/MAlonzo/Code/Foreign/Convertible/Deriving.dyn_o )
[592 of 593] Compiling MAlonzo.Code.Class.MonadTC.Instances ( MAlonzo/Code/Class/MonadTC/Instances.hs, dist/build/MAlonzo/Code/Class/MonadTC/Instances.o, dist/build/MAlonzo/Code/Class/MonadTC/Instances.dyn_o )
[593 of 593] Compiling MAlonzo.Code.Class.Applicative.Instances ( MAlonzo/Code/Class/Applicative/Instances.hs, dist/build/MAlonzo/Code/Class/Applicative/Instances.o, dist/build/MAlonzo/Code/Class/Applicative/Instances.dyn_o )
Preprocessing test suite 'test' for cardano-ledger-executable-spec-0.1.0.0..
Building test suite 'test' for cardano-ledger-executable-spec-0.1.0.0..
[1 of 2] Compiling UtxowSpec        ( test/UtxowSpec.hs, dist/build/test/test-tmp/UtxowSpec.o )
[2 of 2] Compiling Main             ( test/Spec.hs, dist/build/test/test-tmp/Main.o )
Linking dist/build/test/test ...
@nix {"action":"setPhase","phase":"checkPhase"}
running tests
Running 1 test suites...
Test suite test: RUNNING...
Test suite test: PASS
Test suite logged to:
dist/test/cardano-ledger-executable-spec-0.1.0.0-test.log
1 of 1 test suites (1 of 1 test cases) passed.
@nix {"action":"setPhase","phase":"haddockPhase"}
haddockPhase
@nix {"action":"setPhase","phase":"installPhase"}
installing
Installing library in /nix/store/86hf4jzgn2451qpdfqky6a5dz6fj7rn9-cardano-ledger-executable-spec-0.1.0.0/lib/ghc-8.10.4/x86_64-linux-ghc-8.10.4/cardano-ledger-executable-spec-0.1.0.0-6b84BtsTJK3Jw90oWcTbz3
@nix {"action":"setPhase","phase":"fixupPhase"}
post-installation fixup
shrinking RPATHs of ELF executables and libraries in /nix/store/86hf4jzgn2451qpdfqky6a5dz6fj7rn9-cardano-ledger-executable-spec-0.1.0.0
shrinking /nix/store/86hf4jzgn2451qpdfqky6a5dz6fj7rn9-cardano-ledger-executable-spec-0.1.0.0/lib/ghc-8.10.4/x86_64-linux-ghc-8.10.4/libHScardano-ledger-executable-spec-0.1.0.0-6b84BtsTJK3Jw90oWcTbz3-ghc8.10.4.so
strip is /nix/store/2cl8h183p6xsnq2vbqv2jlwg4mp1bhgg-binutils-2.35.2/bin/strip
stripping (with command strip and flags -S) in /nix/store/86hf4jzgn2451qpdfqky6a5dz6fj7rn9-cardano-ledger-executable-spec-0.1.0.0/lib 
patching script interpreter paths in /nix/store/86hf4jzgn2451qpdfqky6a5dz6fj7rn9-cardano-ledger-executable-spec-0.1.0.0
checking for references to /build/ in /nix/store/86hf4jzgn2451qpdfqky6a5dz6fj7rn9-cardano-ledger-executable-spec-0.1.0.0...