lang/ghc810: Fix GMP option after changes to the master port.
Description
Description
Details
Details
- Provenance
arrowd Authored on May 13 2023, 8:31 AM - Parents
- R11:37cb10a5c9d0: devel/forge: Fix build
- Branches
- Unknown
- Tags
lang/ghc810: Fix GMP option after changes to the master port. Tags None Referenced Files None Subscribers None |