Coq

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

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

Branch merges

Branch information

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

Recent commits

7673977... by Jason Gross

Update version in debian/rules

e0b8ff9... by Jason Gross

Update changelog numbering

dch -v 8.17~git -b

77cbfaf... by Jason Gross

Update minimal OCaml to 4.09 as per Coq

c65ac8b... by Jason Gross

Disable probably-outdated configure patch

a41b3fb... by Jason Gross

Install .aux and .coq-native files

f35da98... by Jason Gross

Add make dunestrap step

47bbd6c... by Jason Gross

Include dune version constraint

0a44930... by Jason Gross

Try removing .docs

8ae45e2... by Jason Gross

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

4c62ab0... by Jason Gross

Remove sourcedir, it does not work