daniel 4fb94509de update rocq to 8.20.1 ...

A newer rocq/coq version is needed for the next version of CompCert. Joint
work with Yozo Toda (MAINTAINER).

This update loses coqide until it can be repaired and future updates of
rocq will need dune 3.8.3+.

ok MAINTAINER

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

..

DESCR

update rocq to 8.20.1

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

PFRAG.dynlink-native

update rocq to 8.20.1

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

PFRAG.native

update rocq to 8.20.1

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

PFRAG.no-native

update rocq to 8.20.1

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

PLIST

update rocq to 8.20.1

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