Build reports for aern2-mp-0.2.11.0

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