Coq

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

  1. Git
  2. lp:~jgross-h/coq/+git/coq-packaging
  3. v8.6-precise
Last commit made on 2016-12-15
Get this branch:
git clone -b v8.6-precise https://git.launchpad.net/~jgross-h/coq/+git/coq-packaging

Branch merges

Branch information

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

Recent commits

db6177a... by Jason Gross

arch-specific coq-theories

acc2a51... by Jason Gross

Remove DYN

32b99be... by Jason Gross

Add cmxs to lobcoq-ocaml

2f2689e... by Jason Gross

Fix a conflict in 8.6

6df6e9a... by Jason Gross

README -> README.md

23a0ad5... by Jason Gross

Add usr/lib/coq/META

10643ea... by Jason Gross

compat5 moved locations

88c3836... by Jason Gross

Also install cmo

5cb7502... by Jason Gross

Remove cat from rules

2ce25c3... by Jason Gross

Add usr/share/coq/coq-ssreflect.lang