math/abella: fix build on powerpc
Description
Description
Details
Details
- Provenance
pkubaj Authored on Jan 19 2025, 12:17 PM - Parents
- R11:125549ee0773: security/ocaml-cryptokit: fix build on powerpc
- Branches
- Unknown
- Tags
math/abella: fix build on powerpc Tags None Referenced Files None Subscribers None |