Coq

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

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

Branch merges

Branch information

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

Recent commits

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

e7591fd... by Jason Gross

Revert "Add debugging cat line"

This reverts commit 145c429e901eb34b8f51c25121d7e0fd565af07b.