Ubuntu
dune-common package

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

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

Recent commits

f027bda... by Ansgar Burchardt

2.3.1-1 (patches applied)

Imported using git-ubuntu import.

061697e... by Ansgar Burchardt

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

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

884d695... by Ansgar Burchardt

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

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

4bb5c8e... by Ansgar Burchardt

dune-autogen.patch

No DEP3 Subject or Description header found

Gbp-Pq: dune-autogen.patch.

b2429ac... by Ansgar Burchardt

soname.patch

No DEP3 Subject or Description header found

Gbp-Pq: soname.patch.

ad71acd... by Ansgar Burchardt

2.3.1-1 (patches unapplied)

Imported using git-ubuntu import.

143226c... by Ansgar Burchardt

2.3.1~rc1-1 (patches applied)

Imported using git-ubuntu import.

c7fd2d9... by Ansgar Burchardt

2.3.1~rc1-1 (patches unapplied)

Imported using git-ubuntu import.

9c4bd65... by Ansgar Burchardt

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

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

aa67766... by Ansgar Burchardt

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

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