Coq

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

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

Branch merges

Branch information

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

Recent commits

ea4e384... by Jason Gross

Add includes for Drop (coq/coq#18771)

bd06b34... by Jason Gross

Bump ocaml-dune dep version

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

9172df7... 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

023a4fc... by Jason Gross

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

This reverts commit 20dd928996575a3c525e525a72df8d2f22663b03.

20dd928... by Jason Gross

cat coq.install >> coq.install.amd64

3806d77... by Jason Gross

Pre-emptive chmod +x (idk if needed)

76e3168... by Jason Gross

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

eb15352... by Jason Gross

 Move dllcoqperf_stubs.so to amd64, not i386

166d2ae... by Jason Gross

Print out ocaml -config

e95722e... by Jason Gross

Move dllcoqperf_stubs.so to i386 only

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