Build reports for idris-0.9.19

No. Outcome Compiler OS Arch Flags Details
Install Docs Tests
#1 InstallOk Ok NotTried ghc-7.8.3 linux x86_64 release -gmp -freestanding -ffi -execonly -curses -ci More details