Release for [coq-metacoq*].

[rlepigre]

Created using the following script:

#!/bin/bash

SRC_DIR=metacoq
OPAM_DIR=opam-coq/released
VERSION="1.3+8.18"
OPAM_SRC="git+https://github.com/MetaCoq/metacoq#1fcd7ffbc7ec19f2849aa92cc9874edee7d38828"
OPAM_SHA512=""

for PKG in $(ls "${SRC_DIR}/"*.opam); do
  PKG_NAME="$(basename "${PKG}")"
  PKG_NAME="${PKG_NAME%.opam}"
  TARGET_DIR="${OPAM_DIR}/packages/${PKG_NAME}/${PKG_NAME}.${VERSION}"
  echo "${PKG} → ${TARGET_DIR}/opam"
  mkdir -p "${TARGET_DIR}"
  cp "${PKG}" "${TARGET_DIR}/opam"

  echo "url {" >> "${TARGET_DIR}/opam"
  echo "  src: \"${OPAM_SRC}\"" >> "${TARGET_DIR}/opam"
  if [[ ! -z "$OPAM_SHA512" ]]; then
    echo "  checksum: \"sha512=${OPAM_SHA512}\"" >> "${TARGET_DIR}/opam"
  fi
  echo "}" >> "${TARGET_DIR}/opam"
done

• update when the release is tagged.

[rlepigre]

Do I read correctly that CI timed-out after 3 hours? I tried installing the coq-metacoq.1.3+8.18 form my branch in a fresh switch, and installing it as well as Coq and its other dependencies took no more than 20 minutes, probably less.

[palmskog]

Yes, CI times out since each package installation is tested in isolation. There used to be a way to avoid running CI for certain packages, but last I tried it doesn't work.

[yforster]

I've added a 1.2.1 release of MetaCoq here: #2809

[rlepigre]

Closing in favour of #2809.