Resolving dependencies...
Configuring base-unicode-symbols-0.2.2.4...
Configuring peano-0.1.0.1...
Building peano-0.1.0.1...
Building base-unicode-symbols-0.2.2.4...
Installed peano-0.1.0.1
Configuring natural-induction-0.2.0.0...
Installed base-unicode-symbols-0.2.2.4
Configuring clist-0.2.0.0...
Building natural-induction-0.2.0.0...
Building clist-0.2.0.0...
Installed natural-induction-0.2.0.0
Installed clist-0.2.0.0
Configuring Fin-0.2.0.0...
Building Fin-0.2.0.0...
Failed to install Fin-0.2.0.0
Build log ( /home/builder/.cabal/logs/Fin-0.2.0.0.log ):
cabal: Entering directory '/tmp/cabal-tmp-28647/Fin-0.2.0.0'
Configuring Fin-0.2.0.0...
Building Fin-0.2.0.0...
Preprocessing library Fin-0.2.0.0...
cabal: can't find source for Data/Fin in ., dist/build/autogen
cabal: Leaving directory '/tmp/cabal-tmp-28647/Fin-0.2.0.0'
cabal: Error: some packages failed to install:
Fin-0.2.0.0 failed during the building phase. The exception was:
ExitFailure 1