Ubuntu
coq-dpdgraph package

ubuntu/+source/coq-dpdgraph:applied/debian/bookworm

  1. Git
  2. lp:ubuntu/+source/coq-dpdgraph
  3. applied/debian/bookworm
Last commit made on 2023-01-25
Get this branch:
git clone -b applied/debian/bookworm https://git.launchpad.net/ubuntu/+source/coq-dpdgraph
Members of git-ubuntu import can upload to this branch. Log in for directions.

Branch merges

Branch information

Name:
applied/debian/bookworm
Repository:
lp:ubuntu/+source/coq-dpdgraph

Recent commits

4844850... by Julien Puydt <email address hidden>

1.0+8.16-2 (patches applied)

Imported using git-ubuntu import.

54de453... by Julien Puydt <email address hidden>

use install and $DESTDIR so things get properly installed

Gbp-Pq: use_install.patch.

686910f... by Julien Puydt <email address hidden>

make sure warning 70 isn't an error

Gbp-Pq: ignore_warning_70.patch.

207e57e... by Julien Puydt <email address hidden>

1.0+8.16-2 (patches unapplied)

Imported using git-ubuntu import.

d0be2d6... by Julien Puydt <email address hidden>

1.0+8.16-1 (patches applied)

Imported using git-ubuntu import.

6355ecb... by Julien Puydt <email address hidden>

1.0+8.16-1 (patches unapplied)

Imported using git-ubuntu import.

6099b4b... by Julien Puydt <email address hidden>

use install and $DESTDIR so things get properly installed

Gbp-Pq: use_install.patch.

ebbb49e... by Julien Puydt <email address hidden>

make sure warning 70 isn't an error

Gbp-Pq: ignore_warning_70.patch.

17e920f... by Julien Puydt <email address hidden>

1.0+8.15-2 (patches applied)

Imported using git-ubuntu import.

08773d0... by Julien Puydt <email address hidden>

1.0+8.15-2 (patches unapplied)

Imported using git-ubuntu import.