Ubuntu
dune-common package

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

  1. Git
  2. lp:ubuntu/+source/dune-common
  3. applied/ubuntu/wily-proposed
Last commit made on 2015-09-26
Get this branch:
git clone -b applied/ubuntu/wily-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/wily-proposed
Repository:
lp:ubuntu/+source/dune-common

Recent commits

e71f6b8... by Ansgar Burchardt

2.4.0-1 (patches applied)

Imported using git-ubuntu import.

581895e... by Ansgar Burchardt

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

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

76afa0e... by Ansgar Burchardt

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

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

972467c... by Ansgar Burchardt

dune-autogen.patch

No DEP3 Subject or Description header found

Gbp-Pq: dune-autogen.patch.

18df06c... by Ansgar Burchardt

soname.patch

No DEP3 Subject or Description header found

Gbp-Pq: soname.patch.

39c7259... by Ansgar Burchardt

2.4.0-1 (patches unapplied)

Imported using git-ubuntu import.

63634a4... by Ansgar Burchardt

2.4~20150912rc3-1 (patches applied)

Imported using git-ubuntu import.

6718ada... by Ansgar Burchardt

2.4~20150912rc3-1 (patches unapplied)

Imported using git-ubuntu import.

d0592b8... by Ansgar Burchardt

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

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

8c19d99... by Ansgar Burchardt

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

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