Import dune-common_2.6.0-3.debian.tar.xz
authorAnsgar Burchardt <ansgar@debian.org>
Thu, 21 Jun 2018 07:17:17 +0000 (08:17 +0100)
committerAnsgar Burchardt <ansgar@debian.org>
Thu, 21 Jun 2018 07:17:17 +0000 (08:17 +0100)
commit8b8e70828f572b019880b3d0d8fcef18be69b27c
tree46d5cd5e95a66337b0053d43bdce683a433675d6
Import dune-common_2.6.0-3.debian.tar.xz

[dgit import tarball dune-common 2.6.0-3 dune-common_2.6.0-3.debian.tar.xz]
20 files changed:
changelog [new file with mode: 0644]
compat [new file with mode: 0644]
control [new file with mode: 0644]
copyright [new file with mode: 0644]
dune-autopkgtest [new file with mode: 0755]
dune-debian.env [new file with mode: 0644]
dune-debian.mk [new file with mode: 0644]
get-orig-source [new file with mode: 0755]
libdune-common-dev.install [new file with mode: 0644]
libdune-common-dev.lintian-overrides [new file with mode: 0644]
libdune-common-dev.manpages [new file with mode: 0644]
libdune-common-doc.install [new file with mode: 0644]
patches/rename-git-whitespace-hook.patch [new file with mode: 0644]
patches/series [new file with mode: 0644]
patches/skip-dirs-starting-with-dot.patch [new file with mode: 0644]
patches/soname.patch [new file with mode: 0644]
rules [new file with mode: 0755]
source/format [new file with mode: 0644]
tests/basic [new file with mode: 0755]
tests/control [new file with mode: 0644]