Build reports for agda2lagda-0.2025.9.5

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