[crux-commits] ports/core (3.8): libmpfr: deleted unused patch

Commit hash: 9f034fdebd1ad93a92a476d8275ce0f739240caf Author: Tim Biermann <tbier@posteo.de> Date: Fri Aug 23 01:39:34 2024 UTC+02:00 URL: https://git.crux.nu/ports/core/commit/9f034fdebd1ad93a92a476d8275ce0f739240c... Commit message: libmpfr: deleted unused patch