Coq

~jgross-h/coq/+git/coq-packaging:master

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

Branch merges

Branch information

Name:
master
Repository:
lp:~jgross-h/coq/+git/coq-packaging

Recent commits

8f96134... by Jason Gross

Add includes for Drop (coq/coq#18771)

b34b10e... by Jason Gross

Bump ocaml-dune dep version

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

28761ad... by Jason Gross

Move coq.install back to coq.install.in and re-merge dllcoqperf_stubs.so

In light of https://github.com/coq/coq/pull/18258

d9073a2... by Jason Gross

Revert "cat coq.install >> coq.install.amd64"

This reverts commit 9f2dcbf9d4a64ae0e4641b1a846ed2e03b7d1c58.

9f2dcbf... by Jason Gross

cat coq.install >> coq.install.amd64

9fd9ed3... by Jason Gross

Pre-emptive chmod +x (idk if needed)

226c295... by Jason Gross

git mv debian/coq.install{.in,}

6e63eee... by Jason Gross

 Move dllcoqperf_stubs.so to amd64, not i386

86e943c... by Jason Gross

Print out ocaml -config

add9122... by Jason Gross

Move dllcoqperf_stubs.so to i386 only

See https://github.com/coq/coq/issues/18257