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

The name git-whitespace-hook is a bit too generic for a DUNE-specific
tool.

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

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

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

soname

Gbp-Pq: Name soname.patch

dune-common (2.5.0-1) unstable; urgency=medium

  * New upstream release.

[dgit import unpatched dune-common 2.5.0-1]

Import dune-common_2.5.0.orig.tar.gz

[dgit import orig dune-common_2.5.0.orig.tar.gz]

Import dune-common_2.5.0-1.debian.tar.xz

[dgit import tarball dune-common 2.5.0-1 dune-common_2.5.0-1.debian.tar.xz]