Coq

~jgross-h/coq/+git/coq-packaging:master-precise

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

Branch merges

Branch information

Name:
master-precise
Repository:
lp:~jgross-h/coq/+git/coq-packaging

Recent commits

8b19bc7... by Jason Gross

Update lablgtk2 dep to match coq

dbf5cb9... by Jason Gross

Remove coqmktop

548105e... by Jason Gross

Remove compat5.cmo from list of files

It was removed from Coq

1d21b67... by Jason Gross

Add timing files to coq install

1ff1dbe... by Jason Gross

Update changlog with master

a70c533... by Jason Gross

Make coq depend on libcoq-ocaml

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