Coq

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

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

Branch merges

Branch information

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

Recent commits

3c36cf1... by Jason Gross

Remove coqidetop overlap between coq and coqide packages

271923b... by Jason Gross

Disable lablgtk3 check when version is unspecified

dbf4c1b... by Jason Gross

Update changelog numbering

dch -v 8.14~git -b

a83dd5e... by Jason G

Remove -vmbyteflags "-dllib,-lcoqrun"

As per https://github.com/coq/coq/pull/14189 and the discussion at https://coq.zulipchat.com/#narrow/stream/237656-Coq-devs.20.26.20plugin.20devs/topic/configure.20arguments/near/253607747

94c5abd... by Jason G

remove fake_ide

05b2fa5... by Jason Gross

Add coqnative man page

f9819be... by Jason Gross

More CoqIDE

b14d4dc... by Jason Gross

Rename CoqIDE FAQ and kludge around coq/coq#14467

https://github.com/coq/coq/pull/14434 installs the FAQ again, but does
it in the wrong place.

7589619... by Jason Gross

Revert "Remove missing file"

This reverts commit cd1977ba8a2e276a75857be31685ab4b539adefe.

3ef87e2... by Jason Gross

Fix coqdoc.sty location