Coq

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

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

Branch merges

Branch information

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

Recent commits

c01fbae... by Jason Gross

Don't use deprecated relation <

7554cd5... by Jason Gross

Ensure that dev files for num are present

9f44042... by Jason Gross

It's libnum-ocaml, not ocaml-num

f3d1eca... by Jason Gross

Add num dependency

e176568... by Jason Gross

Update numbering

e12f784... by Jason Gross

Actually remove CoqIDE things

34f34b5... by Jason Gross

Remove CoqIDE files

See https://github.com/coq/coq/issues/9820

361206a... by Jason Gross

Remove coqide

With the transition to gtk3, we can no longer support precise and trusty coqide, as they lack a new enough gtk3

b93b33a... by Jason Gross

Update to new coqide

4d16363... by Jason Gross

Install revision