Coq

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

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

Branch merges

Branch information

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

Recent commits

99ea1b1... by Jason Gross

Update version in debian/rules

22ab2ed... by Jason Gross

Update changelog numbering

tail +7 debian/changelog > debian/changelog.new; mv debian/changelog{.new,}; dch -v 8.18~git -b "Make it 8.18 for numbering"

f45ca7e... by Jason G

Install usr/bin/coqtimelog2html

As per https://github.com/coq/coq/pull/17411

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