Skip to content

Bump upper bound to < 9.1 for coq-hammer-tactics - #3472

Open
Justme0606 wants to merge 3 commits into
rocq-prover:masterfrom
Justme0606:fix-coq-hammer-tactics-depends-9.0
Open

Bump upper bound to < 9.1 for coq-hammer-tactics#3472
Justme0606 wants to merge 3 commits into
rocq-prover:masterfrom
Justme0606:fix-coq-hammer-tactics-depends-9.0

Fix: rollback version to 8.21~

b0778f4
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

The logs for this run have expired and are no longer available.