Ubuntu
dune-common package

ubuntu/+source/dune-common:applied/debian/stretch

  1. Git
  2. lp:ubuntu/+source/dune-common
  3. applied/debian/stretch
Last commit made on 2016-12-18
Get this branch:
git clone -b applied/debian/stretch 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/debian/stretch
Repository:
lp:ubuntu/+source/dune-common

Recent commits

8ce3eda... by Ansgar Burchardt

2.5.0-1 (patches applied)

Imported using git-ubuntu import.

312e51d... by Ansgar Burchardt

Rename git-whitespace-hook to dune-git-whitespace-hook.

Gbp-Pq: rename-git-whitespace-hook.patch.

c0c53da... by Ansgar Burchardt

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

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

46af7d3... by Ansgar Burchardt

soname.patch

No DEP3 Subject or Description header found

Gbp-Pq: soname.patch.

ed8876a... by Ansgar Burchardt

2.5.0-1 (patches unapplied)

Imported using git-ubuntu import.

413d29c... by Ansgar Burchardt

2.5.0~rc2-2 (patches applied)

Imported using git-ubuntu import.

976a936... by Ansgar Burchardt

2.5.0~rc2-2 (patches unapplied)

Imported using git-ubuntu import.

d49b26c... by Ansgar Burchardt

Rename git-whitespace-hook to dune-git-whitespace-hook.

Gbp-Pq: rename-git-whitespace-hook.patch.

bf4f90d... by Ansgar Burchardt

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

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

a3d31af... by Ansgar Burchardt

soname.patch

No DEP3 Subject or Description header found

Gbp-Pq: soname.patch.