Coq

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

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

Branch merges

Branch information

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

Recent commits

81028c7... by Jason Gross

arch-specific coq-theories

94ab973... by Jason Gross

Remove DYN

d7245d5... by Jason Gross

Add cmxs to lobcoq-ocaml

7d8585b... by Jason Gross

Remove cat from rules

ed5f010... by Jason Gross

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

dec734e... by Jason Gross

Fix regex for debian/rules

3a09a83... by Jason G

cat for debugging

ef31c96... by Jason Gross

Don't check COQ_VERSION for the tip of v8.5

587dc5b... by Edward Z. Yang

Track renaming of coq.el to gallina.el

Signed-off-by: Edward Z. Yang <email address hidden>

ec96273... by Edward Z. Yang

coqworkmgr

Signed-off-by: Edward Z. Yang <email address hidden>