/nix/store/xak2y7468346fhq7aq00cja0b71v0042-cabal-docspec-check.drv

Running phase: unpackPhase
unpacking source archive /nix/store/rqk7sly8alzmki24ka6gk9mxi072g352-source
source root is source
Running phase: patchPhase
Running phase: updateAutotoolsGnuConfigScriptsPhase
Running phase: configurePhase
no configure script, doing nothing
Running phase: buildPhase
[   0.00015] ghc.info: ghc
[   0.00041] process.0.start: cwd=/build ghc --info
[   0.03245] ghc.read-package-db: /nix/store/q0qydq58qw1c8y9ja9p97nps1v856jxj-ghc-shell-for-packages-ghc-9.6.7-env/lib/ghc-9.6.7/lib/package.conf.d
[   0.24757] docspec.component: ouroboros-consensus-0.28.0.0 lib
[   0.26995] docspec.phase1: Ouroboros.Consensus.Block: /build/source/ouroboros-consensus/src/ouroboros-consensus/Ouroboros/Consensus/Block.hs
[   0.27024] docspec.phase1: Ouroboros.Consensus.Block.Abstract: /build/source/ouroboros-consensus/src/ouroboros-consensus/Ouroboros/Consensus/Block/Abstract.hs
[   0.27053] docspec.phase1: Ouroboros.Consensus.Block.EBB: /build/source/ouroboros-consensus/src/ouroboros-consensus/Ouroboros/Consensus/Block/EBB.hs
[   0.27072] docspec.phase1: Ouroboros.Consensus.Block.Forging: /build/source/ouroboros-consensus/src/ouroboros-consensus/Ouroboros/Consensus/Block/Forging.hs
[   0.27103] docspec.phase1: Ouroboros.Consensus.Block.NestedContent: /build/source/ouroboros-consensus/src/ouroboros-consensus/Ouroboros/Consensus/Block/NestedContent.hs
[   0.27145] docspec.phase1: Ouroboros.Consensus.Block.RealPoint: /build/source/ouroboros-consensus/src/ouroboros-consensus/Ouroboros/Consensus/Block/RealPoint.hs
[   0.27168] docspec.phase1: Ouroboros.Consensus.Block.SupportsDiffusionPipelining: /build/source/ouroboros-consensus/src/ouroboros-consensus/Ouroboros/Consensus/Block/SupportsDiffusionPipelining.hs
[   0.27198] docspec.phase1: Ouroboros.Consensus.Block.SupportsMetrics: /build/source/ouroboros-consensus/src/ouroboros-consensus/Ouroboros/Consensus/Block/SupportsMetrics.hs
[   0.27222] docspec.phase1: Ouroboros.Consensus.Block.SupportsPeras: /build/source/ouroboros-consensus/src/ouroboros-consensus/Ouroboros/Consensus/Block/SupportsPeras.hs
[   0.27246] docspec.phase1: Ouroboros.Consensus.Block.SupportsProtocol: /build/source/ouroboros-consensus/src/ouroboros-consensus/Ouroboros/Consensus/Block/SupportsProtocol.hs
[   0.27271] docspec.phase1: Ouroboros.Consensus.Block.SupportsSanityCheck: /build/source/ouroboros-consensus/src/ouroboros-consensus/Ouroboros/Consensus/Block/SupportsSanityCheck.hs
[   0.27299] docspec.phase1: Ouroboros.Consensus.BlockchainTime: /build/source/ouroboros-consensus/src/ouroboros-consensus/Ouroboros/Consensus/BlockchainTime.hs
[   0.27317] docspec.phase1: Ouroboros.Consensus.BlockchainTime.API: /build/source/ouroboros-consensus/src/ouroboros-consensus/Ouroboros/Consensus/BlockchainTime/API.hs
[   0.27338] docspec.phase1: Ouroboros.Consensus.BlockchainTime.WallClock.Default: /build/source/ouroboros-consensus/src/ouroboros-consensus/Ouroboros/Consensus/BlockchainTime/WallClock/Default.hs
[   0.27359] docspec.phase1: Ouroboros.Consensus.BlockchainTime.WallClock.HardFork: /build/source/ouroboros-consensus/src/ouroboros-consensus/Ouroboros/Consensus/BlockchainTime/WallClock/HardFork.hs
[   0.27380] docspec.phase1: Ouroboros.Consensus.BlockchainTime.WallClock.Simple: /build/source/ouroboros-consensus/src/ouroboros-consensus/Ouroboros/Consensus/BlockchainTime/WallClock/Simple.hs
[   0.27407] docspec.phase1: Ouroboros.Consensus.BlockchainTime.WallClock.Types: /build/source/ouroboros-consensus/src/ouroboros-consensus/Ouroboros/Consensus/BlockchainTime/WallClock/Types.hs
[   0.27428] docspec.phase1: Ouroboros.Consensus.BlockchainTime.WallClock.Util: /build/source/ouroboros-consensus/src/ouroboros-consensus/Ouroboros/Consensus/BlockchainTime/WallClock/Util.hs
[   0.27449] docspec.phase1: Ouroboros.Consensus.Config: /build/source/ouroboros-consensus/src/ouroboros-consensus/Ouroboros/Consensus/Config.hs
[   0.27471] docspec.phase1: Ouroboros.Consensus.Config.SecurityParam: /build/source/ouroboros-consensus/src/ouroboros-consensus/Ouroboros/Consensus/Config/SecurityParam.hs
[   0.27495] docspec.phase1: Ouroboros.Consensus.Config.SupportsNode: /build/source/ouroboros-consensus/src/ouroboros-consensus/Ouroboros/Consensus/Config/SupportsNode.hs
[   0.27510] docspec.phase1: Ouroboros.Consensus.Forecast: /build/source/ouroboros-consensus/src/ouroboros-consensus/Ouroboros/Consensus/Forecast.hs
[   0.27537] docspec.phase1: Ouroboros.Consensus.Fragment.Diff: /build/source/ouroboros-consensus/src/ouroboros-consensus/Ouroboros/Consensus/Fragment/Diff.hs
[   0.27559] docspec.phase1: Ouroboros.Consensus.Fragment.Validated: /build/source/ouroboros-consensus/src/ouroboros-consensus/Ouroboros/Consensus/Fragment/Validated.hs
[   0.27579] docspec.phase1: Ouroboros.Consensus.Fragment.ValidatedDiff: /build/source/ouroboros-consensus/src/ouroboros-consensus/Ouroboros/Consensus/Fragment/ValidatedDiff.hs
[   0.27600] docspec.phase1: Ouroboros.Consensus.Genesis.Governor: /build/source/ouroboros-consensus/src/ouroboros-consensus/Ouroboros/Consensus/Genesis/Governor.hs
[   0.27662] docspec.phase1: Ouroboros.Consensus.HardFork.Abstract: /build/source/ouroboros-consensus/src/ouroboros-consensus/Ouroboros/Consensus/HardFork/Abstract.hs
[   0.27683] docspec.phase1: Ouroboros.Consensus.HardFork.Combinator: /build/source/ouroboros-consensus/src/ouroboros-consensus/Ouroboros/Consensus/HardFork/Combinator.hs
[   0.27702] docspec.phase1: Ouroboros.Consensus.HardFork.Combinator.Abstract: /build/source/ouroboros-consensus/src/ouroboros-consensus/Ouroboros/Consensus/HardFork/Combinator/Abstract.hs
[   0.27719] docspec.phase1: Ouroboros.Consensus.HardFork.Combinator.Abstract.CanHardFork: /build/source/ouroboros-consensus/src/ouroboros-consensus/Ouroboros/Consensus/HardFork/Combinator/Abstract/CanHardFork.hs
[   0.27743] docspec.phase1: Ouroboros.Consensus.HardFork.Combinator.Abstract.NoHardForks: /build/source/ouroboros-consensus/src/ouroboros-consensus/Ouroboros/Consensus/HardFork/Combinator/Abstract/NoHardForks.hs
[   0.27764] docspec.phase1: Ouroboros.Consensus.HardFork.Combinator.Abstract.SingleEraBlock: /build/source/ouroboros-consensus/src/ouroboros-consensus/Ouroboros/Consensus/HardFork/Combinator/Abstract/SingleEraBlock.hs
[   0.27788] docspec.phase1: Ouroboros.Consensus.HardFork.Combinator.AcrossEras: /build/source/ouroboros-consensus/src/ouroboros-consensus/Ouroboros/Consensus/HardFork/Combinator/AcrossEras.hs
[   0.27820] docspec.phase1: Ouroboros.Consensus.HardFork.Combinator.Basics: /build/source/ouroboros-consensus/src/ouroboros-consensus/Ouroboros/Consensus/HardFork/Combinator/Basics.hs
[   0.27843] docspec.phase1: Ouroboros.Consensus.HardFork.Combinator.Block: /build/source/ouroboros-consensus/src/ouroboros-consensus/Ouroboros/Consensus/HardFork/Combinator/Block.hs
[   0.27866] docspec.phase1: Ouroboros.Consensus.HardFork.Combinator.Condense: /build/source/ouroboros-consensus/src/ouroboros-consensus/Ouroboros/Consensus/HardFork/Combinator/Condense.hs
[   0.27888] docspec.phase1: Ouroboros.Consensus.HardFork.Combinator.Degenerate: /build/source/ouroboros-consensus/src/ouroboros-consensus/Ouroboros/Consensus/HardFork/Combinator/Degenerate.hs
[   0.27915] docspec.phase1: Ouroboros.Consensus.HardFork.Combinator.Embed.Binary: /build/source/ouroboros-consensus/src/ouroboros-consensus/Ouroboros/Consensus/HardFork/Combinator/Embed/Binary.hs
[   0.27938] docspec.phase1: Ouroboros.Consensus.HardFork.Combinator.Embed.Nary: /build/source/ouroboros-consensus/src/ouroboros-consensus/Ouroboros/Consensus/HardFork/Combinator/Embed/Nary.hs
[   0.27961] docspec.phase1: Ouroboros.Consensus.HardFork.Combinator.Embed.Unary: /build/source/ouroboros-consensus/src/ouroboros-consensus/Ouroboros/Consensus/HardFork/Combinator/Embed/Unary.hs
[   0.27990] docspec.phase1: Ouroboros.Consensus.HardFork.Combinator.Forging: /build/source/ouroboros-consensus/src/ouroboros-consensus/Ouroboros/Consensus/HardFork/Combinator/Forging.hs
[   0.28051] docspec.phase1: Ouroboros.Consensus.HardFork.Combinator.Info: /build/source/ouroboros-consensus/src/ouroboros-consensus/Ouroboros/Consensus/HardFork/Combinator/Info.hs
[   0.28073] docspec.phase1: Ouroboros.Consensus.HardFork.Combinator.InjectTxs: /build/source/ouroboros-consensus/src/ouroboros-consensus/Ouroboros/Consensus/HardFork/Combinator/InjectTxs.hs
[   0.28096] docspec.phase1: Ouroboros.Consensus.HardFork.Combinator.Ledger: /build/source/ouroboros-consensus/src/ouroboros-consensus/Ouroboros/Consensus/HardFork/Combinator/Ledger.hs
[   0.28133] docspec.phase1: Ouroboros.Consensus.HardFork.Combinator.Ledger.CommonProtocolParams: /build/source/ouroboros-consensus/src/ouroboros-consensus/Ouroboros/Consensus/HardFork/Combinator/Ledger/CommonProtocolParams.hs
[   0.28152] docspec.phase1: Ouroboros.Consensus.HardFork.Combinator.Ledger.PeerSelection: /build/source/ouroboros-consensus/src/ouroboros-consensus/Ouroboros/Consensus/HardFork/Combinator/Ledger/PeerSelection.hs
[   0.28173] docspec.phase1: Ouroboros.Consensus.HardFork.Combinator.Ledger.Query: /build/source/ouroboros-consensus/src/ouroboros-consensus/Ouroboros/Consensus/HardFork/Combinator/Ledger/Query.hs
[   0.28201] docspec.phase1: Ouroboros.Consensus.HardFork.Combinator.Lifting: /build/source/ouroboros-consensus/src/ouroboros-consensus/Ouroboros/Consensus/HardFork/Combinator/Lifting.hs
[   0.28229] docspec.phase1: Ouroboros.Consensus.HardFork.Combinator.Mempool: /build/source/ouroboros-consensus/src/ouroboros-consensus/Ouroboros/Consensus/HardFork/Combinator/Mempool.hs
[   0.28258] docspec.phase1: Ouroboros.Consensus.HardFork.Combinator.NetworkVersion: /build/source/ouroboros-consensus/src/ouroboros-consensus/Ouroboros/Consensus/HardFork/Combinator/NetworkVersion.hs
[   0.28282] docspec.phase1: Ouroboros.Consensus.HardFork.Combinator.Node: /build/source/ouroboros-consensus/src/ouroboros-consensus/Ouroboros/Consensus/HardFork/Combinator/Node.hs
[   0.28305] docspec.phase1: Ouroboros.Consensus.HardFork.Combinator.Node.DiffusionPipelining: /build/source/ouroboros-consensus/src/ouroboros-consensus/Ouroboros/Consensus/HardFork/Combinator/Node/DiffusionPipelining.hs
[   0.28333] docspec.phase1: Ouroboros.Consensus.HardFork.Combinator.Node.InitStorage: /build/source/ouroboros-consensus/src/ouroboros-consensus/Ouroboros/Consensus/HardFork/Combinator/Node/InitStorage.hs
[   0.28360] docspec.phase1: Ouroboros.Consensus.HardFork.Combinator.Node.Metrics: /build/source/ouroboros-consensus/src/ouroboros-consensus/Ouroboros/Consensus/HardFork/Combinator/Node/Metrics.hs
[   0.28375] docspec.phase1: Ouroboros.Consensus.HardFork.Combinator.Node.SanityCheck: /build/source/ouroboros-consensus/src/ouroboros-consensus/Ouroboros/Consensus/HardFork/Combinator/Node/SanityCheck.hs
[   0.28396] docspec.phase1: Ouroboros.Consensus.HardFork.Combinator.PartialConfig: /build/source/ouroboros-consensus/src/ouroboros-consensus/Ouroboros/Consensus/HardFork/Combinator/PartialConfig.hs
[   0.28458] docspec.phase1: Ouroboros.Consensus.HardFork.Combinator.Protocol: /build/source/ouroboros-consensus/src/ouroboros-consensus/Ouroboros/Consensus/HardFork/Combinator/Protocol.hs
[   0.28484] docspec.phase1: Ouroboros.Consensus.HardFork.Combinator.Protocol.ChainSel: /build/source/ouroboros-consensus/src/ouroboros-consensus/Ouroboros/Consensus/HardFork/Combinator/Protocol/ChainSel.hs
[   0.28504] docspec.phase1: Ouroboros.Consensus.HardFork.Combinator.Protocol.LedgerView: /build/source/ouroboros-consensus/src/ouroboros-consensus/Ouroboros/Consensus/HardFork/Combinator/Protocol/LedgerView.hs
[   0.28532] docspec.phase1: Ouroboros.Consensus.HardFork.Combinator.Serialisation: /build/source/ouroboros-consensus/src/ouroboros-consensus/Ouroboros/Consensus/HardFork/Combinator/Serialisation.hs
[   0.28550] docspec.phase1: Ouroboros.Consensus.HardFork.Combinator.Serialisation.Common: /build/source/ouroboros-consensus/src/ouroboros-consensus/Ouroboros/Consensus/HardFork/Combinator/Serialisation/Common.hs
[   0.28587] docspec.phase1: Ouroboros.Consensus.HardFork.Combinator.Serialisation.SerialiseDisk: /build/source/ouroboros-consensus/src/ouroboros-consensus/Ouroboros/Consensus/HardFork/Combinator/Serialisation/SerialiseDisk.hs
[   0.28609] docspec.phase1: Ouroboros.Consensus.HardFork.Combinator.Serialisation.SerialiseNodeToClient: /build/source/ouroboros-consensus/src/ouroboros-consensus/Ouroboros/Consensus/HardFork/Combinator/Serialisation/SerialiseNodeToClient.hs
[   0.28640] docspec.phase1: Ouroboros.Consensus.HardFork.Combinator.Serialisation.SerialiseNodeToNode: /build/source/ouroboros-consensus/src/ouroboros-consensus/Ouroboros/Consensus/HardFork/Combinator/Serialisation/SerialiseNodeToNode.hs
[   0.28658] docspec.phase1: Ouroboros.Consensus.HardFork.Combinator.State: /build/source/ouroboros-consensus/src/ouroboros-consensus/Ouroboros/Consensus/HardFork/Combinator/State.hs
[   0.28683] docspec.phase1: Ouroboros.Consensus.HardFork.Combinator.State.Infra: /build/source/ouroboros-consensus/src/ouroboros-consensus/Ouroboros/Consensus/HardFork/Combinator/State/Infra.hs
[   0.28707] docspec.phase1: Ouroboros.Consensus.HardFork.Combinator.State.Instances: /build/source/ouroboros-consensus/src/ouroboros-consensus/Ouroboros/Consensus/HardFork/Combinator/State/Instances.hs
[   0.28738] docspec.phase1: Ouroboros.Consensus.HardFork.Combinator.State.Lift: /build/source/ouroboros-consensus/src/ouroboros-consensus/Ouroboros/Consensus/HardFork/Combinator/State/Lift.hs
[   0.28755] docspec.phase1: Ouroboros.Consensus.HardFork.Combinator.State.Types: /build/source/ouroboros-consensus/src/ouroboros-consensus/Ouroboros/Consensus/HardFork/Combinator/State/Types.hs
[   0.28780] docspec.phase1: Ouroboros.Consensus.HardFork.Combinator.Translation: /build/source/ouroboros-consensus/src/ouroboros-consensus/Ouroboros/Consensus/HardFork/Combinator/Translation.hs
[   0.28807] docspec.phase1: Ouroboros.Consensus.HardFork.History: /build/source/ouroboros-consensus/src/ouroboros-consensus/Ouroboros/Consensus/HardFork/History.hs
[   0.28869] docspec.phase1: Ouroboros.Consensus.HardFork.History.Caching: /build/source/ouroboros-consensus/src/ouroboros-consensus/Ouroboros/Consensus/HardFork/History/Caching.hs
[   0.28890] docspec.phase1: Ouroboros.Consensus.HardFork.History.EpochInfo: /build/source/ouroboros-consensus/src/ouroboros-consensus/Ouroboros/Consensus/HardFork/History/EpochInfo.hs
[   0.28912] docspec.phase1: Ouroboros.Consensus.HardFork.History.EraParams: /build/source/ouroboros-consensus/src/ouroboros-consensus/Ouroboros/Consensus/HardFork/History/EraParams.hs
[   0.28937] docspec.phase1: Ouroboros.Consensus.HardFork.History.Qry: /build/source/ouroboros-consensus/src/ouroboros-consensus/Ouroboros/Consensus/HardFork/History/Qry.hs
[   0.28969] docspec.phase1: Ouroboros.Consensus.HardFork.History.Summary: /build/source/ouroboros-consensus/src/ouroboros-consensus/Ouroboros/Consensus/HardFork/History/Summary.hs
[   0.29001] docspec.phase1: Ouroboros.Consensus.HardFork.History.Util: /build/source/ouroboros-consensus/src/ouroboros-consensus/Ouroboros/Consensus/HardFork/History/Util.hs
[   0.29028] docspec.phase1: Ouroboros.Consensus.HardFork.Simple: /build/source/ouroboros-consensus/src/ouroboros-consensus/Ouroboros/Consensus/HardFork/Simple.hs
[   0.29051] docspec.phase1: Ouroboros.Consensus.HeaderStateHistory: /build/source/ouroboros-consensus/src/ouroboros-consensus/Ouroboros/Consensus/HeaderStateHistory.hs
[   0.29086] docspec.phase1: Ouroboros.Consensus.HeaderValidation: /build/source/ouroboros-consensus/src/ouroboros-consensus/Ouroboros/Consensus/HeaderValidation.hs
[   0.29127] docspec.phase1: Ouroboros.Consensus.Ledger.Abstract: /build/source/ouroboros-consensus/src/ouroboros-consensus/Ouroboros/Consensus/Ledger/Abstract.hs
[   0.29151] docspec.phase1: Ouroboros.Consensus.Ledger.Basics: /build/source/ouroboros-consensus/src/ouroboros-consensus/Ouroboros/Consensus/Ledger/Basics.hs
[   0.32881] docspec.phase1: Ouroboros.Consensus.Ledger.CommonProtocolParams: /build/source/ouroboros-consensus/src/ouroboros-consensus/Ouroboros/Consensus/Ledger/CommonProtocolParams.hs
[   0.32913] docspec.phase1: Ouroboros.Consensus.Ledger.Dual: /build/source/ouroboros-consensus/src/ouroboros-consensus/Ouroboros/Consensus/Ledger/Dual.hs
[   0.34003] docspec.phase1: Ouroboros.Consensus.Ledger.Extended: /build/source/ouroboros-consensus/src/ouroboros-consensus/Ouroboros/Consensus/Ledger/Extended.hs
[   0.36554] docspec.phase1: Ouroboros.Consensus.Ledger.Inspect: /build/source/ouroboros-consensus/src/ouroboros-consensus/Ouroboros/Consensus/Ledger/Inspect.hs
[   0.36594] docspec.phase1: Ouroboros.Consensus.Ledger.Query: /build/source/ouroboros-consensus/src/ouroboros-consensus/Ouroboros/Consensus/Ledger/Query.hs
[   0.37684] docspec.phase1: Ouroboros.Consensus.Ledger.Query.Version: /build/source/ouroboros-consensus/src/ouroboros-consensus/Ouroboros/Consensus/Ledger/Query/Version.hs
[   0.37743] docspec.phase1: Ouroboros.Consensus.Ledger.SupportsMempool: /build/source/ouroboros-consensus/src/ouroboros-consensus/Ouroboros/Consensus/Ledger/SupportsMempool.hs
[   0.37862] docspec.phase1: Ouroboros.Consensus.Ledger.SupportsPeerSelection: /build/source/ouroboros-consensus/src/ouroboros-consensus/Ouroboros/Consensus/Ledger/SupportsPeerSelection.hs
[   0.37897] docspec.phase1: Ouroboros.Consensus.Ledger.SupportsProtocol: /build/source/ouroboros-consensus/src/ouroboros-consensus/Ouroboros/Consensus/Ledger/SupportsProtocol.hs
[   0.37951] docspec.phase1: Ouroboros.Consensus.Ledger.Tables: /build/source/ouroboros-consensus/src/ouroboros-consensus/Ouroboros/Consensus/Ledger/Tables.hs
[   0.39747] docspec.phase1: Ouroboros.Consensus.Ledger.Tables.Basics: /build/source/ouroboros-consensus/src/ouroboros-consensus/Ouroboros/Consensus/Ledger/Tables/Basics.hs
[   0.39808] docspec.phase1: Ouroboros.Consensus.Ledger.Tables.Combinators: /build/source/ouroboros-consensus/src/ouroboros-consensus/Ouroboros/Consensus/Ledger/Tables/Combinators.hs
[   0.39860] docspec.phase1: Ouroboros.Consensus.Ledger.Tables.Diff: /build/source/ouroboros-consensus/src/ouroboros-consensus/Ouroboros/Consensus/Ledger/Tables/Diff.hs
[   0.39900] docspec.phase1: Ouroboros.Consensus.Ledger.Tables.MapKind: /build/source/ouroboros-consensus/src/ouroboros-consensus/Ouroboros/Consensus/Ledger/Tables/MapKind.hs
[   0.40014] docspec.phase1: Ouroboros.Consensus.Ledger.Tables.Utils: /build/source/ouroboros-consensus/src/ouroboros-consensus/Ouroboros/Consensus/Ledger/Tables/Utils.hs
[   0.40065] docspec.phase1: Ouroboros.Consensus.Mempool: /build/source/ouroboros-consensus/src/ouroboros-consensus/Ouroboros/Consensus/Mempool.hs
[   0.40137] docspec.phase1: Ouroboros.Consensus.Mempool.API: /build/source/ouroboros-consensus/src/ouroboros-consensus/Ouroboros/Consensus/Mempool/API.hs
[   0.40227] docspec.phase1: Ouroboros.Consensus.Mempool.Capacity: /build/source/ouroboros-consensus/src/ouroboros-consensus/Ouroboros/Consensus/Mempool/Capacity.hs
[   0.40269] docspec.phase1: Ouroboros.Consensus.Mempool.Impl.Common: /build/source/ouroboros-consensus/src/ouroboros-consensus/Ouroboros/Consensus/Mempool/Impl/Common.hs
[   0.40384] docspec.phase1: Ouroboros.Consensus.Mempool.Init: /build/source/ouroboros-consensus/src/ouroboros-consensus/Ouroboros/Consensus/Mempool/Init.hs
[   0.40422] docspec.phase1: Ouroboros.Consensus.Mempool.Query: /build/source/ouroboros-consensus/src/ouroboros-consensus/Ouroboros/Consensus/Mempool/Query.hs
[   0.40458] docspec.phase1: Ouroboros.Consensus.Mempool.TxSeq: /build/source/ouroboros-consensus/src/ouroboros-consensus/Ouroboros/Consensus/Mempool/TxSeq.hs
[   0.40517] docspec.phase1: Ouroboros.Consensus.Mempool.Update: /build/source/ouroboros-consensus/src/ouroboros-consensus/Ouroboros/Consensus/Mempool/Update.hs
[   0.40573] docspec.phase1: Ouroboros.Consensus.MiniProtocol.BlockFetch.ClientInterface: /build/source/ouroboros-consensus/src/ouroboros-consensus/Ouroboros/Consensus/MiniProtocol/BlockFetch/ClientInterface.hs
[   0.40617] docspec.phase1: Ouroboros.Consensus.MiniProtocol.BlockFetch.Server: /build/source/ouroboros-consensus/src/ouroboros-consensus/Ouroboros/Consensus/MiniProtocol/BlockFetch/Server.hs
[   0.40696] docspec.phase1: Ouroboros.Consensus.MiniProtocol.ChainSync.Client: /build/source/ouroboros-consensus/src/ouroboros-consensus/Ouroboros/Consensus/MiniProtocol/ChainSync/Client.hs
[   0.40806] docspec.phase1: Ouroboros.Consensus.MiniProtocol.ChainSync.Client.HistoricityCheck: /build/source/ouroboros-consensus/src/ouroboros-consensus/Ouroboros/Consensus/MiniProtocol/ChainSync/Client/HistoricityCheck.hs
[   0.40879] docspec.phase1: Ouroboros.Consensus.MiniProtocol.ChainSync.Client.InFutureCheck: /build/source/ouroboros-consensus/src/ouroboros-consensus/Ouroboros/Consensus/MiniProtocol/ChainSync/Client/InFutureCheck.hs
[   0.40943] docspec.phase1: Ouroboros.Consensus.MiniProtocol.ChainSync.Client.Jumping: /build/source/ouroboros-consensus/src/ouroboros-consensus/Ouroboros/Consensus/MiniProtocol/ChainSync/Client/Jumping.hs
[   0.41204] docspec.phase1: Ouroboros.Consensus.MiniProtocol.ChainSync.Client.State: /build/source/ouroboros-consensus/src/ouroboros-consensus/Ouroboros/Consensus/MiniProtocol/ChainSync/Client/State.hs
[   0.41282] docspec.phase1: Ouroboros.Consensus.MiniProtocol.ChainSync.Server: /build/source/ouroboros-consensus/src/ouroboros-consensus/Ouroboros/Consensus/MiniProtocol/ChainSync/Server.hs
[   0.41332] docspec.phase1: Ouroboros.Consensus.MiniProtocol.LocalStateQuery.Server: /build/source/ouroboros-consensus/src/ouroboros-consensus/Ouroboros/Consensus/MiniProtocol/LocalStateQuery/Server.hs
[   0.41393] docspec.phase1: Ouroboros.Consensus.MiniProtocol.LocalTxMonitor.Server: /build/source/ouroboros-consensus/src/ouroboros-consensus/Ouroboros/Consensus/MiniProtocol/LocalTxMonitor/Server.hs
[   0.41508] docspec.phase1: Ouroboros.Consensus.MiniProtocol.LocalTxSubmission.Server: /build/source/ouroboros-consensus/src/ouroboros-consensus/Ouroboros/Consensus/MiniProtocol/LocalTxSubmission/Server.hs
[   0.41556] docspec.phase1: Ouroboros.Consensus.Node.GsmState: /build/source/ouroboros-consensus/src/ouroboros-consensus/Ouroboros/Consensus/Node/GsmState.hs
[   0.41597] docspec.phase1: Ouroboros.Consensus.Node.InitStorage: /build/source/ouroboros-consensus/src/ouroboros-consensus/Ouroboros/Consensus/Node/InitStorage.hs
[   0.41633] docspec.phase1: Ouroboros.Consensus.Node.NetworkProtocolVersion: /build/source/ouroboros-consensus/src/ouroboros-consensus/Ouroboros/Consensus/Node/NetworkProtocolVersion.hs
[   0.41674] docspec.phase1: Ouroboros.Consensus.Node.ProtocolInfo: /build/source/ouroboros-consensus/src/ouroboros-consensus/Ouroboros/Consensus/Node/ProtocolInfo.hs
[   0.41792] docspec.phase1: Ouroboros.Consensus.Node.Run: /build/source/ouroboros-consensus/src/ouroboros-consensus/Ouroboros/Consensus/Node/Run.hs
[   0.41844] docspec.phase1: Ouroboros.Consensus.Node.Serialisation: /build/source/ouroboros-consensus/src/ouroboros-consensus/Ouroboros/Consensus/Node/Serialisation.hs
[   0.41903] docspec.phase1: Ouroboros.Consensus.NodeId: /build/source/ouroboros-consensus/src/ouroboros-consensus/Ouroboros/Consensus/NodeId.hs
[   0.41965] docspec.phase1: Ouroboros.Consensus.Peras.SelectView: /build/source/ouroboros-consensus/src/ouroboros-consensus/Ouroboros/Consensus/Peras/SelectView.hs
[   0.42039] docspec.phase1: Ouroboros.Consensus.Peras.Weight: /build/source/ouroboros-consensus/src/ouroboros-consensus/Ouroboros/Consensus/Peras/Weight.hs
[   0.42216] docspec.phase1: Ouroboros.Consensus.Protocol.Abstract: /build/source/ouroboros-consensus/src/ouroboros-consensus/Ouroboros/Consensus/Protocol/Abstract.hs
[   0.42277] docspec.phase1: Ouroboros.Consensus.Protocol.BFT: /build/source/ouroboros-consensus/src/ouroboros-consensus/Ouroboros/Consensus/Protocol/BFT.hs
[   0.42549] docspec.phase1: Ouroboros.Consensus.Protocol.LeaderSchedule: /build/source/ouroboros-consensus/src/ouroboros-consensus/Ouroboros/Consensus/Protocol/LeaderSchedule.hs
[   0.42597] docspec.phase1: Ouroboros.Consensus.Protocol.MockChainSel: /build/source/ouroboros-consensus/src/ouroboros-consensus/Ouroboros/Consensus/Protocol/MockChainSel.hs
[   0.42642] docspec.phase1: Ouroboros.Consensus.Protocol.ModChainSel: /build/source/ouroboros-consensus/src/ouroboros-consensus/Ouroboros/Consensus/Protocol/ModChainSel.hs
[   0.42686] docspec.phase1: Ouroboros.Consensus.Protocol.PBFT: /build/source/ouroboros-consensus/src/ouroboros-consensus/Ouroboros/Consensus/Protocol/PBFT.hs
[   0.43948] docspec.phase1: Ouroboros.Consensus.Protocol.PBFT.Crypto: /build/source/ouroboros-consensus/src/ouroboros-consensus/Ouroboros/Consensus/Protocol/PBFT/Crypto.hs
[   0.43998] docspec.phase1: Ouroboros.Consensus.Protocol.PBFT.State: /build/source/ouroboros-consensus/src/ouroboros-consensus/Ouroboros/Consensus/Protocol/PBFT/State.hs
[   0.44063] docspec.phase1: Ouroboros.Consensus.Protocol.Signed: /build/source/ouroboros-consensus/src/ouroboros-consensus/Ouroboros/Consensus/Protocol/Signed.hs
[   0.44313] docspec.phase1: Ouroboros.Consensus.Storage.ChainDB: /build/source/ouroboros-consensus/src/ouroboros-consensus/Ouroboros/Consensus/Storage/ChainDB.hs
[   0.44470] docspec.phase1: Ouroboros.Consensus.Storage.ChainDB.API: /build/source/ouroboros-consensus/src/ouroboros-consensus/Ouroboros/Consensus/Storage/ChainDB/API.hs
[   0.44591] docspec.phase1: Ouroboros.Consensus.Storage.ChainDB.API.Types.InvalidBlockPunishment: /build/source/ouroboros-consensus/src/ouroboros-consensus/Ouroboros/Consensus/Storage/ChainDB/API/Types/InvalidBlockPunishment.hs
[   0.44649] docspec.phase1: Ouroboros.Consensus.Storage.ChainDB.Impl: /build/source/ouroboros-consensus/src/ouroboros-consensus/Ouroboros/Consensus/Storage/ChainDB/Impl.hs
[   0.44729] docspec.phase1: Ouroboros.Consensus.Storage.ChainDB.Impl.Args: /build/source/ouroboros-consensus/src/ouroboros-consensus/Ouroboros/Consensus/Storage/ChainDB/Impl/Args.hs
[   0.44785] docspec.phase1: Ouroboros.Consensus.Storage.ChainDB.Impl.Background: /build/source/ouroboros-consensus/src/ouroboros-consensus/Ouroboros/Consensus/Storage/ChainDB/Impl/Background.hs
[   0.44866] docspec.phase1: Ouroboros.Consensus.Storage.ChainDB.Impl.BlockCache: /build/source/ouroboros-consensus/src/ouroboros-consensus/Ouroboros/Consensus/Storage/ChainDB/Impl/BlockCache.hs
[   0.44906] docspec.phase1: Ouroboros.Consensus.Storage.ChainDB.Impl.ChainSel: /build/source/ouroboros-consensus/src/ouroboros-consensus/Ouroboros/Consensus/Storage/ChainDB/Impl/ChainSel.hs
[   0.44987] docspec.phase1: Ouroboros.Consensus.Storage.ChainDB.Impl.Follower: /build/source/ouroboros-consensus/src/ouroboros-consensus/Ouroboros/Consensus/Storage/ChainDB/Impl/Follower.hs
[   0.45071] docspec.phase1: Ouroboros.Consensus.Storage.ChainDB.Impl.Iterator: /build/source/ouroboros-consensus/src/ouroboros-consensus/Ouroboros/Consensus/Storage/ChainDB/Impl/Iterator.hs
[   0.45140] docspec.phase1: Ouroboros.Consensus.Storage.ChainDB.Impl.Paths: /build/source/ouroboros-consensus/src/ouroboros-consensus/Ouroboros/Consensus/Storage/ChainDB/Impl/Paths.hs
[   0.45201] docspec.phase1: Ouroboros.Consensus.Storage.ChainDB.Impl.Query: /build/source/ouroboros-consensus/src/ouroboros-consensus/Ouroboros/Consensus/Storage/ChainDB/Impl/Query.hs
[   0.45252] docspec.phase1: Ouroboros.Consensus.Storage.ChainDB.Impl.Types: /build/source/ouroboros-consensus/src/ouroboros-consensus/Ouroboros/Consensus/Storage/ChainDB/Impl/Types.hs
[   0.45458] docspec.phase1: Ouroboros.Consensus.Storage.ChainDB.Init: /build/source/ouroboros-consensus/src/ouroboros-consensus/Ouroboros/Consensus/Storage/ChainDB/Init.hs
[   0.45501] docspec.phase1: Ouroboros.Consensus.Storage.Common: /build/source/ouroboros-consensus/src/ouroboros-consensus/Ouroboros/Consensus/Storage/Common.hs
[   0.45543] docspec.phase1: Ouroboros.Consensus.Storage.ImmutableDB: /build/source/ouroboros-consensus/src/ouroboros-consensus/Ouroboros/Consensus/Storage/ImmutableDB.hs
[   0.45557] docspec.phase1: Ouroboros.Consensus.Storage.ImmutableDB.API: /build/source/ouroboros-consensus/src/ouroboros-consensus/Ouroboros/Consensus/Storage/ImmutableDB/API.hs
[   0.45601] docspec.phase1: Ouroboros.Consensus.Storage.ImmutableDB.Chunks: /build/source/ouroboros-consensus/src/ouroboros-consensus/Ouroboros/Consensus/Storage/ImmutableDB/Chunks.hs
[   0.45631] docspec.phase1: Ouroboros.Consensus.Storage.ImmutableDB.Chunks.Internal: /build/source/ouroboros-consensus/src/ouroboros-consensus/Ouroboros/Consensus/Storage/ImmutableDB/Chunks/Internal.hs
[   0.46570] docspec.phase1: Ouroboros.Consensus.Storage.ImmutableDB.Chunks.Layout: /build/source/ouroboros-consensus/src/ouroboros-consensus/Ouroboros/Consensus/Storage/ImmutableDB/Chunks/Layout.hs
[   0.46648] docspec.phase1: Ouroboros.Consensus.Storage.ImmutableDB.Impl: /build/source/ouroboros-consensus/src/ouroboros-consensus/Ouroboros/Consensus/Storage/ImmutableDB/Impl.hs
[   0.46704] docspec.phase1: Ouroboros.Consensus.Storage.ImmutableDB.Impl.Index: /build/source/ouroboros-consensus/src/ouroboros-consensus/Ouroboros/Consensus/Storage/ImmutableDB/Impl/Index.hs
[   0.46801] docspec.phase1: Ouroboros.Consensus.Storage.ImmutableDB.Impl.Index.Cache: /build/source/ouroboros-consensus/src/ouroboros-consensus/Ouroboros/Consensus/Storage/ImmutableDB/Impl/Index/Cache.hs
[   0.46902] docspec.phase1: Ouroboros.Consensus.Storage.ImmutableDB.Impl.Index.Primary: /build/source/ouroboros-consensus/src/ouroboros-consensus/Ouroboros/Consensus/Storage/ImmutableDB/Impl/Index/Primary.hs
[   0.46995] docspec.phase1: Ouroboros.Consensus.Storage.ImmutableDB.Impl.Index.Secondary: /build/source/ouroboros-consensus/src/ouroboros-consensus/Ouroboros/Consensus/Storage/ImmutableDB/Impl/Index/Secondary.hs
[   0.47085] docspec.phase1: Ouroboros.Consensus.Storage.ImmutableDB.Impl.Iterator: /build/source/ouroboros-consensus/src/ouroboros-consensus/Ouroboros/Consensus/Storage/ImmutableDB/Impl/Iterator.hs
[   0.47144] docspec.phase1: Ouroboros.Consensus.Storage.ImmutableDB.Impl.Parser: /build/source/ouroboros-consensus/src/ouroboros-consensus/Ouroboros/Consensus/Storage/ImmutableDB/Impl/Parser.hs
[   0.47198] docspec.phase1: Ouroboros.Consensus.Storage.ImmutableDB.Impl.State: /build/source/ouroboros-consensus/src/ouroboros-consensus/Ouroboros/Consensus/Storage/ImmutableDB/Impl/State.hs
[   0.47272] docspec.phase1: Ouroboros.Consensus.Storage.ImmutableDB.Impl.Types: /build/source/ouroboros-consensus/src/ouroboros-consensus/Ouroboros/Consensus/Storage/ImmutableDB/Impl/Types.hs
[   0.47310] docspec.phase1: Ouroboros.Consensus.Storage.ImmutableDB.Impl.Util: /build/source/ouroboros-consensus/src/ouroboros-consensus/Ouroboros/Consensus/Storage/ImmutableDB/Impl/Util.hs
[   0.47370] docspec.phase1: Ouroboros.Consensus.Storage.ImmutableDB.Impl.Validation: /build/source/ouroboros-consensus/src/ouroboros-consensus/Ouroboros/Consensus/Storage/ImmutableDB/Impl/Validation.hs
[   0.47415] docspec.phase1: Ouroboros.Consensus.Storage.ImmutableDB.Stream: /build/source/ouroboros-consensus/src/ouroboros-consensus/Ouroboros/Consensus/Storage/ImmutableDB/Stream.hs
[   0.47458] docspec.phase1: Ouroboros.Consensus.Storage.LedgerDB: /build/source/ouroboros-consensus/src/ouroboros-consensus/Ouroboros/Consensus/Storage/LedgerDB.hs
[   0.47502] docspec.phase1: Ouroboros.Consensus.Storage.LedgerDB.API: /build/source/ouroboros-consensus/src/ouroboros-consensus/Ouroboros/Consensus/Storage/LedgerDB/API.hs
[   0.47780] docspec.phase1: Ouroboros.Consensus.Storage.LedgerDB.Args: /build/source/ouroboros-consensus/src/ouroboros-consensus/Ouroboros/Consensus/Storage/LedgerDB/Args.hs
[   0.47833] docspec.phase1: Ouroboros.Consensus.Storage.LedgerDB.Forker: /build/source/ouroboros-consensus/src/ouroboros-consensus/Ouroboros/Consensus/Storage/LedgerDB/Forker.hs
[   0.47931] docspec.phase1: Ouroboros.Consensus.Storage.LedgerDB.Snapshots: /build/source/ouroboros-consensus/src/ouroboros-consensus/Ouroboros/Consensus/Storage/LedgerDB/Snapshots.hs
[   0.48008] docspec.phase1: Ouroboros.Consensus.Storage.LedgerDB.TraceEvent: /build/source/ouroboros-consensus/src/ouroboros-consensus/Ouroboros/Consensus/Storage/LedgerDB/TraceEvent.hs
[   0.48070] docspec.phase1: Ouroboros.Consensus.Storage.LedgerDB.V1: /build/source/ouroboros-consensus/src/ouroboros-consensus/Ouroboros/Consensus/Storage/LedgerDB/V1.hs
[   0.48153] docspec.phase1: Ouroboros.Consensus.Storage.LedgerDB.V1.Args: /build/source/ouroboros-consensus/src/ouroboros-consensus/Ouroboros/Consensus/Storage/LedgerDB/V1/Args.hs
[   0.48198] docspec.phase1: Ouroboros.Consensus.Storage.LedgerDB.V1.BackingStore: /build/source/ouroboros-consensus/src/ouroboros-consensus/Ouroboros/Consensus/Storage/LedgerDB/V1/BackingStore.hs
[   0.48247] docspec.phase1: Ouroboros.Consensus.Storage.LedgerDB.V1.BackingStore.API: /build/source/ouroboros-consensus/src/ouroboros-consensus/Ouroboros/Consensus/Storage/LedgerDB/V1/BackingStore/API.hs
[   0.48301] docspec.phase1: Ouroboros.Consensus.Storage.LedgerDB.V1.BackingStore.Impl.InMemory: /build/source/ouroboros-consensus/src/ouroboros-consensus/Ouroboros/Consensus/Storage/LedgerDB/V1/BackingStore/Impl/InMemory.hs
[   0.48363] docspec.phase1: Ouroboros.Consensus.Storage.LedgerDB.V1.DbChangelog: /build/source/ouroboros-consensus/src/ouroboros-consensus/Ouroboros/Consensus/Storage/LedgerDB/V1/DbChangelog.hs
[   0.48632] docspec.phase1: Ouroboros.Consensus.Storage.LedgerDB.V1.DiffSeq: /build/source/ouroboros-consensus/src/ouroboros-consensus/Ouroboros/Consensus/Storage/LedgerDB/V1/DiffSeq.hs
[   0.48711] docspec.phase1: Ouroboros.Consensus.Storage.LedgerDB.V1.Forker: /build/source/ouroboros-consensus/src/ouroboros-consensus/Ouroboros/Consensus/Storage/LedgerDB/V1/Forker.hs
[   0.48772] docspec.phase1: Ouroboros.Consensus.Storage.LedgerDB.V1.Lock: /build/source/ouroboros-consensus/src/ouroboros-consensus/Ouroboros/Consensus/Storage/LedgerDB/V1/Lock.hs
[   0.48809] docspec.phase1: Ouroboros.Consensus.Storage.LedgerDB.V1.Snapshots: /build/source/ouroboros-consensus/src/ouroboros-consensus/Ouroboros/Consensus/Storage/LedgerDB/V1/Snapshots.hs
[   0.49135] docspec.phase1: Ouroboros.Consensus.Storage.LedgerDB.V2: /build/source/ouroboros-consensus/src/ouroboros-consensus/Ouroboros/Consensus/Storage/LedgerDB/V2.hs
[   0.49208] docspec.phase1: Ouroboros.Consensus.Storage.LedgerDB.V2.Backend: /build/source/ouroboros-consensus/src/ouroboros-consensus/Ouroboros/Consensus/Storage/LedgerDB/V2/Backend.hs
[   0.49255] docspec.phase1: Ouroboros.Consensus.Storage.LedgerDB.V2.Forker: /build/source/ouroboros-consensus/src/ouroboros-consensus/Ouroboros/Consensus/Storage/LedgerDB/V2/Forker.hs
[   0.49319] docspec.phase1: Ouroboros.Consensus.Storage.LedgerDB.V2.InMemory: /build/source/ouroboros-consensus/src/ouroboros-consensus/Ouroboros/Consensus/Storage/LedgerDB/V2/InMemory.hs
[   0.49396] docspec.phase1: Ouroboros.Consensus.Storage.LedgerDB.V2.LedgerSeq: /build/source/ouroboros-consensus/src/ouroboros-consensus/Ouroboros/Consensus/Storage/LedgerDB/V2/LedgerSeq.hs
[   0.49522] docspec.phase1: Ouroboros.Consensus.Storage.PerasCertDB: /build/source/ouroboros-consensus/src/ouroboros-consensus/Ouroboros/Consensus/Storage/PerasCertDB.hs
[   0.49569] docspec.phase1: Ouroboros.Consensus.Storage.PerasCertDB.API: /build/source/ouroboros-consensus/src/ouroboros-consensus/Ouroboros/Consensus/Storage/PerasCertDB/API.hs
[   0.49657] docspec.phase1: Ouroboros.Consensus.Storage.PerasCertDB.Impl: /build/source/ouroboros-consensus/src/ouroboros-consensus/Ouroboros/Consensus/Storage/PerasCertDB/Impl.hs
[   0.49761] docspec.phase1: Ouroboros.Consensus.Storage.Serialisation: /build/source/ouroboros-consensus/src/ouroboros-consensus/Ouroboros/Consensus/Storage/Serialisation.hs
[   0.49850] docspec.phase1: Ouroboros.Consensus.Storage.VolatileDB: /build/source/ouroboros-consensus/src/ouroboros-consensus/Ouroboros/Consensus/Storage/VolatileDB.hs
[   0.49871] docspec.phase1: Ouroboros.Consensus.Storage.VolatileDB.API: /build/source/ouroboros-consensus/src/ouroboros-consensus/Ouroboros/Consensus/Storage/VolatileDB/API.hs
[   0.49942] docspec.phase1: Ouroboros.Consensus.Storage.VolatileDB.Impl: /build/source/ouroboros-consensus/src/ouroboros-consensus/Ouroboros/Consensus/Storage/VolatileDB/Impl.hs
[   0.50218] docspec.phase1: Ouroboros.Consensus.Storage.VolatileDB.Impl.FileInfo: /build/source/ouroboros-consensus/src/ouroboros-consensus/Ouroboros/Consensus/Storage/VolatileDB/Impl/FileInfo.hs
[   0.50261] docspec.phase1: Ouroboros.Consensus.Storage.VolatileDB.Impl.Index: /build/source/ouroboros-consensus/src/ouroboros-consensus/Ouroboros/Consensus/Storage/VolatileDB/Impl/Index.hs
[   0.50319] docspec.phase1: Ouroboros.Consensus.Storage.VolatileDB.Impl.Parser: /build/source/ouroboros-consensus/src/ouroboros-consensus/Ouroboros/Consensus/Storage/VolatileDB/Impl/Parser.hs
[   0.50420] docspec.phase1: Ouroboros.Consensus.Storage.VolatileDB.Impl.State: /build/source/ouroboros-consensus/src/ouroboros-consensus/Ouroboros/Consensus/Storage/VolatileDB/Impl/State.hs
[   0.50515] docspec.phase1: Ouroboros.Consensus.Storage.VolatileDB.Impl.Types: /build/source/ouroboros-consensus/src/ouroboros-consensus/Ouroboros/Consensus/Storage/VolatileDB/Impl/Types.hs
[   0.50555] docspec.phase1: Ouroboros.Consensus.Storage.VolatileDB.Impl.Util: /build/source/ouroboros-consensus/src/ouroboros-consensus/Ouroboros/Consensus/Storage/VolatileDB/Impl/Util.hs
[   0.50586] docspec.phase1: Ouroboros.Consensus.Ticked: /build/source/ouroboros-consensus/src/ouroboros-consensus/Ouroboros/Consensus/Ticked.hs
[   0.50622] docspec.phase1: Ouroboros.Consensus.TypeFamilyWrappers: /build/source/ouroboros-consensus/src/ouroboros-consensus/Ouroboros/Consensus/TypeFamilyWrappers.hs
[   0.50650] docspec.phase1: Ouroboros.Consensus.Util: /build/source/ouroboros-consensus/src/ouroboros-consensus/Ouroboros/Consensus/Util.hs
[   0.51441] docspec.phase1: Ouroboros.Consensus.Util.AnchoredFragment: /build/source/ouroboros-consensus/src/ouroboros-consensus/Ouroboros/Consensus/Util/AnchoredFragment.hs
[   0.51481] docspec.phase1: Ouroboros.Consensus.Util.AnchoredSeq: /build/source/ouroboros-consensus/src/ouroboros-consensus/Ouroboros/Consensus/Util/AnchoredSeq.hs
[   0.51517] docspec.phase1: Ouroboros.Consensus.Util.Args: /build/source/ouroboros-consensus/src/ouroboros-consensus/Ouroboros/Consensus/Util/Args.hs
[   0.51555] docspec.phase1: Ouroboros.Consensus.Util.Assert: /build/source/ouroboros-consensus/src/ouroboros-consensus/Ouroboros/Consensus/Util/Assert.hs
[   0.52290] docspec.phase1: Ouroboros.Consensus.Util.CBOR: /build/source/ouroboros-consensus/src/ouroboros-consensus/Ouroboros/Consensus/Util/CBOR.hs
[   0.52325] docspec.phase1: Ouroboros.Consensus.Util.CRC: /build/source/ouroboros-consensus/src/ouroboros-consensus/Ouroboros/Consensus/Util/CRC.hs
[   0.52348] docspec.phase1: Ouroboros.Consensus.Util.CallStack: /build/source/ouroboros-consensus/src/ouroboros-consensus/Ouroboros/Consensus/Util/CallStack.hs
[   0.52368] docspec.phase1: Ouroboros.Consensus.Util.Condense: /build/source/ouroboros-consensus/src/ouroboros-consensus/Ouroboros/Consensus/Util/Condense.hs
[   0.52402] docspec.phase1: Ouroboros.Consensus.Util.DepPair: /build/source/ouroboros-consensus/src/ouroboros-consensus/Ouroboros/Consensus/Util/DepPair.hs
[   0.52440] docspec.phase1: Ouroboros.Consensus.Util.EarlyExit: /build/source/ouroboros-consensus/src/ouroboros-consensus/Ouroboros/Consensus/Util/EarlyExit.hs
[   0.53408] docspec.phase1: Ouroboros.Consensus.Util.Enclose: /build/source/ouroboros-consensus/src/ouroboros-consensus/Ouroboros/Consensus/Util/Enclose.hs
[   0.53436] docspec.phase1: Ouroboros.Consensus.Util.FileLock: /build/source/ouroboros-consensus/src/ouroboros-consensus/Ouroboros/Consensus/Util/FileLock.hs
[   0.53486] docspec.phase1: Ouroboros.Consensus.Util.HList: /build/source/ouroboros-consensus/src/ouroboros-consensus/Ouroboros/Consensus/Util/HList.hs
[   0.53512] docspec.phase1: Ouroboros.Consensus.Util.IOLike: /build/source/ouroboros-consensus/src/ouroboros-consensus/Ouroboros/Consensus/Util/IOLike.hs
[   0.53540] docspec.phase1: Ouroboros.Consensus.Util.IndexedMemPack: /build/source/ouroboros-consensus/src/ouroboros-consensus/Ouroboros/Consensus/Util/IndexedMemPack.hs
[   0.53570] docspec.phase1: Ouroboros.Consensus.Util.LeakyBucket: /build/source/ouroboros-consensus/src/ouroboros-consensus/Ouroboros/Consensus/Util/LeakyBucket.hs
[   0.53612] docspec.phase1: Ouroboros.Consensus.Util.MonadSTM.NormalForm: /build/source/ouroboros-consensus/src/ouroboros-consensus/Ouroboros/Consensus/Util/MonadSTM/NormalForm.hs
[   0.53648] docspec.phase1: Ouroboros.Consensus.Util.MonadSTM.StrictSVar: /build/source/ouroboros-consensus/src/ouroboros-consensus/Ouroboros/Consensus/Util/MonadSTM/StrictSVar.hs
[   0.53676] docspec.phase1: Ouroboros.Consensus.Util.NormalForm.Invariant: /build/source/ouroboros-consensus/src/ouroboros-consensus/Ouroboros/Consensus/Util/NormalForm/Invariant.hs
[   0.56334] docspec.phase1: Ouroboros.Consensus.Util.NormalForm.StrictMVar: /build/source/ouroboros-consensus/src/ouroboros-consensus/Ouroboros/Consensus/Util/NormalForm/StrictMVar.hs
[   0.56368] docspec.phase1: Ouroboros.Consensus.Util.NormalForm.StrictTVar: /build/source/ouroboros-consensus/src/ouroboros-consensus/Ouroboros/Consensus/Util/NormalForm/StrictTVar.hs
[   0.56395] docspec.phase1: Ouroboros.Consensus.Util.Orphans: /build/source/ouroboros-consensus/src/ouroboros-consensus/Ouroboros/Consensus/Util/Orphans.hs
[   0.56420] docspec.phase1: Ouroboros.Consensus.Util.RedundantConstraints: /build/source/ouroboros-consensus/src/ouroboros-consensus/Ouroboros/Consensus/Util/RedundantConstraints.hs
[   0.56440] docspec.phase1: Ouroboros.Consensus.Util.STM: /build/source/ouroboros-consensus/src/ouroboros-consensus/Ouroboros/Consensus/Util/STM.hs
[   0.56473] docspec.phase1: Ouroboros.Consensus.Util.Time: /build/source/ouroboros-consensus/src/ouroboros-consensus/Ouroboros/Consensus/Util/Time.hs
[   0.56492] docspec.phase1: Ouroboros.Consensus.Util.Versioned: /build/source/ouroboros-consensus/src/ouroboros-consensus/Ouroboros/Consensus/Util/Versioned.hs
[   1.21980] docspec.phase2: Ouroboros.Consensus.HardFork.Combinator.Ledger
[   2.21999] docspec.phase2: Ouroboros.Consensus.Ledger.Basics
[   2.23715] warning[-Wskipped-property]: in comment at 176:3 skipping ledgerTipPoint (applyChainTick cfg slot st) == ledgerTipPoint st
[   2.23724] docspec.phase2: Ouroboros.Consensus.Mempool.API
[   2.25271] error: isStrictlyMonotoneIncreasing ([] :: [Int])
[   2.25279] error: in comment at 441:1
-True
+
+<interactive>:84:1: error: [GHC-88464]
+    Variable not in scope: isStrictlyMonotoneIncreasing :: [Int] -> t
[   2.25288] info: Actual result:

<interactive>:84:1: error: [GHC-88464]
    Variable not in scope: isStrictlyMonotoneIncreasing :: [Int] -> t

[   2.25292] docspec.phase2: Ouroboros.Consensus.Peras.Weight
[   2.66082] docspec.phase2: Ouroboros.Consensus.Storage.LedgerDB.API
[   3.10795] docspec.phase2: Ouroboros.Consensus.Storage.LedgerDB.V2.LedgerSeq
[   4.39921] docspec.phase2: Ouroboros.Consensus.Util
[   4.41549] docspec.phase2: Ouroboros.Consensus.Util.Enclose
[   4.52492] docspec.component: ouroboros-consensus-cardano-0.26.0.0 lib
[   4.53186] docspec.phase1: Ouroboros.Consensus.Byron.ByronHFC: /build/source/ouroboros-consensus-cardano/src/byron/Ouroboros/Consensus/Byron/ByronHFC.hs
[   4.53229] docspec.phase1: Ouroboros.Consensus.Byron.Crypto.DSIGN: /build/source/ouroboros-consensus-cardano/src/byron/Ouroboros/Consensus/Byron/Crypto/DSIGN.hs
[   4.53265] docspec.phase1: Ouroboros.Consensus.Byron.EBBs: /build/source/ouroboros-consensus-cardano/src/byron/Ouroboros/Consensus/Byron/EBBs.hs
[   4.53303] docspec.phase1: Ouroboros.Consensus.Byron.Ledger: /build/source/ouroboros-consensus-cardano/src/byron/Ouroboros/Consensus/Byron/Ledger.hs
[   4.53323] docspec.phase1: Ouroboros.Consensus.Byron.Ledger.Block: /build/source/ouroboros-consensus-cardano/src/byron/Ouroboros/Consensus/Byron/Ledger/Block.hs
[   4.53355] docspec.phase1: Ouroboros.Consensus.Byron.Ledger.Config: /build/source/ouroboros-consensus-cardano/src/byron/Ouroboros/Consensus/Byron/Ledger/Config.hs
[   4.53381] docspec.phase1: Ouroboros.Consensus.Byron.Ledger.Conversions: /build/source/ouroboros-consensus-cardano/src/byron/Ouroboros/Consensus/Byron/Ledger/Conversions.hs
[   4.53402] docspec.phase1: Ouroboros.Consensus.Byron.Ledger.Forge: /build/source/ouroboros-consensus-cardano/src/byron/Ouroboros/Consensus/Byron/Ledger/Forge.hs
[   4.53432] docspec.phase1: Ouroboros.Consensus.Byron.Ledger.HeaderValidation: /build/source/ouroboros-consensus-cardano/src/byron/Ouroboros/Consensus/Byron/Ledger/HeaderValidation.hs
[   4.53459] docspec.phase1: Ouroboros.Consensus.Byron.Ledger.Inspect: /build/source/ouroboros-consensus-cardano/src/byron/Ouroboros/Consensus/Byron/Ledger/Inspect.hs
[   4.53488] docspec.phase1: Ouroboros.Consensus.Byron.Ledger.Integrity: /build/source/ouroboros-consensus-cardano/src/byron/Ouroboros/Consensus/Byron/Ledger/Integrity.hs
[   4.53521] docspec.phase1: Ouroboros.Consensus.Byron.Ledger.Ledger: /build/source/ouroboros-consensus-cardano/src/byron/Ouroboros/Consensus/Byron/Ledger/Ledger.hs
[   4.53564] docspec.phase1: Ouroboros.Consensus.Byron.Ledger.Mempool: /build/source/ouroboros-consensus-cardano/src/byron/Ouroboros/Consensus/Byron/Ledger/Mempool.hs
[   4.53597] docspec.phase1: Ouroboros.Consensus.Byron.Ledger.NetworkProtocolVersion: /build/source/ouroboros-consensus-cardano/src/byron/Ouroboros/Consensus/Byron/Ledger/NetworkProtocolVersion.hs
[   4.53662] docspec.phase1: Ouroboros.Consensus.Byron.Ledger.Orphans: /build/source/ouroboros-consensus-cardano/src/byron/Ouroboros/Consensus/Byron/Ledger/Orphans.hs
[   4.53689] docspec.phase1: Ouroboros.Consensus.Byron.Ledger.PBFT: /build/source/ouroboros-consensus-cardano/src/byron/Ouroboros/Consensus/Byron/Ledger/PBFT.hs
[   4.53718] docspec.phase1: Ouroboros.Consensus.Byron.Ledger.Serialisation: /build/source/ouroboros-consensus-cardano/src/byron/Ouroboros/Consensus/Byron/Ledger/Serialisation.hs
[   4.53751] docspec.phase1: Ouroboros.Consensus.Byron.Node: /build/source/ouroboros-consensus-cardano/src/byron/Ouroboros/Consensus/Byron/Node.hs
[   4.53782] docspec.phase1: Ouroboros.Consensus.Byron.Node.Serialisation: /build/source/ouroboros-consensus-cardano/src/byron/Ouroboros/Consensus/Byron/Node/Serialisation.hs
[   4.53817] docspec.phase1: Ouroboros.Consensus.Byron.Protocol: /build/source/ouroboros-consensus-cardano/src/byron/Ouroboros/Consensus/Byron/Protocol.hs
[   4.53840] docspec.phase1: Ouroboros.Consensus.Cardano: /build/source/ouroboros-consensus-cardano/src/ouroboros-consensus-cardano/Ouroboros/Consensus/Cardano.hs
[   4.53866] docspec.phase1: Ouroboros.Consensus.Cardano.Block: /build/source/ouroboros-consensus-cardano/src/ouroboros-consensus-cardano/Ouroboros/Consensus/Cardano/Block.hs
[   4.53903] docspec.phase1: Ouroboros.Consensus.Cardano.CanHardFork: /build/source/ouroboros-consensus-cardano/src/ouroboros-consensus-cardano/Ouroboros/Consensus/Cardano/CanHardFork.hs
[   4.54810] docspec.phase1: Ouroboros.Consensus.Cardano.Condense: /build/source/ouroboros-consensus-cardano/src/ouroboros-consensus-cardano/Ouroboros/Consensus/Cardano/Condense.hs
[   4.54833] docspec.phase1: Ouroboros.Consensus.Cardano.Ledger: /build/source/ouroboros-consensus-cardano/src/ouroboros-consensus-cardano/Ouroboros/Consensus/Cardano/Ledger.hs
[   4.55276] docspec.phase1: Ouroboros.Consensus.Cardano.Node: /build/source/ouroboros-consensus-cardano/src/ouroboros-consensus-cardano/Ouroboros/Consensus/Cardano/Node.hs
[   4.56064] docspec.phase1: Ouroboros.Consensus.Cardano.QueryHF: /build/source/ouroboros-consensus-cardano/src/ouroboros-consensus-cardano/Ouroboros/Consensus/Cardano/QueryHF.hs
[   4.56465] docspec.phase1: Ouroboros.Consensus.Shelley.Crypto: /build/source/ouroboros-consensus-cardano/src/shelley/Ouroboros/Consensus/Shelley/Crypto.hs
[   4.56486] docspec.phase1: Ouroboros.Consensus.Shelley.Eras: /build/source/ouroboros-consensus-cardano/src/shelley/Ouroboros/Consensus/Shelley/Eras.hs
[   4.56514] docspec.phase1: Ouroboros.Consensus.Shelley.HFEras: /build/source/ouroboros-consensus-cardano/src/shelley/Ouroboros/Consensus/Shelley/HFEras.hs
[   4.56538] docspec.phase1: Ouroboros.Consensus.Shelley.Ledger: /build/source/ouroboros-consensus-cardano/src/shelley/Ouroboros/Consensus/Shelley/Ledger.hs
[   4.56557] docspec.phase1: Ouroboros.Consensus.Shelley.Ledger.Block: /build/source/ouroboros-consensus-cardano/src/shelley/Ouroboros/Consensus/Shelley/Ledger/Block.hs
[   4.56586] docspec.phase1: Ouroboros.Consensus.Shelley.Ledger.Config: /build/source/ouroboros-consensus-cardano/src/shelley/Ouroboros/Consensus/Shelley/Ledger/Config.hs
[   4.56615] docspec.phase1: Ouroboros.Consensus.Shelley.Ledger.Forge: /build/source/ouroboros-consensus-cardano/src/shelley/Ouroboros/Consensus/Shelley/Ledger/Forge.hs
[   4.56638] docspec.phase1: Ouroboros.Consensus.Shelley.Ledger.Inspect: /build/source/ouroboros-consensus-cardano/src/shelley/Ouroboros/Consensus/Shelley/Ledger/Inspect.hs
[   4.56664] docspec.phase1: Ouroboros.Consensus.Shelley.Ledger.Integrity: /build/source/ouroboros-consensus-cardano/src/shelley/Ouroboros/Consensus/Shelley/Ledger/Integrity.hs
[   4.56684] docspec.phase1: Ouroboros.Consensus.Shelley.Ledger.Ledger: /build/source/ouroboros-consensus-cardano/src/shelley/Ouroboros/Consensus/Shelley/Ledger/Ledger.hs
[   4.57337] docspec.phase1: Ouroboros.Consensus.Shelley.Ledger.Mempool: /build/source/ouroboros-consensus-cardano/src/shelley/Ouroboros/Consensus/Shelley/Ledger/Mempool.hs
[   4.58029] docspec.phase1: Ouroboros.Consensus.Shelley.Ledger.NetworkProtocolVersion: /build/source/ouroboros-consensus-cardano/src/shelley/Ouroboros/Consensus/Shelley/Ledger/NetworkProtocolVersion.hs
[   4.58061] docspec.phase1: Ouroboros.Consensus.Shelley.Ledger.PeerSelection: /build/source/ouroboros-consensus-cardano/src/shelley/Ouroboros/Consensus/Shelley/Ledger/PeerSelection.hs
[   4.58089] docspec.phase1: Ouroboros.Consensus.Shelley.Ledger.Protocol: /build/source/ouroboros-consensus-cardano/src/shelley/Ouroboros/Consensus/Shelley/Ledger/Protocol.hs
[   4.58115] docspec.phase1: Ouroboros.Consensus.Shelley.Ledger.Query: /build/source/ouroboros-consensus-cardano/src/shelley/Ouroboros/Consensus/Shelley/Ledger/Query.hs
[   4.61704] docspec.phase1: Ouroboros.Consensus.Shelley.Ledger.Query.LegacyPParams: /build/source/ouroboros-consensus-cardano/src/shelley/Ouroboros/Consensus/Shelley/Ledger/Query/LegacyPParams.hs
[   4.61732] docspec.phase1: Ouroboros.Consensus.Shelley.Ledger.Query.LegacyShelleyGenesis: /build/source/ouroboros-consensus-cardano/src/shelley/Ouroboros/Consensus/Shelley/Ledger/Query/LegacyShelleyGenesis.hs
[   4.61756] docspec.phase1: Ouroboros.Consensus.Shelley.Ledger.Query.Types: /build/source/ouroboros-consensus-cardano/src/shelley/Ouroboros/Consensus/Shelley/Ledger/Query/Types.hs
[   4.61778] docspec.phase1: Ouroboros.Consensus.Shelley.Ledger.SupportsProtocol: /build/source/ouroboros-consensus-cardano/src/shelley/Ouroboros/Consensus/Shelley/Ledger/SupportsProtocol.hs
[   4.61808] docspec.phase1: Ouroboros.Consensus.Shelley.Node: /build/source/ouroboros-consensus-cardano/src/shelley/Ouroboros/Consensus/Shelley/Node.hs
[   4.61844] docspec.phase1: Ouroboros.Consensus.Shelley.Node.Common: /build/source/ouroboros-consensus-cardano/src/shelley/Ouroboros/Consensus/Shelley/Node/Common.hs
[   4.61872] docspec.phase1: Ouroboros.Consensus.Shelley.Node.DiffusionPipelining: /build/source/ouroboros-consensus-cardano/src/shelley/Ouroboros/Consensus/Shelley/Node/DiffusionPipelining.hs
[   4.61898] docspec.phase1: Ouroboros.Consensus.Shelley.Node.Praos: /build/source/ouroboros-consensus-cardano/src/shelley/Ouroboros/Consensus/Shelley/Node/Praos.hs
[   4.61918] docspec.phase1: Ouroboros.Consensus.Shelley.Node.Serialisation: /build/source/ouroboros-consensus-cardano/src/shelley/Ouroboros/Consensus/Shelley/Node/Serialisation.hs
[   4.61947] docspec.phase1: Ouroboros.Consensus.Shelley.Node.TPraos: /build/source/ouroboros-consensus-cardano/src/shelley/Ouroboros/Consensus/Shelley/Node/TPraos.hs
[   4.61975] docspec.phase1: Ouroboros.Consensus.Shelley.Protocol.Abstract: /build/source/ouroboros-consensus-cardano/src/shelley/Ouroboros/Consensus/Shelley/Protocol/Abstract.hs
[   4.62024] docspec.phase1: Ouroboros.Consensus.Shelley.Protocol.Praos: /build/source/ouroboros-consensus-cardano/src/shelley/Ouroboros/Consensus/Shelley/Protocol/Praos.hs
[   4.62057] docspec.phase1: Ouroboros.Consensus.Shelley.Protocol.TPraos: /build/source/ouroboros-consensus-cardano/src/shelley/Ouroboros/Consensus/Shelley/Protocol/TPraos.hs
[   4.62102] docspec.phase1: Ouroboros.Consensus.Shelley.ShelleyHFC: /build/source/ouroboros-consensus-cardano/src/shelley/Ouroboros/Consensus/Shelley/ShelleyHFC.hs
[   5.15233] docspec.component: ouroboros-consensus-diffusion-0.24.0.0 lib
[   5.15408] docspec.phase1: Ouroboros.Consensus.Network.NodeToClient: /build/source/ouroboros-consensus-diffusion/src/ouroboros-consensus-diffusion/Ouroboros/Consensus/Network/NodeToClient.hs
[   5.15443] docspec.phase1: Ouroboros.Consensus.Network.NodeToNode: /build/source/ouroboros-consensus-diffusion/src/ouroboros-consensus-diffusion/Ouroboros/Consensus/Network/NodeToNode.hs
[   5.15477] docspec.phase1: Ouroboros.Consensus.Node: /build/source/ouroboros-consensus-diffusion/src/ouroboros-consensus-diffusion/Ouroboros/Consensus/Node.hs
[   5.15523] docspec.phase1: Ouroboros.Consensus.Node.DbLock: /build/source/ouroboros-consensus-diffusion/src/ouroboros-consensus-diffusion/Ouroboros/Consensus/Node/DbLock.hs
[   5.15546] docspec.phase1: Ouroboros.Consensus.Node.DbMarker: /build/source/ouroboros-consensus-diffusion/src/ouroboros-consensus-diffusion/Ouroboros/Consensus/Node/DbMarker.hs
[   5.15571] docspec.phase1: Ouroboros.Consensus.Node.Exit: /build/source/ouroboros-consensus-diffusion/src/ouroboros-consensus-diffusion/Ouroboros/Consensus/Node/Exit.hs
[   5.15597] docspec.phase1: Ouroboros.Consensus.Node.ExitPolicy: /build/source/ouroboros-consensus-diffusion/src/ouroboros-consensus-diffusion/Ouroboros/Consensus/Node/ExitPolicy.hs
[   5.15617] docspec.phase1: Ouroboros.Consensus.Node.GSM: /build/source/ouroboros-consensus-diffusion/src/ouroboros-consensus-diffusion/Ouroboros/Consensus/Node/GSM.hs
[   5.15646] docspec.phase1: Ouroboros.Consensus.Node.Genesis: /build/source/ouroboros-consensus-diffusion/src/ouroboros-consensus-diffusion/Ouroboros/Consensus/Node/Genesis.hs
[   5.15684] docspec.phase1: Ouroboros.Consensus.Node.Recovery: /build/source/ouroboros-consensus-diffusion/src/ouroboros-consensus-diffusion/Ouroboros/Consensus/Node/Recovery.hs
[   5.15713] docspec.phase1: Ouroboros.Consensus.Node.RethrowPolicy: /build/source/ouroboros-consensus-diffusion/src/ouroboros-consensus-diffusion/Ouroboros/Consensus/Node/RethrowPolicy.hs
[   5.15738] docspec.phase1: Ouroboros.Consensus.Node.Tracers: /build/source/ouroboros-consensus-diffusion/src/ouroboros-consensus-diffusion/Ouroboros/Consensus/Node/Tracers.hs
[   5.15767] docspec.phase1: Ouroboros.Consensus.NodeKernel: /build/source/ouroboros-consensus-diffusion/src/ouroboros-consensus-diffusion/Ouroboros/Consensus/NodeKernel.hs
[   5.62010] docspec.component: ouroboros-consensus-protocol-0.13.0.0 lib
[   5.62178] docspec.phase1: Ouroboros.Consensus.Protocol.Ledger.HotKey: /build/source/ouroboros-consensus-protocol/src/ouroboros-consensus-protocol/Ouroboros/Consensus/Protocol/Ledger/HotKey.hs
[   5.62225] docspec.phase1: Ouroboros.Consensus.Protocol.Ledger.Util: /build/source/ouroboros-consensus-protocol/src/ouroboros-consensus-protocol/Ouroboros/Consensus/Protocol/Ledger/Util.hs
[   5.62252] docspec.phase1: Ouroboros.Consensus.Protocol.Praos: /build/source/ouroboros-consensus-protocol/src/ouroboros-consensus-protocol/Ouroboros/Consensus/Protocol/Praos.hs
[   5.62299] docspec.phase1: Ouroboros.Consensus.Protocol.Praos.AgentClient: /build/source/ouroboros-consensus-protocol/src/ouroboros-consensus-protocol/Ouroboros/Consensus/Protocol/Praos/AgentClient.hs
[   5.62354] docspec.phase1: Ouroboros.Consensus.Protocol.Praos.Common: /build/source/ouroboros-consensus-protocol/src/ouroboros-consensus-protocol/Ouroboros/Consensus/Protocol/Praos/Common.hs
[   5.62385] docspec.phase1: Ouroboros.Consensus.Protocol.Praos.Header: /build/source/ouroboros-consensus-protocol/src/ouroboros-consensus-protocol/Ouroboros/Consensus/Protocol/Praos/Header.hs
[   5.62420] docspec.phase1: Ouroboros.Consensus.Protocol.Praos.VRF: /build/source/ouroboros-consensus-protocol/src/ouroboros-consensus-protocol/Ouroboros/Consensus/Protocol/Praos/VRF.hs
[   5.62452] docspec.phase1: Ouroboros.Consensus.Protocol.Praos.Views: /build/source/ouroboros-consensus-protocol/src/ouroboros-consensus-protocol/Ouroboros/Consensus/Protocol/Praos/Views.hs
[   5.62476] docspec.phase1: Ouroboros.Consensus.Protocol.TPraos: /build/source/ouroboros-consensus-protocol/src/ouroboros-consensus-protocol/Ouroboros/Consensus/Protocol/TPraos.hs
[   6.04609] docspec.component: sop-extras-0.4.1.0 lib
[   6.04715] docspec.phase1: Data.SOP.Counting: /build/source/sop-extras/src/Data/SOP/Counting.hs
[   6.04754] docspec.phase1: Data.SOP.Functors: /build/source/sop-extras/src/Data/SOP/Functors.hs
[   6.04779] docspec.phase1: Data.SOP.InPairs: /build/source/sop-extras/src/Data/SOP/InPairs.hs
[   6.04812] docspec.phase1: Data.SOP.Index: /build/source/sop-extras/src/Data/SOP/Index.hs
[   6.04840] docspec.phase1: Data.SOP.Lenses: /build/source/sop-extras/src/Data/SOP/Lenses.hs
[   6.04861] docspec.phase1: Data.SOP.Match: /build/source/sop-extras/src/Data/SOP/Match.hs
[   6.04894] docspec.phase1: Data.SOP.NonEmpty: /build/source/sop-extras/src/Data/SOP/NonEmpty.hs
[   6.04926] docspec.phase1: Data.SOP.OptNP: /build/source/sop-extras/src/Data/SOP/OptNP.hs
[   6.04964] docspec.phase1: Data.SOP.Tails: /build/source/sop-extras/src/Data/SOP/Tails.hs
[   6.05013] docspec.phase1: Data.SOP.Telescope: /build/source/sop-extras/src/Data/SOP/Telescope.hs
[   6.18245] docspec.component: strict-sop-core-0.1.3.0 lib
[   6.18294] docspec.phase1: Data.SOP.Strict: /build/source/strict-sop-core/src/Data/SOP/Strict.hs
[   6.18317] docspec.phase1: Data.SOP.Strict.NP: /build/source/strict-sop-core/src/Data/SOP/Strict/NP.hs
[   6.18352] docspec.phase1: Data.SOP.Strict.NS: /build/source/strict-sop-core/src/Data/SOP/Strict/NS.hs
[   6.38055] doctest.summary: 
Total:       153; Tried:  148; Skipped:    5; Success:  147; Errors:    1; Failures    0
Examples:    104; Tried:  100; Skipped:    4; Success:   99; Errors:    1; Failures    0
Properties:    1; Tried:    0; Skipped:    1; Success:    0; Errors:    0; Failures    0
Setup:        48; Tried:   48; Skipped:    0; Success:   48; Errors:    0; Failures    0

[   6.38083] error: there were errors or property failures