dune-common.git
11 years agoskip directories starting with a dot when looking for dune.module
Ansgar Burchardt [Tue, 17 Jun 2014 17:46:31 +0000 (18:46 +0100)]
skip directories starting with a dot when looking for dune.module

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

11 years agodune-autogen
Debian Science Maintainers [Tue, 17 Jun 2014 17:46:31 +0000 (18:46 +0100)]
dune-autogen

Gbp-Pq: Name dune-autogen.patch

11 years agosoname
Debian Science Maintainers [Tue, 17 Jun 2014 17:46:31 +0000 (18:46 +0100)]
soname

Gbp-Pq: Name soname.patch

11 years agodune-common (2.3.1-1) unstable; urgency=medium
Ansgar Burchardt [Tue, 17 Jun 2014 17:46:31 +0000 (18:46 +0100)]
dune-common (2.3.1-1) unstable; urgency=medium

  * New upstream release.
  * Install bash completion for dunecontrol.

[dgit import unpatched dune-common 2.3.1-1]

11 years agoImport dune-common_2.3.1.orig.tar.xz
Ansgar Burchardt [Tue, 17 Jun 2014 17:46:31 +0000 (18:46 +0100)]
Import dune-common_2.3.1.orig.tar.xz

[dgit import orig dune-common_2.3.1.orig.tar.xz]

11 years agoImport dune-common_2.3.1-1.debian.tar.xz
Ansgar Burchardt [Tue, 17 Jun 2014 17:46:31 +0000 (18:46 +0100)]
Import dune-common_2.3.1-1.debian.tar.xz

[dgit import tarball dune-common 2.3.1-1 dune-common_2.3.1-1.debian.tar.xz]