Resolving dependencies... Downloading agum-2.6... Configuring agum-2.6... Building agum-2.6... Preprocessing library agum-2.6... [1 of 2] Compiling Algebra.AbelianGroup.IntLinEq ( src/Algebra/AbelianGroup/IntLinEq.hs, dist/build/Algebra/AbelianGroup/IntLinEq.o ) [2 of 2] Compiling Algebra.AbelianGroup.UnificationMatching ( src/Algebra/AbelianGroup/UnificationMatching.hs, dist/build/Algebra/AbelianGroup/UnificationMatching.o ) In-place registering agum-2.6... Preprocessing executable 'agum' for agum-2.6... [1 of 3] Compiling Algebra.AbelianGroup.IntLinEq ( src/Algebra/AbelianGroup/IntLinEq.hs, dist/build/agum/agum-tmp/Algebra/AbelianGroup/IntLinEq.o ) [2 of 3] Compiling Algebra.AbelianGroup.UnificationMatching ( src/Algebra/AbelianGroup/UnificationMatching.hs, dist/build/agum/agum-tmp/Algebra/AbelianGroup/UnificationMatching.o ) [3 of 3] Compiling Main ( src/Algebra/AbelianGroup/Main.hs, dist/build/agum/agum-tmp/Main.o ) Linking dist/build/agum/agum ... Running Haddock for agum-2.6... Running hscolour for agum-2.6... Preprocessing library agum-2.6... Preprocessing executable 'agum' for agum-2.6... Preprocessing library agum-2.6... Haddock coverage: 100% ( 4 / 4) in 'Algebra.AbelianGroup.IntLinEq' 100% ( 18 / 18) in 'Algebra.AbelianGroup.UnificationMatching' Documentation created: dist/doc/html/agum/index.html, dist/doc/html/agum/agum.txt Preprocessing executable 'agum' for agum-2.6... Creating package registration file: /tmp/pkgConf-agum-215087.6 Installing library in /home/builder/hackage-server/build-cache/tmp-install/lib/x86_64-linux-ghc-7.8.3/agum-2.6 Installing executable(s) in /home/builder/hackage-server/build-cache/tmp-install/bin Warning: The directory /home/builder/hackage-server/build-cache/tmp-install/bin is not in the system search path. Registering agum-2.6... Installed agum-2.6