Build reports for sequent-core-0.5.0.1

Status: Built successfully.
No. Outcome Compiler OS Arch Flags Details
Install Docs Tests
#1 InstallOk Ok NotTried ghc-7.8.3 linux x86_64 -examples More details