Code

Fix coq-metacoq-template.8.17.dev#2904

Code

Merged

palmskog merged 2 commits intocoq:mastercoq/opam:masterfrom liyishuai:patch-1liyishuai/opam:patch-1Copy head branch name to clipboardJan 24, 2024

+16-6

Commits

Commits on Jan 17, 2024

• Fix coq-metacoq-template.8.17.dev

  liyishuai

  authored
  3dc8cc2

  Copy full SHA for 3dc8cc2

Commits on Jan 23, 2024

• coq-metacoq-template.8.17.dev: bound OCaml version

  liyishuai

  committed
  c292c3b

  Copy full SHA for c292c3b