HomeFreeBSD

math/hs-Agda: Update to latest version and unbreak.

Description

math/hs-Agda: Update to latest version and unbreak.

Approved by: tcberner (mentor, implicit)

Details

Committed
arrowdJun 13 2019, 6:51 PM
Parents
rP504133: MFH: r504076
Branches
Unknown
Tags
Unknown