Coq

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

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

Branch merges

Branch information

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

Recent commits

515bf77... by Jason Gross

Require num on newer OCaml

ebec9e4... by Jason Gross

arch-specific coq-theories

4281a2e... by Jason Gross

Revert "Add debug output"

This reverts commit e6bc1fe9c09747d03c9bd0d04327826a7f2df033.

It only gets built on i386 builds

e6bc1fe... by Jason Gross

Add debug output

2a79361... by Jason Gross

Remove DYN

b63642e... by Jason Gross

Add cmxs to lobcoq-ocaml

d5e2848... by Jason Gross

Fix a conflict in 8.6

2a5fac4... by Jason Gross

README -> README.md

707b863... by Jason Gross

Add usr/lib/coq/META

c1dc7c6... by Jason Gross

compat5 moved locations