Coq

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

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

Branch merges

Branch information

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

Recent commits

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>

8321597... by Edward Z. Yang

Relax version contraint (PRECISE ONLY)

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

18dc213... by Edward Z. Yang

Revert "Enable validation."

This reverts commit 0ac49c057434c82cad755bf9699b78c12118e17e.

0ac49c0... by Edward Z. Yang

Enable validation.

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

d6b4e50... by Edward Z. Yang

Disable tests.

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

4b647a5... by Edward Z. Yang

Fix configure as per c734ccd8081e52ee5576d0efac9b065d4f37f7d5

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

e7512ce... by Edward Z. Yang

Bump version number.

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

315d68f... by Edward Z. Yang

Packaging fixes to make trunk work.

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

505d907... by Stéphane Glondu

Update changelog and prepare upload to experimental