Pierre Roux 151a2eced2 coqPackages: fix Rocq shim for Coq >= 9

2025-07-17 15:59:09 +02:00

..

bignums

rocq-core_9_1: init at 9.1+rc1

2025-07-08 10:55:59 +02:00

hierarchy-builder

coqPackages.*: 9.0 -> 9.1

2025-07-09 07:27:19 +02:00

parseque

coqPackages: fix Rocq shim for Coq >= 9

2025-07-17 15:59:09 +02:00

rocq-elpi

coqPackages.*: 9.0 -> 9.1

2025-07-09 07:27:19 +02:00

stdlib

rocq-core_9_1: init at 9.1+rc1

2025-07-08 10:55:59 +02:00