Resolving dependencies... Build profile: -w ghc-9.2.4 -O0 In order, the following will be built (use -v for more details): - oalg-base-1.1.4.0 (first run) Configuring oalg-base-1.1.4.0... Preprocessing library for oalg-base-1.1.4.0.. Building library for oalg-base-1.1.4.0.. [ 1 of 136] Compiling OAlg.Control.Action ( src/OAlg/Control/Action.hs, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/oalg-base-1.1.4.0/noopt/build/OAlg/Control/Action.o, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/oalg-base-1.1.4.0/noopt/build/OAlg/Control/Action.dyn_o ) [ 2 of 136] Compiling OAlg.Control.Exception ( src/OAlg/Control/Exception.hs, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/oalg-base-1.1.4.0/noopt/build/OAlg/Control/Exception.o, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/oalg-base-1.1.4.0/noopt/build/OAlg/Control/Exception.dyn_o ) [ 3 of 136] Compiling OAlg.Control.HNFData ( src/OAlg/Control/HNFData.hs, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/oalg-base-1.1.4.0/noopt/build/OAlg/Control/HNFData.o, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/oalg-base-1.1.4.0/noopt/build/OAlg/Control/HNFData.dyn_o ) [ 4 of 136] Compiling OAlg.Control.Solver ( src/OAlg/Control/Solver.hs, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/oalg-base-1.1.4.0/noopt/build/OAlg/Control/Solver.o, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/oalg-base-1.1.4.0/noopt/build/OAlg/Control/Solver.dyn_o ) [ 5 of 136] Compiling OAlg.Data.Constructable ( src/OAlg/Data/Constructable.hs, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/oalg-base-1.1.4.0/noopt/build/OAlg/Data/Constructable.o, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/oalg-base-1.1.4.0/noopt/build/OAlg/Data/Constructable.dyn_o ) [ 6 of 136] Compiling OAlg.Data.Dualisable ( src/OAlg/Data/Dualisable.hs, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/oalg-base-1.1.4.0/noopt/build/OAlg/Data/Dualisable.o, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/oalg-base-1.1.4.0/noopt/build/OAlg/Data/Dualisable.dyn_o ) [ 7 of 136] Compiling OAlg.Data.Equal ( src/OAlg/Data/Equal.hs, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/oalg-base-1.1.4.0/noopt/build/OAlg/Data/Equal.o, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/oalg-base-1.1.4.0/noopt/build/OAlg/Data/Equal.dyn_o ) [ 8 of 136] Compiling OAlg.Data.Identity ( src/OAlg/Data/Identity.hs, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/oalg-base-1.1.4.0/noopt/build/OAlg/Data/Identity.o, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/oalg-base-1.1.4.0/noopt/build/OAlg/Data/Identity.dyn_o ) [ 9 of 136] Compiling OAlg.Data.Maybe ( src/OAlg/Data/Maybe.hs, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/oalg-base-1.1.4.0/noopt/build/OAlg/Data/Maybe.o, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/oalg-base-1.1.4.0/noopt/build/OAlg/Data/Maybe.dyn_o ) [ 10 of 136] Compiling OAlg.Data.Ord ( src/OAlg/Data/Ord.hs, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/oalg-base-1.1.4.0/noopt/build/OAlg/Data/Ord.o, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/oalg-base-1.1.4.0/noopt/build/OAlg/Data/Ord.dyn_o ) [ 11 of 136] Compiling OAlg.Data.Reducible ( src/OAlg/Data/Reducible.hs, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/oalg-base-1.1.4.0/noopt/build/OAlg/Data/Reducible.o, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/oalg-base-1.1.4.0/noopt/build/OAlg/Data/Reducible.dyn_o ) [ 12 of 136] Compiling OAlg.Data.Show ( src/OAlg/Data/Show.hs, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/oalg-base-1.1.4.0/noopt/build/OAlg/Data/Show.o, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/oalg-base-1.1.4.0/noopt/build/OAlg/Data/Show.dyn_o ) [ 13 of 136] Compiling OAlg.Data.Opposite ( src/OAlg/Data/Opposite.hs, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/oalg-base-1.1.4.0/noopt/build/OAlg/Data/Opposite.o, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/oalg-base-1.1.4.0/noopt/build/OAlg/Data/Opposite.dyn_o ) [ 14 of 136] Compiling OAlg.Data.Either ( src/OAlg/Data/Either.hs, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/oalg-base-1.1.4.0/noopt/build/OAlg/Data/Either.o, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/oalg-base-1.1.4.0/noopt/build/OAlg/Data/Either.dyn_o ) [ 15 of 136] Compiling OAlg.Category.Applicative ( src/OAlg/Category/Applicative.hs, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/oalg-base-1.1.4.0/noopt/build/OAlg/Category/Applicative.o, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/oalg-base-1.1.4.0/noopt/build/OAlg/Category/Applicative.dyn_o ) [ 16 of 136] Compiling OAlg.Control.Verbose ( src/OAlg/Control/Verbose.hs, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/oalg-base-1.1.4.0/noopt/build/OAlg/Control/Verbose.o, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/oalg-base-1.1.4.0/noopt/build/OAlg/Control/Verbose.dyn_o ) [ 17 of 136] Compiling OAlg.Data.Singleton ( src/OAlg/Data/Singleton.hs, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/oalg-base-1.1.4.0/noopt/build/OAlg/Data/Singleton.o, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/oalg-base-1.1.4.0/noopt/build/OAlg/Data/Singleton.dyn_o ) [ 18 of 136] Compiling OAlg.Data.Singular ( src/OAlg/Data/Singular.hs, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/oalg-base-1.1.4.0/noopt/build/OAlg/Data/Singular.o, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/oalg-base-1.1.4.0/noopt/build/OAlg/Data/Singular.dyn_o ) [ 19 of 136] Compiling OAlg.Data.Statistics ( src/OAlg/Data/Statistics.hs, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/oalg-base-1.1.4.0/noopt/build/OAlg/Data/Statistics.o, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/oalg-base-1.1.4.0/noopt/build/OAlg/Data/Statistics.dyn_o ) [ 20 of 136] Compiling OAlg.Data.Tree ( src/OAlg/Data/Tree.hs, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/oalg-base-1.1.4.0/noopt/build/OAlg/Data/Tree.o, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/oalg-base-1.1.4.0/noopt/build/OAlg/Data/Tree.dyn_o ) [ 21 of 136] Compiling OAlg.Data.TypeLits ( src/OAlg/Data/TypeLits.hs, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/oalg-base-1.1.4.0/noopt/build/OAlg/Data/TypeLits.o, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/oalg-base-1.1.4.0/noopt/build/OAlg/Data/TypeLits.dyn_o ) [ 22 of 136] Compiling OAlg.Hom.Definition ( src/OAlg/Hom/Definition.hs, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/oalg-base-1.1.4.0/noopt/build/OAlg/Hom/Definition.o, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/oalg-base-1.1.4.0/noopt/build/OAlg/Hom/Definition.dyn_o ) [ 23 of 136] Compiling OAlg.Structure.Definition ( src/OAlg/Structure/Definition.hs, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/oalg-base-1.1.4.0/noopt/build/OAlg/Structure/Definition.o, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/oalg-base-1.1.4.0/noopt/build/OAlg/Structure/Definition.dyn_o ) [ 24 of 136] Compiling OAlg.Data.Boolean.Definition ( src/OAlg/Data/Boolean/Definition.hs, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/oalg-base-1.1.4.0/noopt/build/OAlg/Data/Boolean/Definition.o, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/oalg-base-1.1.4.0/noopt/build/OAlg/Data/Boolean/Definition.dyn_o ) [ 25 of 136] Compiling OAlg.Data.Canonical ( src/OAlg/Data/Canonical.hs, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/oalg-base-1.1.4.0/noopt/build/OAlg/Data/Canonical.o, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/oalg-base-1.1.4.0/noopt/build/OAlg/Data/Canonical.dyn_o ) [ 26 of 136] Compiling OAlg.Data.Number ( src/OAlg/Data/Number.hs, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/oalg-base-1.1.4.0/noopt/build/OAlg/Data/Number.o, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/oalg-base-1.1.4.0/noopt/build/OAlg/Data/Number.dyn_o ) [ 27 of 136] Compiling OAlg.Data.X ( src/OAlg/Data/X.hs, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/oalg-base-1.1.4.0/noopt/build/OAlg/Data/X.o, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/oalg-base-1.1.4.0/noopt/build/OAlg/Data/X.dyn_o ) [ 28 of 136] Compiling OAlg.Category.Definition ( src/OAlg/Category/Definition.hs, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/oalg-base-1.1.4.0/noopt/build/OAlg/Category/Definition.o, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/oalg-base-1.1.4.0/noopt/build/OAlg/Category/Definition.dyn_o ) [ 29 of 136] Compiling OAlg.Data.Statement.Definition ( src/OAlg/Data/Statement/Definition.hs, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/oalg-base-1.1.4.0/noopt/build/OAlg/Data/Statement/Definition.o, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/oalg-base-1.1.4.0/noopt/build/OAlg/Data/Statement/Definition.dyn_o ) [ 30 of 136] Compiling OAlg.Data.Boolean.Proposition ( src/OAlg/Data/Boolean/Proposition.hs, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/oalg-base-1.1.4.0/noopt/build/OAlg/Data/Boolean/Proposition.o, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/oalg-base-1.1.4.0/noopt/build/OAlg/Data/Boolean/Proposition.dyn_o ) [ 31 of 136] Compiling OAlg.Data.Boolean ( src/OAlg/Data/Boolean.hs, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/oalg-base-1.1.4.0/noopt/build/OAlg/Data/Boolean.o, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/oalg-base-1.1.4.0/noopt/build/OAlg/Data/Boolean.dyn_o ) [ 32 of 136] Compiling OAlg.Data.Statement.Proposition ( src/OAlg/Data/Statement/Proposition.hs, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/oalg-base-1.1.4.0/noopt/build/OAlg/Data/Statement/Proposition.o, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/oalg-base-1.1.4.0/noopt/build/OAlg/Data/Statement/Proposition.dyn_o ) [ 33 of 136] Compiling OAlg.Data.Statement ( src/OAlg/Data/Statement.hs, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/oalg-base-1.1.4.0/noopt/build/OAlg/Data/Statement.o, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/oalg-base-1.1.4.0/noopt/build/OAlg/Data/Statement.dyn_o ) [ 34 of 136] Compiling OAlg.Data.Validable ( src/OAlg/Data/Validable.hs, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/oalg-base-1.1.4.0/noopt/build/OAlg/Data/Validable.o, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/oalg-base-1.1.4.0/noopt/build/OAlg/Data/Validable.dyn_o ) [ 35 of 136] Compiling OAlg.Data.Symbol ( src/OAlg/Data/Symbol.hs, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/oalg-base-1.1.4.0/noopt/build/OAlg/Data/Symbol.o, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/oalg-base-1.1.4.0/noopt/build/OAlg/Data/Symbol.dyn_o ) [ 36 of 136] Compiling OAlg.Entity.Definition ( src/OAlg/Entity/Definition.hs, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/oalg-base-1.1.4.0/noopt/build/OAlg/Entity/Definition.o, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/oalg-base-1.1.4.0/noopt/build/OAlg/Entity/Definition.dyn_o ) [ 37 of 136] Compiling OAlg.Control.Validate ( src/OAlg/Control/Validate.hs, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/oalg-base-1.1.4.0/noopt/build/OAlg/Control/Validate.o, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/oalg-base-1.1.4.0/noopt/build/OAlg/Control/Validate.dyn_o ) [ 38 of 136] Compiling OAlg.Category.Path ( src/OAlg/Category/Path.hs, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/oalg-base-1.1.4.0/noopt/build/OAlg/Category/Path.o, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/oalg-base-1.1.4.0/noopt/build/OAlg/Category/Path.dyn_o ) [ 39 of 136] Compiling OAlg.Category.Unify ( src/OAlg/Category/Unify.hs, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/oalg-base-1.1.4.0/noopt/build/OAlg/Category/Unify.o, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/oalg-base-1.1.4.0/noopt/build/OAlg/Category/Unify.dyn_o ) [ 40 of 136] Compiling OAlg.Category.Proposition ( src/OAlg/Category/Proposition.hs, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/oalg-base-1.1.4.0/noopt/build/OAlg/Category/Proposition.o, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/oalg-base-1.1.4.0/noopt/build/OAlg/Category/Proposition.dyn_o ) [ 41 of 136] Compiling OAlg.Prelude ( src/OAlg/Prelude.hs, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/oalg-base-1.1.4.0/noopt/build/OAlg/Prelude.o, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/oalg-base-1.1.4.0/noopt/build/OAlg/Prelude.dyn_o ) [ 42 of 136] Compiling OAlg.Limes.Perspective ( src/OAlg/Limes/Perspective.hs, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/oalg-base-1.1.4.0/noopt/build/OAlg/Limes/Perspective.o, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/oalg-base-1.1.4.0/noopt/build/OAlg/Limes/Perspective.dyn_o ) [ 43 of 136] Compiling OAlg.Structure.Exception ( src/OAlg/Structure/Exception.hs, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/oalg-base-1.1.4.0/noopt/build/OAlg/Structure/Exception.o, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/oalg-base-1.1.4.0/noopt/build/OAlg/Structure/Exception.dyn_o ) [ 44 of 136] Compiling OAlg.Structure.Oriented.Definition ( src/OAlg/Structure/Oriented/Definition.hs, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/oalg-base-1.1.4.0/noopt/build/OAlg/Structure/Oriented/Definition.o, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/oalg-base-1.1.4.0/noopt/build/OAlg/Structure/Oriented/Definition.dyn_o ) [ 45 of 136] Compiling OAlg.Structure.Oriented.Proposition ( src/OAlg/Structure/Oriented/Proposition.hs, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/oalg-base-1.1.4.0/noopt/build/OAlg/Structure/Oriented/Proposition.o, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/oalg-base-1.1.4.0/noopt/build/OAlg/Structure/Oriented/Proposition.dyn_o ) [ 46 of 136] Compiling OAlg.Structure.Oriented ( src/OAlg/Structure/Oriented.hs, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/oalg-base-1.1.4.0/noopt/build/OAlg/Structure/Oriented.o, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/oalg-base-1.1.4.0/noopt/build/OAlg/Structure/Oriented.dyn_o ) [ 47 of 136] Compiling OAlg.Structure.Multiplicative.Definition ( src/OAlg/Structure/Multiplicative/Definition.hs, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/oalg-base-1.1.4.0/noopt/build/OAlg/Structure/Multiplicative/Definition.o, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/oalg-base-1.1.4.0/noopt/build/OAlg/Structure/Multiplicative/Definition.dyn_o ) src/OAlg/Structure/Multiplicative/Definition.hs:165:1: warning: [-Worphans] Orphan instance: instance Multiplicative c => Projectible c (Path c) To avoid this move the instance declaration to the module of the class or of the type, or wrap the type with a newtype and declare the instance on the new type. | 165 | instance Multiplicative c => Projectible c (Path c) where | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^... [ 48 of 136] Compiling OAlg.Structure.Operational ( src/OAlg/Structure/Operational.hs, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/oalg-base-1.1.4.0/noopt/build/OAlg/Structure/Operational.o, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/oalg-base-1.1.4.0/noopt/build/OAlg/Structure/Operational.dyn_o ) [ 49 of 136] Compiling OAlg.Structure.Multiplicative.Proposition ( src/OAlg/Structure/Multiplicative/Proposition.hs, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/oalg-base-1.1.4.0/noopt/build/OAlg/Structure/Multiplicative/Proposition.o, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/oalg-base-1.1.4.0/noopt/build/OAlg/Structure/Multiplicative/Proposition.dyn_o ) [ 50 of 136] Compiling OAlg.Structure.Multiplicative ( src/OAlg/Structure/Multiplicative.hs, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/oalg-base-1.1.4.0/noopt/build/OAlg/Structure/Multiplicative.o, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/oalg-base-1.1.4.0/noopt/build/OAlg/Structure/Multiplicative.dyn_o ) [ 51 of 136] Compiling OAlg.Structure.Fibred.Definition ( src/OAlg/Structure/Fibred/Definition.hs, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/oalg-base-1.1.4.0/noopt/build/OAlg/Structure/Fibred/Definition.o, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/oalg-base-1.1.4.0/noopt/build/OAlg/Structure/Fibred/Definition.dyn_o ) [ 52 of 136] Compiling OAlg.Structure.Additive.Definition ( src/OAlg/Structure/Additive/Definition.hs, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/oalg-base-1.1.4.0/noopt/build/OAlg/Structure/Additive/Definition.o, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/oalg-base-1.1.4.0/noopt/build/OAlg/Structure/Additive/Definition.dyn_o ) src/OAlg/Structure/Additive/Definition.hs:136:1: warning: [-Worphans] Orphan instance: instance Additive a => Projectible a (Sheaf a) To avoid this move the instance declaration to the module of the class or of the type, or wrap the type with a newtype and declare the instance on the new type. | 136 | instance Additive a => Projectible a (Sheaf a) where | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^... [ 53 of 136] Compiling OAlg.Structure.Distributive.Definition ( src/OAlg/Structure/Distributive/Definition.hs, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/oalg-base-1.1.4.0/noopt/build/OAlg/Structure/Distributive/Definition.o, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/oalg-base-1.1.4.0/noopt/build/OAlg/Structure/Distributive/Definition.dyn_o ) [ 54 of 136] Compiling OAlg.Structure.Fibred.Proposition ( src/OAlg/Structure/Fibred/Proposition.hs, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/oalg-base-1.1.4.0/noopt/build/OAlg/Structure/Fibred/Proposition.o, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/oalg-base-1.1.4.0/noopt/build/OAlg/Structure/Fibred/Proposition.dyn_o ) [ 55 of 136] Compiling OAlg.Structure.Fibred ( src/OAlg/Structure/Fibred.hs, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/oalg-base-1.1.4.0/noopt/build/OAlg/Structure/Fibred.o, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/oalg-base-1.1.4.0/noopt/build/OAlg/Structure/Fibred.dyn_o ) [ 56 of 136] Compiling OAlg.Structure.Additive.Proposition ( src/OAlg/Structure/Additive/Proposition.hs, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/oalg-base-1.1.4.0/noopt/build/OAlg/Structure/Additive/Proposition.o, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/oalg-base-1.1.4.0/noopt/build/OAlg/Structure/Additive/Proposition.dyn_o ) [ 57 of 136] Compiling OAlg.Structure.Additive ( src/OAlg/Structure/Additive.hs, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/oalg-base-1.1.4.0/noopt/build/OAlg/Structure/Additive.o, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/oalg-base-1.1.4.0/noopt/build/OAlg/Structure/Additive.dyn_o ) [ 58 of 136] Compiling OAlg.Structure.Distributive.Proposition ( src/OAlg/Structure/Distributive/Proposition.hs, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/oalg-base-1.1.4.0/noopt/build/OAlg/Structure/Distributive/Proposition.o, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/oalg-base-1.1.4.0/noopt/build/OAlg/Structure/Distributive/Proposition.dyn_o ) [ 59 of 136] Compiling OAlg.Structure.Distributive ( src/OAlg/Structure/Distributive.hs, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/oalg-base-1.1.4.0/noopt/build/OAlg/Structure/Distributive.o, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/oalg-base-1.1.4.0/noopt/build/OAlg/Structure/Distributive.dyn_o ) [ 60 of 136] Compiling OAlg.Hom.Oriented.Definition ( src/OAlg/Hom/Oriented/Definition.hs, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/oalg-base-1.1.4.0/noopt/build/OAlg/Hom/Oriented/Definition.o, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/oalg-base-1.1.4.0/noopt/build/OAlg/Hom/Oriented/Definition.dyn_o ) [ 61 of 136] Compiling OAlg.Hom.Oriented.Proposition ( src/OAlg/Hom/Oriented/Proposition.hs, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/oalg-base-1.1.4.0/noopt/build/OAlg/Hom/Oriented/Proposition.o, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/oalg-base-1.1.4.0/noopt/build/OAlg/Hom/Oriented/Proposition.dyn_o ) [ 62 of 136] Compiling OAlg.Hom.Oriented ( src/OAlg/Hom/Oriented.hs, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/oalg-base-1.1.4.0/noopt/build/OAlg/Hom/Oriented.o, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/oalg-base-1.1.4.0/noopt/build/OAlg/Hom/Oriented.dyn_o ) [ 63 of 136] Compiling OAlg.Hom.Fibred ( src/OAlg/Hom/Fibred.hs, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/oalg-base-1.1.4.0/noopt/build/OAlg/Hom/Fibred.o, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/oalg-base-1.1.4.0/noopt/build/OAlg/Hom/Fibred.dyn_o ) [ 64 of 136] Compiling OAlg.Hom.Additive ( src/OAlg/Hom/Additive.hs, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/oalg-base-1.1.4.0/noopt/build/OAlg/Hom/Additive.o, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/oalg-base-1.1.4.0/noopt/build/OAlg/Hom/Additive.dyn_o ) [ 65 of 136] Compiling OAlg.Hom.Multiplicative.Definition ( src/OAlg/Hom/Multiplicative/Definition.hs, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/oalg-base-1.1.4.0/noopt/build/OAlg/Hom/Multiplicative/Definition.o, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/oalg-base-1.1.4.0/noopt/build/OAlg/Hom/Multiplicative/Definition.dyn_o ) [ 66 of 136] Compiling OAlg.Hom.Multiplicative.Proposition ( src/OAlg/Hom/Multiplicative/Proposition.hs, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/oalg-base-1.1.4.0/noopt/build/OAlg/Hom/Multiplicative/Proposition.o, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/oalg-base-1.1.4.0/noopt/build/OAlg/Hom/Multiplicative/Proposition.dyn_o ) [ 67 of 136] Compiling OAlg.Hom.Multiplicative ( src/OAlg/Hom/Multiplicative.hs, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/oalg-base-1.1.4.0/noopt/build/OAlg/Hom/Multiplicative.o, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/oalg-base-1.1.4.0/noopt/build/OAlg/Hom/Multiplicative.dyn_o ) [ 68 of 136] Compiling OAlg.Hom.Proposition ( src/OAlg/Hom/Proposition.hs, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/oalg-base-1.1.4.0/noopt/build/OAlg/Hom/Proposition.o, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/oalg-base-1.1.4.0/noopt/build/OAlg/Hom/Proposition.dyn_o ) [ 69 of 136] Compiling OAlg.Hom.Distributive ( src/OAlg/Hom/Distributive.hs, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/oalg-base-1.1.4.0/noopt/build/OAlg/Hom/Distributive.o, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/oalg-base-1.1.4.0/noopt/build/OAlg/Hom/Distributive.dyn_o ) [ 70 of 136] Compiling OAlg.Entity.Natural ( src/OAlg/Entity/Natural.hs, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/oalg-base-1.1.4.0/noopt/build/OAlg/Entity/Natural.o, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/oalg-base-1.1.4.0/noopt/build/OAlg/Entity/Natural.dyn_o ) [ 71 of 136] Compiling OAlg.Entity.FinList ( src/OAlg/Entity/FinList.hs, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/oalg-base-1.1.4.0/noopt/build/OAlg/Entity/FinList.o, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/oalg-base-1.1.4.0/noopt/build/OAlg/Entity/FinList.dyn_o ) [ 72 of 136] Compiling OAlg.Entity.Diagram.Quiver ( src/OAlg/Entity/Diagram/Quiver.hs, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/oalg-base-1.1.4.0/noopt/build/OAlg/Entity/Diagram/Quiver.o, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/oalg-base-1.1.4.0/noopt/build/OAlg/Entity/Diagram/Quiver.dyn_o ) [ 73 of 136] Compiling OAlg.Entity.Diagram.Definition ( src/OAlg/Entity/Diagram/Definition.hs, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/oalg-base-1.1.4.0/noopt/build/OAlg/Entity/Diagram/Definition.o, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/oalg-base-1.1.4.0/noopt/build/OAlg/Entity/Diagram/Definition.dyn_o ) [ 74 of 136] Compiling OAlg.Entity.Diagram.Proposition ( src/OAlg/Entity/Diagram/Proposition.hs, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/oalg-base-1.1.4.0/noopt/build/OAlg/Entity/Diagram/Proposition.o, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/oalg-base-1.1.4.0/noopt/build/OAlg/Entity/Diagram/Proposition.dyn_o ) [ 75 of 136] Compiling OAlg.Structure.Proposition ( src/OAlg/Structure/Proposition.hs, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/oalg-base-1.1.4.0/noopt/build/OAlg/Structure/Proposition.o, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/oalg-base-1.1.4.0/noopt/build/OAlg/Structure/Proposition.dyn_o ) [ 76 of 136] Compiling OAlg.Structure.Ring.Definition ( src/OAlg/Structure/Ring/Definition.hs, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/oalg-base-1.1.4.0/noopt/build/OAlg/Structure/Ring/Definition.o, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/oalg-base-1.1.4.0/noopt/build/OAlg/Structure/Ring/Definition.dyn_o ) [ 77 of 136] Compiling OAlg.Structure.Ring ( src/OAlg/Structure/Ring.hs, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/oalg-base-1.1.4.0/noopt/build/OAlg/Structure/Ring.o, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/oalg-base-1.1.4.0/noopt/build/OAlg/Structure/Ring.dyn_o ) [ 78 of 136] Compiling OAlg.Structure.Number.Definition ( src/OAlg/Structure/Number/Definition.hs, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/oalg-base-1.1.4.0/noopt/build/OAlg/Structure/Number/Definition.o, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/oalg-base-1.1.4.0/noopt/build/OAlg/Structure/Number/Definition.dyn_o ) [ 79 of 136] Compiling OAlg.Structure.Number ( src/OAlg/Structure/Number.hs, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/oalg-base-1.1.4.0/noopt/build/OAlg/Structure/Number.o, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/oalg-base-1.1.4.0/noopt/build/OAlg/Structure/Number.dyn_o ) [ 80 of 136] Compiling OAlg.Entity.Sequence.Set ( src/OAlg/Entity/Sequence/Set.hs, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/oalg-base-1.1.4.0/noopt/build/OAlg/Entity/Sequence/Set.o, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/oalg-base-1.1.4.0/noopt/build/OAlg/Entity/Sequence/Set.dyn_o ) [ 81 of 136] Compiling OAlg.Entity.Sequence.Graph ( src/OAlg/Entity/Sequence/Graph.hs, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/oalg-base-1.1.4.0/noopt/build/OAlg/Entity/Sequence/Graph.o, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/oalg-base-1.1.4.0/noopt/build/OAlg/Entity/Sequence/Graph.dyn_o ) [ 82 of 136] Compiling OAlg.Entity.Sequence.Definition ( src/OAlg/Entity/Sequence/Definition.hs, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/oalg-base-1.1.4.0/noopt/build/OAlg/Entity/Sequence/Definition.o, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/oalg-base-1.1.4.0/noopt/build/OAlg/Entity/Sequence/Definition.dyn_o ) [ 83 of 136] Compiling OAlg.Entity.Sequence.PSequence ( src/OAlg/Entity/Sequence/PSequence.hs, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/oalg-base-1.1.4.0/noopt/build/OAlg/Entity/Sequence/PSequence.o, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/oalg-base-1.1.4.0/noopt/build/OAlg/Entity/Sequence/PSequence.dyn_o ) [ 84 of 136] Compiling OAlg.Structure.Exponential ( src/OAlg/Structure/Exponential.hs, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/oalg-base-1.1.4.0/noopt/build/OAlg/Structure/Exponential.o, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/oalg-base-1.1.4.0/noopt/build/OAlg/Structure/Exponential.dyn_o ) [ 85 of 136] Compiling OAlg.Structure.Vectorial.Definition ( src/OAlg/Structure/Vectorial/Definition.hs, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/oalg-base-1.1.4.0/noopt/build/OAlg/Structure/Vectorial/Definition.o, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/oalg-base-1.1.4.0/noopt/build/OAlg/Structure/Vectorial/Definition.dyn_o ) [ 86 of 136] Compiling OAlg.Structure.Algebraic.Definition ( src/OAlg/Structure/Algebraic/Definition.hs, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/oalg-base-1.1.4.0/noopt/build/OAlg/Structure/Algebraic/Definition.o, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/oalg-base-1.1.4.0/noopt/build/OAlg/Structure/Algebraic/Definition.dyn_o ) [ 87 of 136] Compiling OAlg.Structure.Algebraic.Proposition ( src/OAlg/Structure/Algebraic/Proposition.hs, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/oalg-base-1.1.4.0/noopt/build/OAlg/Structure/Algebraic/Proposition.o, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/oalg-base-1.1.4.0/noopt/build/OAlg/Structure/Algebraic/Proposition.dyn_o ) [ 88 of 136] Compiling OAlg.Structure.Algebraic ( src/OAlg/Structure/Algebraic.hs, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/oalg-base-1.1.4.0/noopt/build/OAlg/Structure/Algebraic.o, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/oalg-base-1.1.4.0/noopt/build/OAlg/Structure/Algebraic.dyn_o ) [ 89 of 136] Compiling OAlg.Structure.Vectorial.Proposition ( src/OAlg/Structure/Vectorial/Proposition.hs, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/oalg-base-1.1.4.0/noopt/build/OAlg/Structure/Vectorial/Proposition.o, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/oalg-base-1.1.4.0/noopt/build/OAlg/Structure/Vectorial/Proposition.dyn_o ) [ 90 of 136] Compiling OAlg.Structure.Vectorial ( src/OAlg/Structure/Vectorial.hs, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/oalg-base-1.1.4.0/noopt/build/OAlg/Structure/Vectorial.o, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/oalg-base-1.1.4.0/noopt/build/OAlg/Structure/Vectorial.dyn_o ) [ 91 of 136] Compiling OAlg.Hom.Vectorial ( src/OAlg/Hom/Vectorial.hs, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/oalg-base-1.1.4.0/noopt/build/OAlg/Hom/Vectorial.o, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/oalg-base-1.1.4.0/noopt/build/OAlg/Hom/Vectorial.dyn_o ) [ 92 of 136] Compiling OAlg.Hom.Algebraic ( src/OAlg/Hom/Algebraic.hs, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/oalg-base-1.1.4.0/noopt/build/OAlg/Hom/Algebraic.o, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/oalg-base-1.1.4.0/noopt/build/OAlg/Hom/Algebraic.dyn_o ) [ 93 of 136] Compiling OAlg.Hom ( src/OAlg/Hom.hs, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/oalg-base-1.1.4.0/noopt/build/OAlg/Hom.o, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/oalg-base-1.1.4.0/noopt/build/OAlg/Hom.dyn_o ) [ 94 of 136] Compiling OAlg.Entity.Product.Definition ( src/OAlg/Entity/Product/Definition.hs, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/oalg-base-1.1.4.0/noopt/build/OAlg/Entity/Product/Definition.o, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/oalg-base-1.1.4.0/noopt/build/OAlg/Entity/Product/Definition.dyn_o ) [ 95 of 136] Compiling OAlg.Entity.Product.Proposition ( src/OAlg/Entity/Product/Proposition.hs, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/oalg-base-1.1.4.0/noopt/build/OAlg/Entity/Product/Proposition.o, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/oalg-base-1.1.4.0/noopt/build/OAlg/Entity/Product/Proposition.dyn_o ) [ 96 of 136] Compiling OAlg.Entity.Product.ProductSymbol ( src/OAlg/Entity/Product/ProductSymbol.hs, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/oalg-base-1.1.4.0/noopt/build/OAlg/Entity/Product/ProductSymbol.o, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/oalg-base-1.1.4.0/noopt/build/OAlg/Entity/Product/ProductSymbol.dyn_o ) [ 97 of 136] Compiling OAlg.Entity.Sequence.CSequence ( src/OAlg/Entity/Sequence/CSequence.hs, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/oalg-base-1.1.4.0/noopt/build/OAlg/Entity/Sequence/CSequence.o, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/oalg-base-1.1.4.0/noopt/build/OAlg/Entity/Sequence/CSequence.dyn_o ) [ 98 of 136] Compiling OAlg.Entity.Product ( src/OAlg/Entity/Product.hs, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/oalg-base-1.1.4.0/noopt/build/OAlg/Entity/Product.o, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/oalg-base-1.1.4.0/noopt/build/OAlg/Entity/Product.dyn_o ) [ 99 of 136] Compiling OAlg.Entity.Sequence.Permutation ( src/OAlg/Entity/Sequence/Permutation.hs, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/oalg-base-1.1.4.0/noopt/build/OAlg/Entity/Sequence/Permutation.o, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/oalg-base-1.1.4.0/noopt/build/OAlg/Entity/Sequence/Permutation.dyn_o ) [100 of 136] Compiling OAlg.Entity.Sequence ( src/OAlg/Entity/Sequence.hs, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/oalg-base-1.1.4.0/noopt/build/OAlg/Entity/Sequence.o, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/oalg-base-1.1.4.0/noopt/build/OAlg/Entity/Sequence.dyn_o ) [101 of 136] Compiling OAlg.Entity.Matrix.Entries ( src/OAlg/Entity/Matrix/Entries.hs, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/oalg-base-1.1.4.0/noopt/build/OAlg/Entity/Matrix/Entries.o, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/oalg-base-1.1.4.0/noopt/build/OAlg/Entity/Matrix/Entries.dyn_o ) [102 of 136] Compiling OAlg.Entity.Matrix.Dim ( src/OAlg/Entity/Matrix/Dim.hs, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/oalg-base-1.1.4.0/noopt/build/OAlg/Entity/Matrix/Dim.o, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/oalg-base-1.1.4.0/noopt/build/OAlg/Entity/Matrix/Dim.dyn_o ) [103 of 136] Compiling OAlg.Adjunction.Definition ( src/OAlg/Adjunction/Definition.hs, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/oalg-base-1.1.4.0/noopt/build/OAlg/Adjunction/Definition.o, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/oalg-base-1.1.4.0/noopt/build/OAlg/Adjunction/Definition.dyn_o ) [104 of 136] Compiling OAlg.Entity.Sum.Definition ( src/OAlg/Entity/Sum/Definition.hs, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/oalg-base-1.1.4.0/noopt/build/OAlg/Entity/Sum/Definition.o, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/oalg-base-1.1.4.0/noopt/build/OAlg/Entity/Sum/Definition.dyn_o ) [105 of 136] Compiling OAlg.Entity.Sum.SumSymbol ( src/OAlg/Entity/Sum/SumSymbol.hs, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/oalg-base-1.1.4.0/noopt/build/OAlg/Entity/Sum/SumSymbol.o, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/oalg-base-1.1.4.0/noopt/build/OAlg/Entity/Sum/SumSymbol.dyn_o ) [106 of 136] Compiling OAlg.Entity.Sum ( src/OAlg/Entity/Sum.hs, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/oalg-base-1.1.4.0/noopt/build/OAlg/Entity/Sum.o, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/oalg-base-1.1.4.0/noopt/build/OAlg/Entity/Sum.dyn_o ) [107 of 136] Compiling OAlg.Entity.Matrix.Definition ( src/OAlg/Entity/Matrix/Definition.hs, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/oalg-base-1.1.4.0/noopt/build/OAlg/Entity/Matrix/Definition.o, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/oalg-base-1.1.4.0/noopt/build/OAlg/Entity/Matrix/Definition.dyn_o ) [108 of 136] Compiling OAlg.Entity.Matrix.Vector ( src/OAlg/Entity/Matrix/Vector.hs, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/oalg-base-1.1.4.0/noopt/build/OAlg/Entity/Matrix/Vector.o, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/oalg-base-1.1.4.0/noopt/build/OAlg/Entity/Matrix/Vector.dyn_o ) [109 of 136] Compiling OAlg.Entity.Matrix.GeneralLinearGroup ( src/OAlg/Entity/Matrix/GeneralLinearGroup.hs, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/oalg-base-1.1.4.0/noopt/build/OAlg/Entity/Matrix/GeneralLinearGroup.o, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/oalg-base-1.1.4.0/noopt/build/OAlg/Entity/Matrix/GeneralLinearGroup.dyn_o ) [110 of 136] Compiling OAlg.Entity.Matrix.Transformation ( src/OAlg/Entity/Matrix/Transformation.hs, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/oalg-base-1.1.4.0/noopt/build/OAlg/Entity/Matrix/Transformation.o, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/oalg-base-1.1.4.0/noopt/build/OAlg/Entity/Matrix/Transformation.dyn_o ) [111 of 136] Compiling OAlg.Entity.Diagram.Transformation ( src/OAlg/Entity/Diagram/Transformation.hs, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/oalg-base-1.1.4.0/noopt/build/OAlg/Entity/Diagram/Transformation.o, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/oalg-base-1.1.4.0/noopt/build/OAlg/Entity/Diagram/Transformation.dyn_o ) [112 of 136] Compiling OAlg.Entity.Diagram ( src/OAlg/Entity/Diagram.hs, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/oalg-base-1.1.4.0/noopt/build/OAlg/Entity/Diagram.o, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/oalg-base-1.1.4.0/noopt/build/OAlg/Entity/Diagram.dyn_o ) [113 of 136] Compiling OAlg.Limes.Cone.Definition ( src/OAlg/Limes/Cone/Definition.hs, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/oalg-base-1.1.4.0/noopt/build/OAlg/Limes/Cone/Definition.o, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/oalg-base-1.1.4.0/noopt/build/OAlg/Limes/Cone/Definition.dyn_o ) [114 of 136] Compiling OAlg.Limes.Cone.EligibleFactor ( src/OAlg/Limes/Cone/EligibleFactor.hs, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/oalg-base-1.1.4.0/noopt/build/OAlg/Limes/Cone/EligibleFactor.o, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/oalg-base-1.1.4.0/noopt/build/OAlg/Limes/Cone/EligibleFactor.dyn_o ) [115 of 136] Compiling OAlg.Limes.Cone ( src/OAlg/Limes/Cone.hs, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/oalg-base-1.1.4.0/noopt/build/OAlg/Limes/Cone.o, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/oalg-base-1.1.4.0/noopt/build/OAlg/Limes/Cone.dyn_o ) [116 of 136] Compiling OAlg.Limes.Definition ( src/OAlg/Limes/Definition.hs, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/oalg-base-1.1.4.0/noopt/build/OAlg/Limes/Definition.o, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/oalg-base-1.1.4.0/noopt/build/OAlg/Limes/Definition.dyn_o ) [117 of 136] Compiling OAlg.Limes.Limits ( src/OAlg/Limes/Limits.hs, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/oalg-base-1.1.4.0/noopt/build/OAlg/Limes/Limits.o, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/oalg-base-1.1.4.0/noopt/build/OAlg/Limes/Limits.dyn_o ) [118 of 136] Compiling OAlg.Limes.TerminalAndInitialPoint ( src/OAlg/Limes/TerminalAndInitialPoint.hs, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/oalg-base-1.1.4.0/noopt/build/OAlg/Limes/TerminalAndInitialPoint.o, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/oalg-base-1.1.4.0/noopt/build/OAlg/Limes/TerminalAndInitialPoint.dyn_o ) [119 of 136] Compiling OAlg.Limes.MinimaAndMaxima ( src/OAlg/Limes/MinimaAndMaxima.hs, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/oalg-base-1.1.4.0/noopt/build/OAlg/Limes/MinimaAndMaxima.o, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/oalg-base-1.1.4.0/noopt/build/OAlg/Limes/MinimaAndMaxima.dyn_o ) [120 of 136] Compiling OAlg.Limes.ProductsAndSums ( src/OAlg/Limes/ProductsAndSums.hs, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/oalg-base-1.1.4.0/noopt/build/OAlg/Limes/ProductsAndSums.o, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/oalg-base-1.1.4.0/noopt/build/OAlg/Limes/ProductsAndSums.dyn_o ) [121 of 136] Compiling OAlg.Limes.EqualizersAndCoequalizers ( src/OAlg/Limes/EqualizersAndCoequalizers.hs, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/oalg-base-1.1.4.0/noopt/build/OAlg/Limes/EqualizersAndCoequalizers.o, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/oalg-base-1.1.4.0/noopt/build/OAlg/Limes/EqualizersAndCoequalizers.dyn_o ) [122 of 136] Compiling OAlg.Limes.PullbacksAndPushouts ( src/OAlg/Limes/PullbacksAndPushouts.hs, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/oalg-base-1.1.4.0/noopt/build/OAlg/Limes/PullbacksAndPushouts.o, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/oalg-base-1.1.4.0/noopt/build/OAlg/Limes/PullbacksAndPushouts.dyn_o ) [123 of 136] Compiling OAlg.Limes.KernelsAndCokernels ( src/OAlg/Limes/KernelsAndCokernels.hs, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/oalg-base-1.1.4.0/noopt/build/OAlg/Limes/KernelsAndCokernels.o, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/oalg-base-1.1.4.0/noopt/build/OAlg/Limes/KernelsAndCokernels.dyn_o ) [124 of 136] Compiling OAlg.Limes.Proposition ( src/OAlg/Limes/Proposition.hs, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/oalg-base-1.1.4.0/noopt/build/OAlg/Limes/Proposition.o, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/oalg-base-1.1.4.0/noopt/build/OAlg/Limes/Proposition.dyn_o ) [125 of 136] Compiling OAlg.Entity.Slice.Definition ( src/OAlg/Entity/Slice/Definition.hs, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/oalg-base-1.1.4.0/noopt/build/OAlg/Entity/Slice/Definition.o, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/oalg-base-1.1.4.0/noopt/build/OAlg/Entity/Slice/Definition.dyn_o ) [126 of 136] Compiling OAlg.Entity.Slice.Free ( src/OAlg/Entity/Slice/Free.hs, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/oalg-base-1.1.4.0/noopt/build/OAlg/Entity/Slice/Free.o, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/oalg-base-1.1.4.0/noopt/build/OAlg/Entity/Slice/Free.dyn_o ) [127 of 136] Compiling OAlg.Entity.Matrix.ProductsAndSums ( src/OAlg/Entity/Matrix/ProductsAndSums.hs, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/oalg-base-1.1.4.0/noopt/build/OAlg/Entity/Matrix/ProductsAndSums.o, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/oalg-base-1.1.4.0/noopt/build/OAlg/Entity/Matrix/ProductsAndSums.dyn_o ) [128 of 136] Compiling OAlg.Entity.Matrix.Proposition ( src/OAlg/Entity/Matrix/Proposition.hs, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/oalg-base-1.1.4.0/noopt/build/OAlg/Entity/Matrix/Proposition.o, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/oalg-base-1.1.4.0/noopt/build/OAlg/Entity/Matrix/Proposition.dyn_o ) [129 of 136] Compiling OAlg.Entity.Matrix ( src/OAlg/Entity/Matrix.hs, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/oalg-base-1.1.4.0/noopt/build/OAlg/Entity/Matrix.o, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/oalg-base-1.1.4.0/noopt/build/OAlg/Entity/Matrix.dyn_o ) [130 of 136] Compiling OAlg.Proposition ( src/OAlg/Proposition.hs, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/oalg-base-1.1.4.0/noopt/build/OAlg/Proposition.o, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/oalg-base-1.1.4.0/noopt/build/OAlg/Proposition.dyn_o ) [131 of 136] Compiling OAlg.Adjunction.Limes ( src/OAlg/Adjunction/Limes.hs, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/oalg-base-1.1.4.0/noopt/build/OAlg/Adjunction/Limes.o, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/oalg-base-1.1.4.0/noopt/build/OAlg/Adjunction/Limes.dyn_o ) [132 of 136] Compiling OAlg.Adjunction ( src/OAlg/Adjunction.hs, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/oalg-base-1.1.4.0/noopt/build/OAlg/Adjunction.o, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/oalg-base-1.1.4.0/noopt/build/OAlg/Adjunction.dyn_o ) [133 of 136] Compiling OAlg.Entity.Slice.Adjunction ( src/OAlg/Entity/Slice/Adjunction.hs, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/oalg-base-1.1.4.0/noopt/build/OAlg/Entity/Slice/Adjunction.o, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/oalg-base-1.1.4.0/noopt/build/OAlg/Entity/Slice/Adjunction.dyn_o ) [134 of 136] Compiling OAlg.Entity.Slice ( src/OAlg/Entity/Slice.hs, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/oalg-base-1.1.4.0/noopt/build/OAlg/Entity/Slice.o, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/oalg-base-1.1.4.0/noopt/build/OAlg/Entity/Slice.dyn_o ) [135 of 136] Compiling OAlg.Data.Generator ( src/OAlg/Data/Generator.hs, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/oalg-base-1.1.4.0/noopt/build/OAlg/Data/Generator.o, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/oalg-base-1.1.4.0/noopt/build/OAlg/Data/Generator.dyn_o ) [136 of 136] Compiling Paths_oalg_base ( /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/oalg-base-1.1.4.0/noopt/build/autogen/Paths_oalg_base.hs, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/oalg-base-1.1.4.0/noopt/build/Paths_oalg_base.o, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/oalg-base-1.1.4.0/noopt/build/Paths_oalg_base.dyn_o ) Preprocessing test suite 'oalg-base-test' for oalg-base-1.1.4.0.. Building test suite 'oalg-base-test' for oalg-base-1.1.4.0.. [1 of 2] Compiling Main ( test/Spec.hs, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/oalg-base-1.1.4.0/noopt/build/oalg-base-test/oalg-base-test-tmp/Main.o ) [2 of 2] Compiling Paths_oalg_base ( /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/oalg-base-1.1.4.0/noopt/build/oalg-base-test/autogen/Paths_oalg_base.hs, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/oalg-base-1.1.4.0/noopt/build/oalg-base-test/oalg-base-test-tmp/Paths_oalg_base.o ) Linking /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/oalg-base-1.1.4.0/noopt/build/oalg-base-test/oalg-base-test ... Running 1 test suites... Test suite oalg-base-test: RUNNING... Test suite oalg-base-test: PASS Test suite logged to: /home/builder/builder-dir/build-cache/tmp-install/reports/oalg-base-1.1.4.0.test Writing: oalg-base-1.1.4.0-inplace/OAlg.Category.Proposition.hs.html Writing: oalg-base-1.1.4.0-inplace/OAlg.Limes.ProductsAndSums.hs.html Writing: oalg-base-1.1.4.0-inplace/OAlg.Limes.MinimaAndMaxima.hs.html Writing: oalg-base-1.1.4.0-inplace/OAlg.Limes.KernelsAndCokernels.hs.html Writing: oalg-base-1.1.4.0-inplace/OAlg.Limes.EqualizersAndCoequalizers.hs.html Writing: oalg-base-1.1.4.0-inplace/OAlg.Limes.Definition.hs.html Writing: oalg-base-1.1.4.0-inplace/OAlg.Limes.Cone.Definition.hs.html Writing: oalg-base-1.1.4.0-inplace/OAlg.Hom.Oriented.Proposition.hs.html Writing: oalg-base-1.1.4.0-inplace/OAlg.Hom.Multiplicative.Proposition.hs.html Writing: oalg-base-1.1.4.0-inplace/OAlg.Hom.Multiplicative.Definition.hs.html Writing: oalg-base-1.1.4.0-inplace/OAlg.Hom.Distributive.hs.html Writing: oalg-base-1.1.4.0-inplace/OAlg.Entity.Sequence.CSequence.hs.html Writing: oalg-base-1.1.4.0-inplace/OAlg.Entity.Product.Definition.hs.html Writing: oalg-base-1.1.4.0-inplace/OAlg.Entity.Matrix.ProductsAndSums.hs.html Writing: oalg-base-1.1.4.0-inplace/OAlg.Entity.Matrix.Entries.hs.html Writing: oalg-base-1.1.4.0-inplace/OAlg.Entity.Matrix.Dim.hs.html Writing: oalg-base-1.1.4.0-inplace/OAlg.Entity.Matrix.Definition.hs.html Writing: oalg-base-1.1.4.0-inplace/OAlg.Entity.Diagram.Quiver.hs.html Writing: oalg-base-1.1.4.0-inplace/OAlg.Entity.Diagram.Definition.hs.html Writing: oalg-base-1.1.4.0-inplace/OAlg.Data.Tree.hs.html Writing: oalg-base-1.1.4.0-inplace/OAlg.Data.Singleton.hs.html Writing: oalg-base-1.1.4.0-inplace/OAlg.Data.Reducible.hs.html Writing: oalg-base-1.1.4.0-inplace/OAlg.Data.Ord.hs.html Writing: oalg-base-1.1.4.0-inplace/OAlg.Data.Either.hs.html Writing: oalg-base-1.1.4.0-inplace/OAlg.Data.Dualisable.hs.html Writing: oalg-base-1.1.4.0-inplace/OAlg.Data.Constructable.hs.html Writing: oalg-base-1.1.4.0-inplace/OAlg.Control.Solver.hs.html Writing: oalg-base-1.1.4.0-inplace/OAlg.Category.Unify.hs.html Writing: oalg-base-1.1.4.0-inplace/OAlg.Category.Path.hs.html Writing: oalg-base-1.1.4.0-inplace/OAlg.Structure.Vectorial.Proposition.hs.html Writing: oalg-base-1.1.4.0-inplace/OAlg.Structure.Vectorial.Definition.hs.html Writing: oalg-base-1.1.4.0-inplace/OAlg.Structure.Ring.Definition.hs.html Writing: oalg-base-1.1.4.0-inplace/OAlg.Structure.Oriented.Proposition.hs.html Writing: oalg-base-1.1.4.0-inplace/OAlg.Structure.Oriented.Definition.hs.html Writing: oalg-base-1.1.4.0-inplace/OAlg.Structure.Operational.hs.html Writing: oalg-base-1.1.4.0-inplace/OAlg.Structure.Number.Definition.hs.html Writing: oalg-base-1.1.4.0-inplace/OAlg.Structure.Multiplicative.Proposition.hs.html Writing: oalg-base-1.1.4.0-inplace/OAlg.Structure.Multiplicative.Definition.hs.html Writing: oalg-base-1.1.4.0-inplace/OAlg.Structure.Fibred.Proposition.hs.html Writing: oalg-base-1.1.4.0-inplace/OAlg.Structure.Fibred.Definition.hs.html Writing: oalg-base-1.1.4.0-inplace/OAlg.Structure.Exponential.hs.html Writing: oalg-base-1.1.4.0-inplace/OAlg.Structure.Exception.hs.html Writing: oalg-base-1.1.4.0-inplace/OAlg.Structure.Distributive.Proposition.hs.html Writing: oalg-base-1.1.4.0-inplace/OAlg.Structure.Distributive.Definition.hs.html Writing: oalg-base-1.1.4.0-inplace/OAlg.Structure.Definition.hs.html Writing: oalg-base-1.1.4.0-inplace/OAlg.Structure.Algebraic.Proposition.hs.html Writing: oalg-base-1.1.4.0-inplace/OAlg.Structure.Algebraic.Definition.hs.html Writing: oalg-base-1.1.4.0-inplace/OAlg.Structure.Additive.Proposition.hs.html Writing: oalg-base-1.1.4.0-inplace/OAlg.Structure.Additive.Definition.hs.html Writing: oalg-base-1.1.4.0-inplace/OAlg.Limes.TerminalAndInitialPoint.hs.html Writing: oalg-base-1.1.4.0-inplace/OAlg.Limes.PullbacksAndPushouts.hs.html Writing: oalg-base-1.1.4.0-inplace/OAlg.Limes.Proposition.hs.html Writing: oalg-base-1.1.4.0-inplace/OAlg.Limes.Perspective.hs.html Writing: oalg-base-1.1.4.0-inplace/OAlg.Limes.Limits.hs.html Writing: oalg-base-1.1.4.0-inplace/OAlg.Limes.Cone.EligibleFactor.hs.html Writing: oalg-base-1.1.4.0-inplace/OAlg.Hom.Vectorial.hs.html Writing: oalg-base-1.1.4.0-inplace/OAlg.Hom.Proposition.hs.html Writing: oalg-base-1.1.4.0-inplace/OAlg.Hom.Oriented.Definition.hs.html Writing: oalg-base-1.1.4.0-inplace/OAlg.Hom.Fibred.hs.html Writing: oalg-base-1.1.4.0-inplace/OAlg.Hom.Additive.hs.html Writing: oalg-base-1.1.4.0-inplace/OAlg.Entity.Sum.SumSymbol.hs.html Writing: oalg-base-1.1.4.0-inplace/OAlg.Entity.Sum.Definition.hs.html Writing: oalg-base-1.1.4.0-inplace/OAlg.Entity.Sequence.Set.hs.html Writing: oalg-base-1.1.4.0-inplace/OAlg.Entity.Sequence.PSequence.hs.html Writing: oalg-base-1.1.4.0-inplace/OAlg.Entity.Sequence.Permutation.hs.html Writing: oalg-base-1.1.4.0-inplace/OAlg.Entity.Sequence.Graph.hs.html Writing: oalg-base-1.1.4.0-inplace/OAlg.Entity.Sequence.Definition.hs.html Writing: oalg-base-1.1.4.0-inplace/OAlg.Entity.Product.Proposition.hs.html Writing: oalg-base-1.1.4.0-inplace/OAlg.Entity.Product.ProductSymbol.hs.html Writing: oalg-base-1.1.4.0-inplace/OAlg.Entity.Natural.hs.html Writing: oalg-base-1.1.4.0-inplace/OAlg.Entity.Matrix.Vector.hs.html Writing: oalg-base-1.1.4.0-inplace/OAlg.Entity.Matrix.Proposition.hs.html Writing: oalg-base-1.1.4.0-inplace/OAlg.Entity.FinList.hs.html Writing: oalg-base-1.1.4.0-inplace/OAlg.Entity.Diagram.Proposition.hs.html Writing: oalg-base-1.1.4.0-inplace/OAlg.Entity.Definition.hs.html Writing: oalg-base-1.1.4.0-inplace/OAlg.Data.Validable.hs.html Writing: oalg-base-1.1.4.0-inplace/OAlg.Data.Symbol.hs.html Writing: oalg-base-1.1.4.0-inplace/OAlg.Data.Statement.Proposition.hs.html Writing: oalg-base-1.1.4.0-inplace/OAlg.Data.Opposite.hs.html Writing: oalg-base-1.1.4.0-inplace/OAlg.Data.Number.hs.html Writing: oalg-base-1.1.4.0-inplace/OAlg.Data.Maybe.hs.html Writing: oalg-base-1.1.4.0-inplace/OAlg.Data.Equal.hs.html Writing: oalg-base-1.1.4.0-inplace/OAlg.Data.Canonical.hs.html Writing: oalg-base-1.1.4.0-inplace/OAlg.Data.Boolean.Proposition.hs.html Writing: oalg-base-1.1.4.0-inplace/OAlg.Control.HNFData.hs.html Writing: oalg-base-1.1.4.0-inplace/OAlg.Control.Exception.hs.html Writing: oalg-base-1.1.4.0-inplace/OAlg.Control.Action.hs.html Writing: oalg-base-1.1.4.0-inplace/OAlg.Category.Definition.hs.html Writing: oalg-base-1.1.4.0-inplace/OAlg.Category.Applicative.hs.html Writing: oalg-base-1.1.4.0-inplace/OAlg.Structure.Proposition.hs.html Writing: oalg-base-1.1.4.0-inplace/OAlg.Proposition.hs.html Writing: oalg-base-1.1.4.0-inplace/OAlg.Data.X.hs.html Writing: oalg-base-1.1.4.0-inplace/OAlg.Data.Statistics.hs.html Writing: oalg-base-1.1.4.0-inplace/OAlg.Data.Statement.Definition.hs.html Writing: oalg-base-1.1.4.0-inplace/OAlg.Data.Show.hs.html Writing: oalg-base-1.1.4.0-inplace/OAlg.Data.Boolean.Definition.hs.html Writing: oalg-base-1.1.4.0-inplace/OAlg.Control.Verbose.hs.html Writing: oalg-base-1.1.4.0-inplace/OAlg.Control.Validate.hs.html Writing: hpc_index.html Writing: hpc_index_fun.html Writing: hpc_index_alt.html Writing: hpc_index_exp.html Test coverage report written to /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/oalg-base-1.1.4.0/noopt/hpc/vanilla/html/oalg-base-test/hpc_index.html 1 of 1 test suites (1 of 1 test cases) passed. Writing: oalg-base-1.1.4.0-inplace/OAlg.Category.Proposition.hs.html Writing: oalg-base-1.1.4.0-inplace/OAlg.Limes.ProductsAndSums.hs.html Writing: oalg-base-1.1.4.0-inplace/OAlg.Limes.MinimaAndMaxima.hs.html Writing: oalg-base-1.1.4.0-inplace/OAlg.Limes.KernelsAndCokernels.hs.html Writing: oalg-base-1.1.4.0-inplace/OAlg.Limes.EqualizersAndCoequalizers.hs.html Writing: oalg-base-1.1.4.0-inplace/OAlg.Limes.Definition.hs.html Writing: oalg-base-1.1.4.0-inplace/OAlg.Limes.Cone.Definition.hs.html Writing: oalg-base-1.1.4.0-inplace/OAlg.Hom.Oriented.Proposition.hs.html Writing: oalg-base-1.1.4.0-inplace/OAlg.Hom.Multiplicative.Proposition.hs.html Writing: oalg-base-1.1.4.0-inplace/OAlg.Hom.Multiplicative.Definition.hs.html Writing: oalg-base-1.1.4.0-inplace/OAlg.Hom.Distributive.hs.html Writing: oalg-base-1.1.4.0-inplace/OAlg.Entity.Sequence.CSequence.hs.html Writing: oalg-base-1.1.4.0-inplace/OAlg.Entity.Product.Definition.hs.html Writing: oalg-base-1.1.4.0-inplace/OAlg.Entity.Matrix.ProductsAndSums.hs.html Writing: oalg-base-1.1.4.0-inplace/OAlg.Entity.Matrix.Entries.hs.html Writing: oalg-base-1.1.4.0-inplace/OAlg.Entity.Matrix.Dim.hs.html Writing: oalg-base-1.1.4.0-inplace/OAlg.Entity.Matrix.Definition.hs.html Writing: oalg-base-1.1.4.0-inplace/OAlg.Entity.Diagram.Quiver.hs.html Writing: oalg-base-1.1.4.0-inplace/OAlg.Entity.Diagram.Definition.hs.html Writing: oalg-base-1.1.4.0-inplace/OAlg.Data.Tree.hs.html Writing: oalg-base-1.1.4.0-inplace/OAlg.Data.Singleton.hs.html Writing: oalg-base-1.1.4.0-inplace/OAlg.Data.Reducible.hs.html Writing: oalg-base-1.1.4.0-inplace/OAlg.Data.Ord.hs.html Writing: oalg-base-1.1.4.0-inplace/OAlg.Data.Either.hs.html Writing: oalg-base-1.1.4.0-inplace/OAlg.Data.Dualisable.hs.html Writing: oalg-base-1.1.4.0-inplace/OAlg.Data.Constructable.hs.html Writing: oalg-base-1.1.4.0-inplace/OAlg.Control.Solver.hs.html Writing: oalg-base-1.1.4.0-inplace/OAlg.Category.Unify.hs.html Writing: oalg-base-1.1.4.0-inplace/OAlg.Category.Path.hs.html Writing: oalg-base-1.1.4.0-inplace/OAlg.Structure.Vectorial.Proposition.hs.html Writing: oalg-base-1.1.4.0-inplace/OAlg.Structure.Vectorial.Definition.hs.html Writing: oalg-base-1.1.4.0-inplace/OAlg.Structure.Ring.Definition.hs.html Writing: oalg-base-1.1.4.0-inplace/OAlg.Structure.Oriented.Proposition.hs.html Writing: oalg-base-1.1.4.0-inplace/OAlg.Structure.Oriented.Definition.hs.html Writing: oalg-base-1.1.4.0-inplace/OAlg.Structure.Operational.hs.html Writing: oalg-base-1.1.4.0-inplace/OAlg.Structure.Number.Definition.hs.html Writing: oalg-base-1.1.4.0-inplace/OAlg.Structure.Multiplicative.Proposition.hs.html Writing: oalg-base-1.1.4.0-inplace/OAlg.Structure.Multiplicative.Definition.hs.html Writing: oalg-base-1.1.4.0-inplace/OAlg.Structure.Fibred.Proposition.hs.html Writing: oalg-base-1.1.4.0-inplace/OAlg.Structure.Fibred.Definition.hs.html Writing: oalg-base-1.1.4.0-inplace/OAlg.Structure.Exponential.hs.html Writing: oalg-base-1.1.4.0-inplace/OAlg.Structure.Exception.hs.html Writing: oalg-base-1.1.4.0-inplace/OAlg.Structure.Distributive.Proposition.hs.html Writing: oalg-base-1.1.4.0-inplace/OAlg.Structure.Distributive.Definition.hs.html Writing: oalg-base-1.1.4.0-inplace/OAlg.Structure.Definition.hs.html Writing: oalg-base-1.1.4.0-inplace/OAlg.Structure.Algebraic.Proposition.hs.html Writing: oalg-base-1.1.4.0-inplace/OAlg.Structure.Algebraic.Definition.hs.html Writing: oalg-base-1.1.4.0-inplace/OAlg.Structure.Additive.Proposition.hs.html Writing: oalg-base-1.1.4.0-inplace/OAlg.Structure.Additive.Definition.hs.html Writing: oalg-base-1.1.4.0-inplace/OAlg.Limes.TerminalAndInitialPoint.hs.html Writing: oalg-base-1.1.4.0-inplace/OAlg.Limes.PullbacksAndPushouts.hs.html Writing: oalg-base-1.1.4.0-inplace/OAlg.Limes.Proposition.hs.html Writing: oalg-base-1.1.4.0-inplace/OAlg.Limes.Perspective.hs.html Writing: oalg-base-1.1.4.0-inplace/OAlg.Limes.Limits.hs.html Writing: oalg-base-1.1.4.0-inplace/OAlg.Limes.Cone.EligibleFactor.hs.html Writing: oalg-base-1.1.4.0-inplace/OAlg.Hom.Vectorial.hs.html Writing: oalg-base-1.1.4.0-inplace/OAlg.Hom.Proposition.hs.html Writing: oalg-base-1.1.4.0-inplace/OAlg.Hom.Oriented.Definition.hs.html Writing: oalg-base-1.1.4.0-inplace/OAlg.Hom.Fibred.hs.html Writing: oalg-base-1.1.4.0-inplace/OAlg.Hom.Additive.hs.html Writing: oalg-base-1.1.4.0-inplace/OAlg.Entity.Sum.SumSymbol.hs.html Writing: oalg-base-1.1.4.0-inplace/OAlg.Entity.Sum.Definition.hs.html Writing: oalg-base-1.1.4.0-inplace/OAlg.Entity.Sequence.Set.hs.html Writing: oalg-base-1.1.4.0-inplace/OAlg.Entity.Sequence.PSequence.hs.html Writing: oalg-base-1.1.4.0-inplace/OAlg.Entity.Sequence.Permutation.hs.html Writing: oalg-base-1.1.4.0-inplace/OAlg.Entity.Sequence.Graph.hs.html Writing: oalg-base-1.1.4.0-inplace/OAlg.Entity.Sequence.Definition.hs.html Writing: oalg-base-1.1.4.0-inplace/OAlg.Entity.Product.Proposition.hs.html Writing: oalg-base-1.1.4.0-inplace/OAlg.Entity.Product.ProductSymbol.hs.html Writing: oalg-base-1.1.4.0-inplace/OAlg.Entity.Natural.hs.html Writing: oalg-base-1.1.4.0-inplace/OAlg.Entity.Matrix.Vector.hs.html Writing: oalg-base-1.1.4.0-inplace/OAlg.Entity.Matrix.Proposition.hs.html Writing: oalg-base-1.1.4.0-inplace/OAlg.Entity.FinList.hs.html Writing: oalg-base-1.1.4.0-inplace/OAlg.Entity.Diagram.Proposition.hs.html Writing: oalg-base-1.1.4.0-inplace/OAlg.Entity.Definition.hs.html Writing: oalg-base-1.1.4.0-inplace/OAlg.Data.Validable.hs.html Writing: oalg-base-1.1.4.0-inplace/OAlg.Data.Symbol.hs.html Writing: oalg-base-1.1.4.0-inplace/OAlg.Data.Statement.Proposition.hs.html Writing: oalg-base-1.1.4.0-inplace/OAlg.Data.Opposite.hs.html Writing: oalg-base-1.1.4.0-inplace/OAlg.Data.Number.hs.html Writing: oalg-base-1.1.4.0-inplace/OAlg.Data.Maybe.hs.html Writing: oalg-base-1.1.4.0-inplace/OAlg.Data.Equal.hs.html Writing: oalg-base-1.1.4.0-inplace/OAlg.Data.Canonical.hs.html Writing: oalg-base-1.1.4.0-inplace/OAlg.Data.Boolean.Proposition.hs.html Writing: oalg-base-1.1.4.0-inplace/OAlg.Control.HNFData.hs.html Writing: oalg-base-1.1.4.0-inplace/OAlg.Control.Exception.hs.html Writing: oalg-base-1.1.4.0-inplace/OAlg.Control.Action.hs.html Writing: oalg-base-1.1.4.0-inplace/OAlg.Category.Definition.hs.html Writing: oalg-base-1.1.4.0-inplace/OAlg.Category.Applicative.hs.html Writing: oalg-base-1.1.4.0-inplace/OAlg.Structure.Proposition.hs.html Writing: oalg-base-1.1.4.0-inplace/OAlg.Proposition.hs.html Writing: oalg-base-1.1.4.0-inplace/OAlg.Data.X.hs.html Writing: oalg-base-1.1.4.0-inplace/OAlg.Data.Statistics.hs.html Writing: oalg-base-1.1.4.0-inplace/OAlg.Data.Statement.Definition.hs.html Writing: oalg-base-1.1.4.0-inplace/OAlg.Data.Show.hs.html Writing: oalg-base-1.1.4.0-inplace/OAlg.Data.Boolean.Definition.hs.html Writing: oalg-base-1.1.4.0-inplace/OAlg.Control.Verbose.hs.html Writing: oalg-base-1.1.4.0-inplace/OAlg.Control.Validate.hs.html Writing: hpc_index.html Writing: hpc_index_fun.html Writing: hpc_index_alt.html Writing: hpc_index_exp.html Package coverage report written to /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/oalg-base-1.1.4.0/noopt/hpc/vanilla/html/oalg-base-1.1.4.0/hpc_index.html