Configuring djinn-lib-0.0.1.2... Dependency base ==4.8.1.0: using base-4.8.1.0 Dependency containers ==0.5.6.2: using containers-0.5.6.2 Dependency mtl ==2.2.1: using mtl-2.2.1 Dependency pretty ==1.1.2.0: using pretty-1.1.2.0 Using Cabal-1.22.4.0 compiled by ghc-7.10 Using compiler: ghc-7.10.2 Using install prefix: /tmp/kenta/afs/sipb.mit.edu/project/ghc/arch/amd64_ubuntu1404/install/7.10.2 Binaries installed in: /tmp/kenta/afs/sipb.mit.edu/project/ghc/arch/amd64_ubuntu1404/install/7.10.2/hackage-bin Libraries installed in: /tmp/kenta/afs/sipb.mit.edu/project/ghc/arch/amd64_ubuntu1404/install/7.10.2/lib/x86_64-linux-ghc-7.10.2/djinn-lib-0.0.1.2-90Jpivwn17JIksJR6o4p01 Private binaries installed in: /tmp/kenta/afs/sipb.mit.edu/project/ghc/arch/amd64_ubuntu1404/install/7.10.2/libexec Data files installed in: /tmp/kenta/afs/sipb.mit.edu/project/ghc/arch/amd64_ubuntu1404/install/7.10.2/share/x86_64-linux-ghc-7.10.2/djinn-lib-0.0.1.2 Documentation installed in: /tmp/kenta/afs/sipb.mit.edu/project/ghc/arch/amd64_ubuntu1404/install/7.10.2/share/doc/x86_64-linux-ghc-7.10.2/djinn-lib-0.0.1.2 Configuration files installed in: /tmp/kenta/afs/sipb.mit.edu/project/ghc/arch/amd64_ubuntu1404/install/7.10.2/etc Using alex version 3.1.4 found on system at: /tmp/kenta/afs/sipb.mit.edu/project/ghc/arch/amd64_ubuntu1404/install/7.10.2/hackage-bin/alex Using ar found on system at: /usr/bin/ar No c2hs found Using cpphs version 1.19 found on system at: /mit/ghc/arch/amd64_ubuntu1404/bin/cpphs Using gcc version 4.8 found on system at: /usr/bin/gcc Using ghc version 7.10.2 found on system at: /tmp/kenta/afs/sipb.mit.edu/project/ghc/arch/amd64_ubuntu1404/install/7.10.2/bin/ghc Using ghc-pkg version 7.10.2 found on system at: /tmp/kenta/afs/sipb.mit.edu/project/ghc/arch/amd64_ubuntu1404/install/7.10.2/bin/ghc-pkg No ghcjs found No ghcjs-pkg found No greencard found Using haddock version 2.16.1 found on system at: /tmp/kenta/afs/sipb.mit.edu/project/ghc/arch/amd64_ubuntu1404/install/7.10.2/bin/haddock Using happy version 1.19.5 found on system at: /tmp/kenta/afs/sipb.mit.edu/project/ghc/arch/amd64_ubuntu1404/install/7.10.2/hackage-bin/happy Using haskell-suite found on system at: haskell-suite-dummy-location Using haskell-suite-pkg found on system at: haskell-suite-pkg-dummy-location No hmake found Using hpc version 0.67 found on system at: /tmp/kenta/afs/sipb.mit.edu/project/ghc/arch/amd64_ubuntu1404/install/7.10.2/bin/hpc Using hsc2hs version 0.67 found on system at: /tmp/kenta/afs/sipb.mit.edu/project/ghc/arch/amd64_ubuntu1404/install/7.10.2/bin/hsc2hs Using hscolour version 1.22 found on system at: /tmp/kenta/afs/sipb.mit.edu/project/ghc/arch/amd64_ubuntu1404/install/7.10.2/hackage-bin/HsColour No jhc found Using ld found on system at: /usr/bin/ld No lhc found No lhc-pkg found Using pkg-config version 0.26 found on system at: /usr/bin/pkg-config Using strip version 2.24 found on system at: /usr/bin/strip Using tar found on system at: /bin/tar No uhc found Component build order: library creating dist/build creating dist/build/autogen Building djinn-lib-0.0.1.2... /tmp/kenta/afs/sipb.mit.edu/project/ghc/arch/amd64_ubuntu1404/install/7.10.2/bin/ghc-pkg init dist/package.conf.inplace Preprocessing library djinn-lib-0.0.1.2... Building library... creating dist/build /tmp/kenta/afs/sipb.mit.edu/project/ghc/arch/amd64_ubuntu1404/install/7.10.2/bin/ghc --make -fbuilding-cabal-package -O -static -dynamic-too -dynosuf dyn_o -dynhisuf dyn_hi -outputdir dist/build -odir dist/build -hidir dist/build -stubdir dist/build -i -idist/build -isrc -idist/build/autogen -Idist/build/autogen -Idist/build -I/tmp/kenta/afs/sipb.mit.edu/project/ghc/arch/amd64_ubuntu1404/install/7.10.2/bzip2/bzip2-1.0.6 -optP-include -optPdist/build/autogen/cabal_macros.h -this-package-key djinn_90Jpivwn17JIksJR6o4p01 -hide-all-packages -no-user-package-db -package-db dist/package.conf.inplace -package-id base-4.8.1.0-4f7206fd964c629946bb89db72c80011 -package-id containers-0.5.6.2-2de75421d746ab474b330e43191bb31b -package-id mtl-2.2.1-5cf332b11edb88a6040af20fd6a58acb -package-id pretty-1.1.2.0-2932d0905cc17ca1d9638eb9cca0a227 -XHaskell98 Djinn.HCheck Djinn.HTypes Djinn.LJT Djinn.LJTFormula [1 of 4] Compiling Djinn.LJTFormula ( src/Djinn/LJTFormula.hs, dist/build/Djinn/LJTFormula.o ) [2 of 4] Compiling Djinn.LJT ( src/Djinn/LJT.hs, dist/build/Djinn/LJT.o ) [3 of 4] Compiling Djinn.HTypes ( src/Djinn/HTypes.hs, dist/build/Djinn/HTypes.o ) [4 of 4] Compiling Djinn.HCheck ( src/Djinn/HCheck.hs, dist/build/Djinn/HCheck.o ) /tmp/kenta/afs/sipb.mit.edu/project/ghc/arch/amd64_ubuntu1404/install/7.10.2/bin/ghc --make -fbuilding-cabal-package -O -prof -osuf p_o -hisuf p_hi -outputdir dist/build -odir dist/build -hidir dist/build -stubdir dist/build -i -idist/build -isrc -idist/build/autogen -Idist/build/autogen -Idist/build -I/tmp/kenta/afs/sipb.mit.edu/project/ghc/arch/amd64_ubuntu1404/install/7.10.2/bzip2/bzip2-1.0.6 -optP-include -optPdist/build/autogen/cabal_macros.h -this-package-key djinn_90Jpivwn17JIksJR6o4p01 -hide-all-packages -no-user-package-db -package-db dist/package.conf.inplace -package-id base-4.8.1.0-4f7206fd964c629946bb89db72c80011 -package-id containers-0.5.6.2-2de75421d746ab474b330e43191bb31b -package-id mtl-2.2.1-5cf332b11edb88a6040af20fd6a58acb -package-id pretty-1.1.2.0-2932d0905cc17ca1d9638eb9cca0a227 -XHaskell98 Djinn.HCheck Djinn.HTypes Djinn.LJT Djinn.LJTFormula [1 of 4] Compiling Djinn.LJTFormula ( src/Djinn/LJTFormula.hs, dist/build/Djinn/LJTFormula.p_o ) [2 of 4] Compiling Djinn.LJT ( src/Djinn/LJT.hs, dist/build/Djinn/LJT.p_o ) [3 of 4] Compiling Djinn.HTypes ( src/Djinn/HTypes.hs, dist/build/Djinn/HTypes.p_o ) [4 of 4] Compiling Djinn.HCheck ( src/Djinn/HCheck.hs, dist/build/Djinn/HCheck.p_o ) Linking... [(InstalledPackageId "base-4.8.1.0-4f7206fd964c629946bb89db72c80011",PackageIdentifier {pkgName = PackageName {unPackageName = "base"}, pkgVersion = Version {versionBranch = [4,8,1,0], versionTags = []}},ModuleRenaming True []),(InstalledPackageId "containers-0.5.6.2-2de75421d746ab474b330e43191bb31b",PackageIdentifier {pkgName = PackageName {unPackageName = "containers"}, pkgVersion = Version {versionBranch = [0,5,6,2], versionTags = []}},ModuleRenaming True []),(InstalledPackageId "mtl-2.2.1-5cf332b11edb88a6040af20fd6a58acb",PackageIdentifier {pkgName = PackageName {unPackageName = "mtl"}, pkgVersion = Version {versionBranch = [2,2,1], versionTags = []}},ModuleRenaming True []),(InstalledPackageId "pretty-1.1.2.0-2932d0905cc17ca1d9638eb9cca0a227",PackageIdentifier {pkgName = PackageName {unPackageName = "pretty"}, pkgVersion = Version {versionBranch = [1,1,2,0], versionTags = []}},ModuleRenaming True [])] /usr/bin/ar -r dist/build/objs-4158/libHSdjinn-lib-0.0.1.2-90Jpivwn17JIksJR6o4p01.a dist/build/Djinn/HCheck.o dist/build/Djinn/HTypes.o dist/build/Djinn/LJT.o dist/build/Djinn/LJTFormula.o /usr/bin/ar: creating dist/build/objs-4158/libHSdjinn-lib-0.0.1.2-90Jpivwn17JIksJR6o4p01.a /usr/bin/strip dist/build/objs-4158/libHSdjinn-lib-0.0.1.2-90Jpivwn17JIksJR6o4p01.a --strip-unneeded /usr/bin/ar -r dist/build/objs-4158/libHSdjinn-lib-0.0.1.2-90Jpivwn17JIksJR6o4p01_p.a dist/build/Djinn/HCheck.p_o dist/build/Djinn/HTypes.p_o dist/build/Djinn/LJT.p_o dist/build/Djinn/LJTFormula.p_o /usr/bin/ar: creating dist/build/objs-4158/libHSdjinn-lib-0.0.1.2-90Jpivwn17JIksJR6o4p01_p.a /usr/bin/strip dist/build/objs-4158/libHSdjinn-lib-0.0.1.2-90Jpivwn17JIksJR6o4p01_p.a --strip-unneeded /tmp/kenta/afs/sipb.mit.edu/project/ghc/arch/amd64_ubuntu1404/install/7.10.2/bin/ghc -shared -dynamic -L/tmp/kenta/afs/sipb.mit.edu/project/ghc/arch/amd64_ubuntu1404/install/7.10.2/bzip2/bzip2-1.0.6 '-dynload deploy' -optl-Wl,-rpath,/tmp/kenta/afs/sipb.mit.edu/project/ghc/arch/amd64_ubuntu1404/install/7.10.2/lib/ghc-7.10.2/array_E0sTtauuKsGDLZoT7lTbgZ -optl-Wl,-rpath,/tmp/kenta/afs/sipb.mit.edu/project/ghc/arch/amd64_ubuntu1404/install/7.10.2/lib/ghc-7.10.2/base_GDytRqRVSUX7zckgKqJjgw -optl-Wl,-rpath,/tmp/kenta/afs/sipb.mit.edu/project/ghc/arch/amd64_ubuntu1404/install/7.10.2/lib/ghc-7.10.2/rts -optl-Wl,-rpath,/tmp/kenta/afs/sipb.mit.edu/project/ghc/arch/amd64_ubuntu1404/install/7.10.2/lib/ghc-7.10.2/conta_LKCPrTJwOTOLk4OU37YmeN -optl-Wl,-rpath,/tmp/kenta/afs/sipb.mit.edu/project/ghc/arch/amd64_ubuntu1404/install/7.10.2/lib/ghc-7.10.2/deeps_LbCWUlehDDeLxurARKDH5o -optl-Wl,-rpath,/tmp/kenta/afs/sipb.mit.edu/project/ghc/arch/amd64_ubuntu1404/install/7.10.2/lib/ghc-7.10.2/ghcpr_8TmvWUcS1U1IKHT0levwg3 -optl-Wl,-rpath,/tmp/kenta/afs/sipb.mit.edu/project/ghc/arch/amd64_ubuntu1404/install/7.10.2/lib/ghc-7.10.2/integ_2aU3IZNMF9a7mQ0OzsZ0dS -optl-Wl,-rpath,/tmp/kenta/afs/sipb.mit.edu/project/ghc/arch/amd64_ubuntu1404/install/7.10.2/lib/x86_64-linux-ghc-7.10.2/mtl_KMpng31YRYc5JfMWFZ3FCU -optl-Wl,-rpath,/tmp/kenta/afs/sipb.mit.edu/project/ghc/arch/amd64_ubuntu1404/install/7.10.2/lib/ghc-7.10.2/prett_7UQTOB05U7lIYPkFOVraeR -optl-Wl,-rpath,/tmp/kenta/afs/sipb.mit.edu/project/ghc/arch/amd64_ubuntu1404/install/7.10.2/lib/ghc-7.10.2/trans_3eG64VdP2vzGjP6wJiCp5X -this-package-key djinn_90Jpivwn17JIksJR6o4p01 -no-auto-link-packages -no-user-package-db -package-db dist/package.conf.inplace -package-id base-4.8.1.0-4f7206fd964c629946bb89db72c80011 -package-id containers-0.5.6.2-2de75421d746ab474b330e43191bb31b -package-id mtl-2.2.1-5cf332b11edb88a6040af20fd6a58acb -package-id pretty-1.1.2.0-2932d0905cc17ca1d9638eb9cca0a227 dist/build/Djinn/HCheck.dyn_o dist/build/Djinn/HTypes.dyn_o dist/build/Djinn/LJT.dyn_o dist/build/Djinn/LJTFormula.dyn_o -o dist/build/libHSdjinn-lib-0.0.1.2-90Jpivwn17JIksJR6o4p01-ghc7.10.2.so In-place registering djinn-lib-0.0.1.2... /tmp/kenta/afs/sipb.mit.edu/project/ghc/arch/amd64_ubuntu1404/install/7.10.2/bin/ghc-pkg update - --global --no-user-package-db '--package-db=dist/package.conf.inplace' /tmp/kenta/afs/sipb.mit.edu/project/ghc/arch/amd64_ubuntu1404/install/7.10.2/bin/ghc --abi-hash -fbuilding-cabal-package -O -outputdir dist/build -odir dist/build -hidir dist/build -stubdir dist/build -i -idist/build -isrc -idist/build/autogen -Idist/build/autogen -Idist/build -I/tmp/kenta/afs/sipb.mit.edu/project/ghc/arch/amd64_ubuntu1404/install/7.10.2/bzip2/bzip2-1.0.6 -optP-include -optPdist/build/autogen/cabal_macros.h -this-package-key djinn_90Jpivwn17JIksJR6o4p01 -hide-all-packages -no-user-package-db -package-id base-4.8.1.0-4f7206fd964c629946bb89db72c80011 -package-id containers-0.5.6.2-2de75421d746ab474b330e43191bb31b -package-id mtl-2.2.1-5cf332b11edb88a6040af20fd6a58acb -package-id pretty-1.1.2.0-2932d0905cc17ca1d9638eb9cca0a227 -XHaskell98 Djinn.HCheck Djinn.HTypes Djinn.LJT Djinn.LJTFormula Creating package registration file: /tmp/pkgConf-djinn-lib-0.0.12063762111270617569.2 directory dist/doc/html/djinn-lib does exist: False creating /tmp/kenta/afs/sipb.mit.edu/project/ghc/arch/amd64_ubuntu1404/install/7.10.2/share/doc/x86_64-linux-ghc-7.10.2/djinn-lib-0.0.1.2 Installing LICENSE to /tmp/kenta/afs/sipb.mit.edu/project/ghc/arch/amd64_ubuntu1404/install/7.10.2/share/doc/x86_64-linux-ghc-7.10.2/djinn-lib-0.0.1.2/LICENSE Installing library in /tmp/kenta/afs/sipb.mit.edu/project/ghc/arch/amd64_ubuntu1404/install/7.10.2/lib/x86_64-linux-ghc-7.10.2/djinn-lib-0.0.1.2-90Jpivwn17JIksJR6o4p01 creating /tmp/kenta/afs/sipb.mit.edu/project/ghc/arch/amd64_ubuntu1404/install/7.10.2/lib/x86_64-linux-ghc-7.10.2/djinn-lib-0.0.1.2-90Jpivwn17JIksJR6o4p01/Djinn creating /tmp/kenta/afs/sipb.mit.edu/project/ghc/arch/amd64_ubuntu1404/install/7.10.2/lib/x86_64-linux-ghc-7.10.2/djinn-lib-0.0.1.2-90Jpivwn17JIksJR6o4p01 creating /tmp/kenta/afs/sipb.mit.edu/project/ghc/arch/amd64_ubuntu1404/install/7.10.2/lib/x86_64-linux-ghc-7.10.2/djinn-lib-0.0.1.2-90Jpivwn17JIksJR6o4p01/Djinn Installing dist/build/Djinn/HCheck.hi to /tmp/kenta/afs/sipb.mit.edu/project/ghc/arch/amd64_ubuntu1404/install/7.10.2/lib/x86_64-linux-ghc-7.10.2/djinn-lib-0.0.1.2-90Jpivwn17JIksJR6o4p01/Djinn/HCheck.hi Installing dist/build/Djinn/HTypes.hi to /tmp/kenta/afs/sipb.mit.edu/project/ghc/arch/amd64_ubuntu1404/install/7.10.2/lib/x86_64-linux-ghc-7.10.2/djinn-lib-0.0.1.2-90Jpivwn17JIksJR6o4p01/Djinn/HTypes.hi Installing dist/build/Djinn/LJT.hi to /tmp/kenta/afs/sipb.mit.edu/project/ghc/arch/amd64_ubuntu1404/install/7.10.2/lib/x86_64-linux-ghc-7.10.2/djinn-lib-0.0.1.2-90Jpivwn17JIksJR6o4p01/Djinn/LJT.hi Installing dist/build/Djinn/LJTFormula.hi to /tmp/kenta/afs/sipb.mit.edu/project/ghc/arch/amd64_ubuntu1404/install/7.10.2/lib/x86_64-linux-ghc-7.10.2/djinn-lib-0.0.1.2-90Jpivwn17JIksJR6o4p01/Djinn/LJTFormula.hi creating /tmp/kenta/afs/sipb.mit.edu/project/ghc/arch/amd64_ubuntu1404/install/7.10.2/lib/x86_64-linux-ghc-7.10.2/djinn-lib-0.0.1.2-90Jpivwn17JIksJR6o4p01/Djinn Installing dist/build/Djinn/HCheck.p_hi to /tmp/kenta/afs/sipb.mit.edu/project/ghc/arch/amd64_ubuntu1404/install/7.10.2/lib/x86_64-linux-ghc-7.10.2/djinn-lib-0.0.1.2-90Jpivwn17JIksJR6o4p01/Djinn/HCheck.p_hi Installing dist/build/Djinn/HTypes.p_hi to /tmp/kenta/afs/sipb.mit.edu/project/ghc/arch/amd64_ubuntu1404/install/7.10.2/lib/x86_64-linux-ghc-7.10.2/djinn-lib-0.0.1.2-90Jpivwn17JIksJR6o4p01/Djinn/HTypes.p_hi Installing dist/build/Djinn/LJT.p_hi to /tmp/kenta/afs/sipb.mit.edu/project/ghc/arch/amd64_ubuntu1404/install/7.10.2/lib/x86_64-linux-ghc-7.10.2/djinn-lib-0.0.1.2-90Jpivwn17JIksJR6o4p01/Djinn/LJT.p_hi Installing dist/build/Djinn/LJTFormula.p_hi to /tmp/kenta/afs/sipb.mit.edu/project/ghc/arch/amd64_ubuntu1404/install/7.10.2/lib/x86_64-linux-ghc-7.10.2/djinn-lib-0.0.1.2-90Jpivwn17JIksJR6o4p01/Djinn/LJTFormula.p_hi creating /tmp/kenta/afs/sipb.mit.edu/project/ghc/arch/amd64_ubuntu1404/install/7.10.2/lib/x86_64-linux-ghc-7.10.2/djinn-lib-0.0.1.2-90Jpivwn17JIksJR6o4p01/Djinn Installing dist/build/Djinn/HCheck.dyn_hi to /tmp/kenta/afs/sipb.mit.edu/project/ghc/arch/amd64_ubuntu1404/install/7.10.2/lib/x86_64-linux-ghc-7.10.2/djinn-lib-0.0.1.2-90Jpivwn17JIksJR6o4p01/Djinn/HCheck.dyn_hi Installing dist/build/Djinn/HTypes.dyn_hi to /tmp/kenta/afs/sipb.mit.edu/project/ghc/arch/amd64_ubuntu1404/install/7.10.2/lib/x86_64-linux-ghc-7.10.2/djinn-lib-0.0.1.2-90Jpivwn17JIksJR6o4p01/Djinn/HTypes.dyn_hi Installing dist/build/Djinn/LJT.dyn_hi to /tmp/kenta/afs/sipb.mit.edu/project/ghc/arch/amd64_ubuntu1404/install/7.10.2/lib/x86_64-linux-ghc-7.10.2/djinn-lib-0.0.1.2-90Jpivwn17JIksJR6o4p01/Djinn/LJT.dyn_hi Installing dist/build/Djinn/LJTFormula.dyn_hi to /tmp/kenta/afs/sipb.mit.edu/project/ghc/arch/amd64_ubuntu1404/install/7.10.2/lib/x86_64-linux-ghc-7.10.2/djinn-lib-0.0.1.2-90Jpivwn17JIksJR6o4p01/Djinn/LJTFormula.dyn_hi creating /tmp/kenta/afs/sipb.mit.edu/project/ghc/arch/amd64_ubuntu1404/install/7.10.2/lib/x86_64-linux-ghc-7.10.2/djinn-lib-0.0.1.2-90Jpivwn17JIksJR6o4p01 Installing dist/build/libHSdjinn-lib-0.0.1.2-90Jpivwn17JIksJR6o4p01.a to /tmp/kenta/afs/sipb.mit.edu/project/ghc/arch/amd64_ubuntu1404/install/7.10.2/lib/x86_64-linux-ghc-7.10.2/djinn-lib-0.0.1.2-90Jpivwn17JIksJR6o4p01/libHSdjinn-lib-0.0.1.2-90Jpivwn17JIksJR6o4p01.a creating /tmp/kenta/afs/sipb.mit.edu/project/ghc/arch/amd64_ubuntu1404/install/7.10.2/lib/x86_64-linux-ghc-7.10.2/djinn-lib-0.0.1.2-90Jpivwn17JIksJR6o4p01 Installing dist/build/libHSdjinn-lib-0.0.1.2-90Jpivwn17JIksJR6o4p01_p.a to /tmp/kenta/afs/sipb.mit.edu/project/ghc/arch/amd64_ubuntu1404/install/7.10.2/lib/x86_64-linux-ghc-7.10.2/djinn-lib-0.0.1.2-90Jpivwn17JIksJR6o4p01/libHSdjinn-lib-0.0.1.2-90Jpivwn17JIksJR6o4p01_p.a creating /tmp/kenta/afs/sipb.mit.edu/project/ghc/arch/amd64_ubuntu1404/install/7.10.2/lib/x86_64-linux-ghc-7.10.2/djinn-lib-0.0.1.2-90Jpivwn17JIksJR6o4p01 /usr/bin/strip dist/build/libHSdjinn-lib-0.0.1.2-90Jpivwn17JIksJR6o4p01-ghc7.10.2.so --strip-unneeded Installing executable dist/build/libHSdjinn-lib-0.0.1.2-90Jpivwn17JIksJR6o4p01-ghc7.10.2.so to /tmp/kenta/afs/sipb.mit.edu/project/ghc/arch/amd64_ubuntu1404/install/7.10.2/lib/x86_64-linux-ghc-7.10.2/djinn-lib-0.0.1.2-90Jpivwn17JIksJR6o4p01/libHSdjinn-lib-0.0.1.2-90Jpivwn17JIksJR6o4p01-ghc7.10.2.so /tmp/kenta/afs/sipb.mit.edu/project/ghc/arch/amd64_ubuntu1404/install/7.10.2/bin/ghc --abi-hash -fbuilding-cabal-package -O -outputdir dist/build -odir dist/build -hidir dist/build -stubdir dist/build -i -idist/build -isrc -idist/build/autogen -Idist/build/autogen -Idist/build -I/tmp/kenta/afs/sipb.mit.edu/project/ghc/arch/amd64_ubuntu1404/install/7.10.2/bzip2/bzip2-1.0.6 -optP-include -optPdist/build/autogen/cabal_macros.h -this-package-key djinn_90Jpivwn17JIksJR6o4p01 -hide-all-packages -no-user-package-db -package-id base-4.8.1.0-4f7206fd964c629946bb89db72c80011 -package-id containers-0.5.6.2-2de75421d746ab474b330e43191bb31b -package-id mtl-2.2.1-5cf332b11edb88a6040af20fd6a58acb -package-id pretty-1.1.2.0-2932d0905cc17ca1d9638eb9cca0a227 -XHaskell98 Djinn.HCheck Djinn.HTypes Djinn.LJT Djinn.LJTFormula Registering djinn-lib-0.0.1.2... /tmp/kenta/afs/sipb.mit.edu/project/ghc/arch/amd64_ubuntu1404/install/7.10.2/bin/ghc-pkg update - --global --no-user-package-db