Coq

~jgross-h/coq/+git/coq-packaging:v8.13

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

Branch merges

Branch information

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

Recent commits

0711df8... by Jason Gross

Disable lablgtk3 check when version is unspecified

77f5b32... by Jason Gross

Coq does not link num since 8.13

63df49b... by Jason Gross

Bump version to 8.13

5ecc85c... by Jason Gross

Update COQ_VERSION

ed701ea... by Jason Gross

TEMP query lablgtk3 version

6469808... by Jason Gross

Bump findlib dep as per Coq INSTALL.md

203e7fe... by Jason Gross

Bump gtk3 dependency to correspond with Coq

4de7f62... by Jason Gross

Update zarith dependency

22da891... by Jason Gross

Add zarith after coq/coq#11742

e94cefc... by Jason Gross

Ensure that dev files for num are present