Coq

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

  1. Git
  2. lp:~jgross-h/coq/+git/coq-packaging
  3. v8.17
Last commit made on 2023-04-01
Get this branch:
git clone -b v8.17 https://git.launchpad.net/~jgross-h/coq/+git/coq-packaging

Branch merges

Branch information

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

Recent commits

d425bde... by Jason Gross

Update version in debian/rules

3780081... by Jason Gross

Update changelog numbering

dch -v 8.17~git -b

d16b893... by Jason Gross

Update minimal OCaml to 4.09 as per Coq

d16d0e4... by Jason Gross

Disable probably-outdated configure patch

ed85ed2... by Jason Gross

Install .aux and .coq-native files

3efe7e3... by Jason Gross

Add make dunestrap step

eed54b1... by Jason Gross

Include dune version constraint

700dc93... by Jason Gross

Try removing .docs

9fb4134... by Jason Gross

Attempt to locate README a different way, maybe it'll work

28ddb53... by Jason Gross

Remove sourcedir, it does not work