Resolving dependencies...
Downloading  ord-axiomata-0.1.0.0
Downloaded   ord-axiomata-0.1.0.0
Configuring ord-axiomata-0.1.0.0...
Preprocessing library for ord-axiomata-0.1.0.0..
Building library for ord-axiomata-0.1.0.0..
[1 of 2] Compiling Data.Type.Ord.Axiomata ( src/Data/Type/Ord/Axiomata.hs, dist/build/Data/Type/Ord/Axiomata.o, dist/build/Data/Type/Ord/Axiomata.dyn_o )
[2 of 2] Compiling Data.Type.Ord.Lemmata ( src/Data/Type/Ord/Lemmata.hs, dist/build/Data/Type/Ord/Lemmata.o, dist/build/Data/Type/Ord/Lemmata.dyn_o )
Preprocessing library for ord-axiomata-0.1.0.0..
Running Haddock on library for ord-axiomata-0.1.0.0..
Warning: --source-* options are ignored when --hyperlinked-source is enabled.
[1 of 2] Compiling Data.Type.Ord.Axiomata ( src/Data/Type/Ord/Axiomata.hs, nothing )
[2 of 2] Compiling Data.Type.Ord.Lemmata ( src/Data/Type/Ord/Lemmata.hs, nothing )
Haddock coverage:
  75% ( 18 / 24) in 'Data.Type.Ord.Axiomata'
  Missing documentation for:
    < (src/Data/Type/Ord/Axiomata.hs:97)
    == (src/Data/Type/Ord/Axiomata.hs:98)
    > (src/Data/Type/Ord/Axiomata.hs:99)
    <= (src/Data/Type/Ord/Axiomata.hs:100)
    /= (src/Data/Type/Ord/Axiomata.hs:101)
    >= (src/Data/Type/Ord/Axiomata.hs:102)
 100% ( 23 / 23) in 'Data.Type.Ord.Lemmata'
Warning: Data.Type.Ord.Axiomata: could not find link destinations for: 
	- Data.Type.Ord.Axiomata.D:R:LowerBoundSymbol
	- Data.Type.Ord.Axiomata.D:R:LowerBoundChar
	- Data.Type.Ord.Axiomata.D:R:LowerBoundNatural
Documentation created: dist/doc/html/ord-axiomata/,
dist/doc/html/ord-axiomata/ord-axiomata.txt
Installing library in /var/lib/hackage-doc-builder/build-cache/tmp-install/lib/x86_64-linux-ghc-9.8.4/ord-axiomata-0.1.0.0-G5oXEtYSAmECN6kmy4icmk
Completed    ord-axiomata-0.1.0.0