Coq

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

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

Branch merges

Branch information

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

Recent commits

b96000a... by Jason Gross

Update changelog numbering

dch -v 8.14~git -b

a784b7d... 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

54c896c... by Jason G

remove fake_ide

d076138... by Jason Gross

Add coqnative man page

018209b... by Jason Gross

Fix coqdoc.sty location

5f5a8b1... by Jason Gross

Remove duplicated files (hopefully)

60906c4... by Jason Gross

Fix coqide no

ec958d3... by Jason Gross

Add files built even when coqide is not

e8e649b... by Jason Gross

Work around https://github.com/coq/coq/issues/14306

77bf068... by Jason Gross

v8.14