Coq

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

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

Branch merges

Branch information

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

Recent commits

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

2a073ce... by Jason Gross

Remove DYN

509eb7e... by Jason Gross

Add cmxs to lobcoq-ocaml

7f4958a... by Jason Gross

Fix a conflict in 8.6

82c6b2f... by Jason Gross

README -> README.md

4934efc... by Jason Gross

Add usr/lib/coq/META