- Hook math/hs-Agda-stdlib into the build that was missed during the latest global Haskell update
Reported by: antoine
Description
Description
Details
Details
- Provenance
pgj Authored on - Parents
- rP395544: Drop USES=iconv.
- Branches
- Unknown
- Tags
- Hook math/hs-Agda-stdlib into the build that was missed during the latest Tags None Referenced Files None Subscribers None |