Feat/prepare 9.2.0 - #535

Open

Justme0606 wants to merge 10 commits into

rocq-prover:mainfrom

Justme0606:feat/prepare-9.2.0

Commits on Aug 21, 2026

update documentation and bump itauto to 9.1
Justme0606
committed
0902e02
feat: prepare 9.2 base version
Justme0606
committed
7661c1f
fix: name of the package pick
Justme0606
committed
1185a7a
fix smoke test empty list package
Justme0606
committed
7e55ad0
test: change somke test kit to add rocq compile --version test
Justme0606
committed
c9ca1d5
fixed ci problems on macOs and Windows and bump vsrls
Justme0606
committed
853caf2
fix smoke test for macOs
Justme0606
committed
30f387c
change order and test the smoke test for platform 9.2 base version
Justme0606
committed
8f8fc76

Commits on Aug 22, 2026

change smoke test for Windows
Justme0606
committed
512fc6c

Commits on Aug 31, 2026

full packages for release 9.2
Justme0606
committed
6606a2b