summary |
shortlog | log |
commit |
commitdiff |
tree
first ⋅ prev ⋅ next
Ansgar Burchardt [Sun, 18 Dec 2016 11:58:14 +0000 (11:58 +0000)]
skip directories starting with a dot when looking for dune.module
Gbp-Pq: Name skip-dirs-starting-with-dot.patch
Debian Science Maintainers [Sun, 18 Dec 2016 11:58:14 +0000 (11:58 +0000)]
soname
Gbp-Pq: Name soname.patch
Ansgar Burchardt [Sun, 18 Dec 2016 11:58:14 +0000 (11:58 +0000)]
dune-common (2.5.0-1) unstable; urgency=medium
* New upstream release.
[dgit import unpatched dune-common 2.5.0-1]
Ansgar Burchardt [Sun, 18 Dec 2016 11:58:14 +0000 (11:58 +0000)]
Import dune-common_2.5.0.orig.tar.gz
[dgit import orig dune-common_2.5.0.orig.tar.gz]
Ansgar Burchardt [Sun, 18 Dec 2016 11:58:14 +0000 (11:58 +0000)]
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]
projects / dune-common.git / log