Un plugging especialize because it does not work in coq-8.18. #6
MatafouAnnotations
3 warnings
|
build (coqorg/coq:dev):
LibHyps/LibHypsTactics.v#L33
Tactic Notation revert dependent (hyp) is deprecated since 8.18.
|
|
build (coqorg/coq:8.18):
LibHyps/LibHypsTactics.v#L33
Tactic Notation revert dependent (hyp) is deprecated since 8.18.
|
|
tests
Unexpected input(s) 'run', valid inputs are ['entryPoint', 'args', 'opam_file', 'coq_version', 'ocaml_version', 'before_install', 'install', 'after_install', 'before_script', 'script', 'after_script', 'uninstall', 'custom_script', 'custom_image', 'export']
|