CVSROOT: /cvs Module name: ports Changes by: [email protected] 2025/05/28 06:59:45
Modified files:
math/rocq : Makefile
Log message:
remove USE_NOEXECONLY from math/rocq
Discussed with sthen@, phessler@ and Yoza (MAINTAINER). Tested by me on
an amd64 machine with a PKU. If there's new breakage we can revisit as
needed.
