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

Branch merges

Related source package recipes

2 recipes using this branch. (?)

Create packaging recipe

Related snap packages

Related charm recipes

a0a9a52... by =?utf-8?q?Ga=C3=ABtan_Gilbert?= <email address hidden> on 2022-06-27

Merge PR #16245: [v8.15] Put "v8.15" in CACHEKEY

b6dabba... by =?utf-8?q?Ga=C3=ABtan_Gilbert?= <email address hidden> on 2022-06-23

Put "v8.15" in CACHEKEY

We are forced to change the edge lablgtk version for some reason.

4341b63... by =?utf-8?q?Ga=C3=ABtan_Gilbert?= <email address hidden> on 2022-06-23

Revert "Put "v8.15" in CACHEKEY"

This reverts commit 4ae242af3ab19a9ddfb6660fe1e75e620711ef25.

4ae242a... by =?utf-8?q?Ga=C3=ABtan_Gilbert?= <email address hidden> on 2022-06-23

Put "v8.15" in CACHEKEY

d59a7dc... by =?utf-8?q?Ga=C3=ABtan_Gilbert?= <email address hidden> on 2022-06-08

Document intuition_solver for 8.15

70765ee... by =?utf-8?q?Ga=C3=ABtan_Gilbert?= <email address hidden> on 2022-05-31

8.15.2 release commit

9892c66... by =?utf-8?q?Ga=C3=ABtan_Gilbert?= <email address hidden> on 2022-05-31

Backport PR #16101: Fix buggy implementation of SFclassify

1d42f81... by Ali on 2022-05-30

Fix buggy implementation of SFclassify

Signed-off-by: Ali Caglayan <email address hidden>
(cherry picked from commit 2ec3150b8444f5245b0ed497f20d7e9666da017e)

682b9d5... by =?utf-8?q?Ga=C3=ABtan_Gilbert?= <email address hidden> on 2022-05-31

Backport PR #16098: Add changes for 8.15.2.

6f0e8b8... by =?utf-8?q?Pierre-Marie_P=C3=A9drot?= <email address hidden> on 2022-05-30

Add changes for 8.15.2.

(cherry picked from commit 1dd589dee441a781ec4510beb1ffe7ba07aeb50c)