Coq

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

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

Branch merges

Branch information

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

Recent commits

7a8e02b... by Jason Gross

Disable coqide

ed9544b... by Jason Gross

Require num on newer OCaml

5fa3ee8... by Jason Gross

Bump version to v8.8

7531238... by Jason Gross

Update lablgtk2 dep to match coq

17954ee... by Jason Gross

Remove coqmktop

8574d11... by Jason Gross

Remove compat5.cmo from list of files

It was removed from Coq

9b30d66... by Jason Gross

Add timing files to coq install

02b8ec0... by Jason Gross

Update changlog with master

b6ed61a... by Jason Gross

Make coq depend on libcoq-ocaml

1a1c439... by Jason Gross

Update coqdoc.sty location in light of new commit