Build reports for cao-0.1.1

Status: Built successfully.
No. Outcome Compiler OS Arch Flags Details
Install Docs Tests
#1 ConfigureFailed NotTried NotTried ghc-7.8.3 linux x86_64 none More details
#2 DependencyFailed yices-0.0.0.12 NotTried NotTried ghc-7.10.2 linux x86_64 none More details
#3 DependencyFailed yices-0.0.0.12 NotTried NotTried ghc-7.10.2 linux x86_64 none More details
#4 DependencyFailed yices-0.0.0.12 NotTried NotTried ghc-7.10.2 linux x86_64 none More details
#5 DependencyFailed yices-0.0.0.12 NotTried NotTried ghc-7.10.2 linux x86_64 none More details
#6 DependencyFailed yices-0.0.0.12 NotTried NotTried ghc-7.10.2 linux x86_64 none More details
#7 DependencyFailed yices-0.0.0.12 NotTried NotTried ghc-8.0.1.20161018 linux x86_64 none More details
#8 DependencyFailed yices-0.0.0.12 NotTried NotTried ghc-8.0.1.20161018 linux x86_64 none More details
#9 DependencyFailed yices-0.0.0.12 NotTried NotTried ghc-8.0.1.20161018 linux x86_64 none More details