Coq

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

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

Branch merges

Branch information

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

Recent commits

176f52a... by Jason Gross

Require num on newer OCaml

846393a... by Jason Gross

Update lablgtk2 dep to match coq

c8ce30c... by Jason Gross

Remove compat5.cmo from list of files

It was removed from Coq

adcca97... by Jason Gross

Add timing files to coq install

ff2511b... by Jason Gross

Bump version to 8.7

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.

145c429... by Jason Gross

Add debugging cat line

f4b1a83... by Jason Gross

Add CoqMakefile.in