Coq

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

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

Branch merges

Branch information

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

Recent commits

2fb9b62... by Jason Gross

Update version in debian/rules

1b3c59e... 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"

9111f4a... by Jason G

Install usr/bin/coqtimelog2html

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

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