Coq

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

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

Branch merges

Branch information

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

Recent commits

3173a45... by Jason Gross

Remove coqidetop overlap between coq and coqide packages

721355a... by Jason Gross

Disable lablgtk3 check when version is unspecified

740db96... by Jason Gross

Update changelog numbering

dch -v 8.15~git -b

0dc8fa2... by Jason Gross

Try a different method of dune-version-independent doc install

We want everything to go in /usr/share/doc, but dune < 2.9 ignores -docdir, so we use -docdir on dune >= 2.9 to set it to the pre-2.9 directory

5ea4e56... by Jason Gross

Revert "Attempt to install docs in right folders"

This reverts commit f1306620e14386c6f2032d6426381e600a3daddc.

f130662... by Jason Gross

Attempt to install docs in right folders

For compat with jammy

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