ubuntu/+source/dune-common:applied/ubuntu/hirsute-proposed

Last commit made on 2021-01-13
Get this branch:
git clone -b applied/ubuntu/hirsute-proposed https://git.launchpad.net/ubuntu/+source/dune-common
Members of git-ubuntu import can upload to this branch. Log in for directions.

Branch merges

Branch information

Name:
applied/ubuntu/hirsute-proposed
Repository:
lp:ubuntu/+source/dune-common

Recent commits

69a9c97... by Ansgar Burchardt

2.7.1-2 (patches applied)

Imported using git-ubuntu import.

529490b... by Ansgar Burchardt

skip directories starting with a dot when looking for dune.module

Gbp-Pq: skip-dirs-starting-with-dot.patch.

5144d4e... by Ansgar Burchardt

soname.patch

No DEP3 Subject or Description header found

Gbp-Pq: soname.patch.

a384ff5... by Ansgar Burchardt

2.7.1-2 (patches unapplied)

Imported using git-ubuntu import.

eede5e1... by Lisa Julia Nebel <email address hidden>

2.7.1-1 (patches applied)

Imported using git-ubuntu import.

21d6b23... by Lisa Julia Nebel <email address hidden>

2.7.1-1 (patches unapplied)

Imported using git-ubuntu import.

5e44a05... by Lisa Julia Nebel <email address hidden>

skip directories starting with a dot when looking for dune.module

Gbp-Pq: skip-dirs-starting-with-dot.patch.

28138fe... by Lisa Julia Nebel <email address hidden>

soname.patch

No DEP3 Subject or Description header found

Gbp-Pq: soname.patch.

f62d2c8... by Ansgar Burchardt

2.7.0-5 (patches applied)

Imported using git-ubuntu import.

1c10cb4... by Ansgar Burchardt

2.7.0-5 (patches unapplied)

Imported using git-ubuntu import.