math/hs-Agda: Mark BROKEN on i386. There is a hope that the sutiation will improve
in new GHC releases.
Description
Description
Details
Details
- Provenance
arrowd Authored on - Parents
- rP547164: - Update to 0.26.0
- Branches
- Unknown
- Tags
math/hs-Agda: Mark BROKEN on i386. There is a hope that the sutiation will… Tags None Referenced Files None Subscribers None
Description
Details
|