Ubuntu
coq-dpdgraph package

ubuntu/+source/coq-dpdgraph:applied/ubuntu/mantic

  1. Git
  2. lp:ubuntu/+source/coq-dpdgraph
  3. applied/ubuntu/mantic
Last commit made on 2023-07-26
Get this branch:
git clone -b applied/ubuntu/mantic 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/ubuntu/mantic
Repository:
lp:ubuntu/+source/coq-dpdgraph

Recent commits

a5b3be3... by Gianfranco Costamagna

1.0+8.17-1build1 (patches applied)

Imported using git-ubuntu import.

62fe45e... by Gianfranco Costamagna

use install and $DESTDIR so things get properly installed

Gbp-Pq: use_install.patch.

47144e4... by Gianfranco Costamagna

make sure warning 70 isn't an error

Gbp-Pq: ignore_warning_70.patch.

b324c00... by Gianfranco Costamagna

1.0+8.17-1build1 (patches unapplied)

Imported using git-ubuntu import.

871e925... by Julien Puydt <email address hidden>

1.0+8.17-1 (patches applied)

Imported using git-ubuntu import.

60c61e0... by Julien Puydt <email address hidden>

1.0+8.17-1 (patches unapplied)

Imported using git-ubuntu import.

0276d65... by Julien Puydt <email address hidden>

use install and $DESTDIR so things get properly installed

Gbp-Pq: use_install.patch.

3ab9b32... by Julien Puydt <email address hidden>

make sure warning 70 isn't an error

Gbp-Pq: ignore_warning_70.patch.

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

1.0+8.16-2 (patches applied)

Imported using git-ubuntu import.

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

1.0+8.16-2 (patches unapplied)

Imported using git-ubuntu import.