Un plugging especialize because it does not work in coq-8.18. #6
Annotations
1 warning
|
Run coq-community/docker-coq-action@v1:
LibHyps/LibHypsTactics.v#L33
Tactic Notation revert dependent (hyp) is deprecated since 8.18.
|
The logs for this run have expired and are no longer available.
Loading