Code

Release changes#729

Code

Merged

mattam82 merged 6 commits intocoq-8.16MetaCoq/metacoq:coq-8.16from release-changesMetaCoq/metacoq:release-changesCopy head branch name to clipboardJul 4, 2022

+31-11

Commits

Commits on Jul 1, 2022

• Set version in opam files

  mattam82

  committed
  f174935

  Copy full SHA for f174935

• Fix equations dependency

  mattam82

  committed
  2db84ca

  Copy full SHA for 2db84ca

• Fix build.yml

  mattam82

  committed
  5668361

  Copy full SHA for 5668361

• Fix opam files and add make-opam-files script

  mattam82

  committed
  d288629

  Copy full SHA for d288629

Commits on Jul 4, 2022

• Update version bounds

  mattam82

  committed
  79d92c4

  Copy full SHA for 79d92c4

• Back to 8.16.dev versions

  mattam82

  committed
  1095458

  Copy full SHA for 1095458