Coq

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

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

Branch merges

Branch information

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

Recent commits

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

c5a0fe7... by Jason Gross

Fix path to dllcoqrun.so

72ccb94... by Jason Gross

arch-specific coq-theories

40c4bb7... by Jason Gross

Remove DYN

7bc0744... by Jason Gross

Add cmxs to lobcoq-ocaml

eb5613e... by Jason Gross

Fix a conflict in 8.6