summary |
shortlog | log |
commit |
commitdiff |
tree
first ⋅ prev ⋅ next
Ansgar Burchardt [Wed, 15 Jul 2020 10:29:39 +0000 (11:29 +0100)]
skip directories starting with a dot when looking for dune.module
Gbp-Pq: Name skip-dirs-starting-with-dot.patch
Debian Science Maintainers [Wed, 15 Jul 2020 10:29:39 +0000 (11:29 +0100)]
soname
Gbp-Pq: Name soname.patch
Ansgar [Wed, 15 Jul 2020 10:29:39 +0000 (11:29 +0100)]
dune-common (2.7.0-5) unstable; urgency=medium
* Upload to unstable.
[dgit import unpatched dune-common 2.7.0-5]
Ansgar [Wed, 15 Jul 2020 10:29:39 +0000 (11:29 +0100)]
Import dune-common_2.7.0-5.debian.tar.xz
[dgit import tarball dune-common 2.7.0-5 dune-common_2.7.0-5.debian.tar.xz]
Ansgar [Wed, 20 May 2020 19:06:31 +0000 (20:06 +0100)]
Import dune-common_2.7.0.orig.tar.gz
[dgit import orig dune-common_2.7.0.orig.tar.gz]
projects / dune-common.git / log