Coq

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

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

Branch merges

Branch information

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

Recent commits

c698dfd... by Jason Gross

Update lablgtk2 dep to match coq

cc612b3... by Jason Gross

Remove compat5.cmo from list of files

It was removed from Coq

8a9e5cd... by Jason Gross

Add timing files to coq install

c052f33... by Jason Gross

Bump version to 8.7

d302c1e... by Jason Gross

Update coqdoc.sty location in light of new commit

851f971... by Jason Gross

Add CoqMakefile.in

4fb1123... by Jason Gross

Fix path to dllcoqrun.so

f818696... by Jason Gross

arch-specific coq-theories

2a073ce... by Jason Gross

Remove DYN

509eb7e... by Jason Gross

Add cmxs to lobcoq-ocaml