Coq

~jgross-h/coq/+git/coq:v8.11

  1. Git
  2. lp:~jgross-h/coq/+git/coq
  3. v8.11
Last commit made on 2022-06-23
Get this branch:
git clone -b v8.11 https://git.launchpad.net/~jgross-h/coq/+git/coq

Branch merges

Branch information

Name:
v8.11
Repository:
lp:~jgross-h/coq/+git/coq

Recent commits

bebc995... by Jason Gross

Merge PR #16234: [v8.11] Backport #15271: Delay removing native_compute .ml files until exit

0a069d6... by =?utf-8?q?Ga=C3=ABtan_Gilbert?= <email address hidden>

Delay removing native_compute .ml files until exit

Fix #15263 (assuming it was correctly diagnosed)

Co-authored-by: Jason Gross <email address hidden>

06b2f46... by =?utf-8?q?Pierre-Marie_P=C3=A9drot?= <email address hidden>

Unset the release mark.

1539a9a... by =?utf-8?q?Pierre-Marie_P=C3=A9drot?= <email address hidden>

Merge PR #12328: Release 8.11.2

4960de3... by =?utf-8?q?Pierre-Marie_P=C3=A9drot?= <email address hidden>

Mark this commit as a released version.

8832e1f... by =?utf-8?q?Pierre-Marie_P=C3=A9drot?= <email address hidden>

Bump the version number to 8.11.2.

1816614... by =?utf-8?q?Pierre-Marie_P=C3=A9drot?= <email address hidden>

Backport PR #12327: Add a changelog for 8.11.2.

bfd529d... by =?utf-8?q?Pierre-Marie_P=C3=A9drot?= <email address hidden>

Add a changelog for 8.11.2.

(cherry picked from commit 9f9a77fe00b449f617a8cfc832ee82c3d66c404b)

07fa380... by =?utf-8?q?Pierre-Marie_P=C3=A9drot?= <email address hidden>

Backport PR #12320: [ci] [sf] Fix SF build.

fd2c75f... by Emilio Jesus Gallego Arias <email address hidden>

[ci] [sf] Fix SF build.

We move from the previous complex CI download setup to a much more
straightforward public mirror repository.

Thanks to Yishuai Li and Benjamin Pierce for the very quick response.

Closes #12290

(cherry picked from commit 2bdea3e8fd018e18f22686efdfa8deeb64e9e8e2)