Ubuntu
dune-common package

ubuntu/+source/dune-common:applied/ubuntu/artful

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

Recent commits

1a3e636... by Ansgar Burchardt

2.5.1-1 (patches applied)

Imported using git-ubuntu import.

c47e28d... by Ansgar Burchardt

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

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

a28fec2... by Ansgar Burchardt

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

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

2a3e3a1... by Ansgar Burchardt

soname.patch

No DEP3 Subject or Description header found

Gbp-Pq: soname.patch.

f9f2721... by Ansgar Burchardt

2.5.1-1 (patches unapplied)

Imported using git-ubuntu import.

8d6d03d... by Ansgar Burchardt

2.5.1~rc1-1 (patches applied)

Imported using git-ubuntu import.

a8f5bd7... by Ansgar Burchardt

2.5.1~rc1-1 (patches unapplied)

Imported using git-ubuntu import.

75ccc19... by Ansgar Burchardt

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

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

136f18c... by Ansgar Burchardt

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

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

af7df22... by Ansgar Burchardt

soname.patch

No DEP3 Subject or Description header found

Gbp-Pq: soname.patch.