Coq

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

  1. Git
  2. lp:~jgross-h/coq/+git/coq-packaging
  3. v8.13-coqide-no
Last commit made on 2021-01-27
Get this branch:
git clone -b v8.13-coqide-no https://git.launchpad.net/~jgross-h/coq/+git/coq-packaging

Branch merges

Branch information

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

Recent commits

e733333... by Jason Gross

Coq does not link num since 8.13

19326ae... by Jason Gross

Bump version to 8.13

60c2d41... by Jason Gross

Update COQ_VERSION

72f2c3c... by Jason Gross

Bump findlib dep as per Coq INSTALL.md

7156335... by Jason Gross

Update zarith dependency

cf961fa... by Jason Gross

Add zarith after coq/coq#11742

919d097... by Jason Gross

Ensure that dev files for num are present

190efe2... by Jason Gross

It's libnum-ocaml, not ocaml-num

3783518... by Jason Gross

Add num dependency

2603bb8... by Jason Gross

Update coq.install.in