The build succeeded. 0 test suites succeeded, 0 failed.

Build log

> /tmp/stackage-build2451$ stack unpack gdp-0.0.0.2@sha256:bf154ac08b0441dd62c60be2a6240cf679cb964c2239d1323ee03c3e698d56f8
Unpacked gdp-0.0.0.2 to /tmp/stackage-build2451/gdp-0.0.0.2/
> /tmp/stackage-build2451/gdp-0.0.0.2$ ghc -clear-package-db -global-package-db -package-db=/home/circleci/project/builds/nightly/pkgdb Setup
[1 of 1] Compiling Main             ( Setup.hs, Setup.o )
Linking Setup ...
> /tmp/stackage-build2451/gdp-0.0.0.2$ ./Setup configure --package-db=clear --package-db=global --package-db=/home/circleci/project/builds/nightly/pkgdb --libdir=/home/circleci/project/builds/nightly/lib --bindir=/home/circleci/project/builds/nightly/bin --datadir=/home/circleci/project/builds/nightly/share --libexecdir=/home/circleci/project/builds/nightly/libexec --sysconfdir=/home/circleci/project/builds/nightly/etc --docdir=/home/circleci/project/builds/nightly/doc/gdp-0.0.0.2 --htmldir=/home/circleci/project/builds/nightly/doc/gdp-0.0.0.2 --haddockdir=/home/circleci/project/builds/nightly/doc/gdp-0.0.0.2
Configuring gdp-0.0.0.2...
> /tmp/stackage-build2451/gdp-0.0.0.2$ ghc -clear-package-db -global-package-db -package-db=/home/circleci/project/builds/nightly/pkgdb Setup
> /tmp/stackage-build2451/gdp-0.0.0.2$ ./Setup build
Preprocessing library for gdp-0.0.0.2..
Building library for gdp-0.0.0.2..
[ 1 of 10] Compiling Data.Arguments   ( src/Data/Arguments.hs, dist/build/Data/Arguments.o )
[ 2 of 10] Compiling Data.The         ( src/Data/The.hs, dist/build/Data/The.o )
[ 3 of 10] Compiling Logic.Proof      ( src/Logic/Proof.hs, dist/build/Logic/Proof.o )
[ 4 of 10] Compiling Theory.Named     ( src/Theory/Named.hs, dist/build/Theory/Named.o )
[ 5 of 10] Compiling Theory.Equality  ( src/Theory/Equality.hs, dist/build/Theory/Equality.o )
[ 6 of 10] Compiling Logic.Classes    ( src/Logic/Classes.hs, dist/build/Logic/Classes.o )
[ 7 of 10] Compiling Data.Refined     ( src/Data/Refined.hs, dist/build/Data/Refined.o )
[ 8 of 10] Compiling Logic.Propositional ( src/Logic/Propositional.hs, dist/build/Logic/Propositional.o )
[ 9 of 10] Compiling Logic.NegClasses ( src/Logic/NegClasses.hs, dist/build/Logic/NegClasses.o )
[10 of 10] Compiling GDP              ( src/GDP.hs, dist/build/GDP.o )
Preprocessing executable 'gdp' for gdp-0.0.0.2..
Building executable 'gdp' for gdp-0.0.0.2..
[1 of 1] Compiling Main             ( app/Main.hs, dist/build/gdp/gdp-tmp/Main.o )
Linking dist/build/gdp/gdp ...
> /tmp/stackage-build2451/gdp-0.0.0.2$ ghc -clear-package-db -global-package-db -package-db=/home/circleci/project/builds/nightly/pkgdb Setup
> /tmp/stackage-build2451/gdp-0.0.0.2$ ./Setup copy
Installing library in /home/circleci/project/builds/nightly/lib/x86_64-linux-ghc-8.7.20181121/gdp-0.0.0.2-FquPy6e3HA95qBkke1OJdQ
Installing executable gdp in /home/circleci/project/builds/nightly/bin
> /tmp/stackage-build2451/gdp-0.0.0.2$ ghc -clear-package-db -global-package-db -package-db=/home/circleci/project/builds/nightly/pkgdb Setup
> /tmp/stackage-build2451/gdp-0.0.0.2$ ./Setup register
Registering library for gdp-0.0.0.2..