Coq

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

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

Branch merges

Branch information

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

Recent commits

6cede22... by Jason Gross

Remove coqidetop overlap between coq and coqide packages

4fb631e... by Jason Gross

Update minimal OCaml version

d8e2888... by Jason Gross

Revert "Remove a no-longer-installed file"

This reverts commit 266fa4f3278a12e605cdd62c9089f2de8e9f91b4.

c6f64bf... by Jason Gross

Revert "Remove more no-longer-used files"

This reverts commit 5905b86fa73e9e9e11cb997827a28350df2d1c57.

5905b86... by Jason Gross

Remove more no-longer-used files

266fa4f... by Jason Gross

Remove a no-longer-installed file

a0ec6a4... by Jason Gross

Bump dune and findlib dependencies

74e2e91... by Jason Gross

Disable lablgtk3 check when version is unspecified

2423e4a... by Jason Gross

Update changelog numbering

dch -v 8.16~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