daniel 9aebfeb1dd 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.

2025-05-28 12:59:45 +00:00

..

pkg

update rocq to 8.20.1

2025-05-25 16:23:12 +00:00

distinfo

update rocq to 8.20.1

2025-05-25 16:23:12 +00:00

Makefile

remove USE_NOEXECONLY from math/rocq

2025-05-28 12:59:45 +00:00