Import dune-common_2.3.1-1.debian.tar.xz
authorAnsgar Burchardt <ansgar@debian.org>
Tue, 17 Jun 2014 17:46:31 +0000 (18:46 +0100)
committerAnsgar Burchardt <ansgar@debian.org>
Tue, 17 Jun 2014 17:46:31 +0000 (18:46 +0100)
commita25b97dea89129ff4289700854eda3a723b5d5c0
tree54226388d049efe2afd1ec6012e11eb4aa99dae1
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]
19 files changed:
changelog [new file with mode: 0644]
clean [new file with mode: 0644]
compat [new file with mode: 0644]
control [new file with mode: 0644]
copyright [new file with mode: 0644]
dune-debian.mk [new file with mode: 0644]
get-orig-source [new file with mode: 0755]
libdune-common-2.3.1.install [new file with mode: 0644]
libdune-common-2.3.1.lintian-overrides [new file with mode: 0644]
libdune-common-dev.install [new file with mode: 0644]
libdune-common-dev.manpages [new file with mode: 0644]
libdune-common-doc.install [new file with mode: 0644]
patches/dune-autogen.patch [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]