Coq

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

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

Branch merges

Branch information

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

Recent commits

b4ccafd... by Jason Gross

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

5182b07... by Jason Gross

Update docker image

09a7663... 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>

81ab3a7... by =?utf-8?q?Th=C3=A9o_Zimmermann?= <email address hidden>

Merge PR #8199: Backport recent CI changes to v8.7.

f07206d... by =?utf-8?q?Th=C3=A9o_Zimmermann?= <email address hidden>

Backport recent CI changes to v8.7.

88c5a87... by =?utf-8?q?Th=C3=A9o_Zimmermann?= <email address hidden>

Backport PR #6917: Fix failing packaging job.

9d17294... by =?utf-8?q?Th=C3=A9o_Zimmermann?= <email address hidden>

Fix failing packaging job.

gtksourceview depends transitively on py2cairo which was updated in
Homebrew to depend explicitly on python2 (see Homebrew/homebrew-core#24714):
this makes the python3 install step impossible.

We also remove the libxml2 install step which was failing in a non-fatal way.

(cherry picked from commit d183259514708e72993ca57372db6e5cbf5e4a04)

25d2781... by =?utf-8?q?Th=C3=A9o_Zimmermann?= <email address hidden>

Merge PR #6886: [v8.7] [stm] Partial fix for bug #6884 [location missing from replay nodes]

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

[stm] Partial fix for bug #6884 [location missing from replay nodes]

2881a18... by =?utf-8?q?Th=C3=A9o_Zimmermann?= <email address hidden>

Update Coq version number.