Import dune-common_2.7.0-5+rpi1.debian.tar.xz
authorPeter Michael Green <plugwash@raspbian.org>
Tue, 21 Jul 2020 02:56:28 +0000 (03:56 +0100)
committerPeter Michael Green <plugwash@raspbian.org>
Tue, 21 Jul 2020 02:56:28 +0000 (03:56 +0100)
commit0c2c6f984881b08a1e197acc4e83fa019d17faf5
treeaffbfd50775c243f91b9d9e5a011612dcb18a1e1
Import dune-common_2.7.0-5+rpi1.debian.tar.xz

[dgit import tarball dune-common 2.7.0-5+rpi1 dune-common_2.7.0-5+rpi1.debian.tar.xz]
17 files changed:
changelog [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-doc.install [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]