Ubuntu
dune-common package

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

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

Recent commits

e04bce1... by Matthias Klose

2.6.0-4build1 (patches applied)

Imported using git-ubuntu import.

8da793c... by Matthias Klose

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

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

b082e79... by Matthias Klose

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

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

1168df8... by Matthias Klose

soname.patch

No DEP3 Subject or Description header found

Gbp-Pq: soname.patch.

8901016... by Matthias Klose

2.6.0-4build1 (patches unapplied)

Imported using git-ubuntu import.

cfcb817... by Ansgar Burchardt

2.6.0-4 (patches applied)

Imported using git-ubuntu import.

e4a8c19... by Ansgar Burchardt

2.6.0-4 (patches unapplied)

Imported using git-ubuntu import.

ad40958... by Ansgar Burchardt

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

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

f2ce5ed... by Ansgar Burchardt

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

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

2014599... by Ansgar Burchardt

soname.patch

No DEP3 Subject or Description header found

Gbp-Pq: soname.patch.