Author :
daniel
Date :
2025-05-28 12:59:45
Hash :9aebfeb1 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.
daniel