Coq

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

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

Branch merges

Branch information

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

Recent commits

f022d5d... by Enrico Tassi

Merge PR #18016: [release] bump version to 8.18.0

677a86e... by Enrico Tassi

[release] bump version to 8.18.0

e164198... by Enrico Tassi

Merge PR #18011: [RM] Backports

d0f5366... by Enrico Tassi

Backport PR #18001: Make changelog items uniformly without a period before the parenthesis

684e93c... by Hugo Herbelin <email address hidden>

Make changelog items uniformly without a period before the parenthesis.

(cherry picked from commit 35ce88a9357bdbc5450b6fd3fba6bf3110b9f35e)

6f02978... by Enrico Tassi

Backport PR #18003: Generalize the URL for base repository in the bench script.

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

Generalize the URL for base repository in the bench script.

Instead of hardwiring to a specific value, we use the generic environment
variable as provided by GitLab instances.

(cherry picked from commit 8fa30f4da6aeaf91b2eab50c7e2097d3c167b3df)

6ed1ab7... by Enrico Tassi

Backport PR #18010: Fix #[warnings] attribute in synterp phase

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

Fix #[warnings] attribute in synterp phase

Fix #17982

(cherry picked from commit fb0d003e43d7e1a9dafb98897fbc29fcac226235)

84d8616... by Enrico Tassi

Backport PR #17997: [release] minimalistic changes for 8.18