New attempt at fixing ci-libhyps.yml #9
MatafouAnnotations
2 warnings
|
build (coqorg/coq:8.18):
LibHyps/LibHypsTactics.v#L33
Tactic Notation revert dependent (hyp) is deprecated since 8.18.
|
|
build (coqorg/coq:dev):
LibHyps/LibHypsTactics.v#L33
Tactic Notation revert dependent (hyp) is deprecated since 8.18.
|