Import dune-common_2.8.0-3.debian.tar.xz
authorPatrick Jaap <patrick.jaap@tu-dresden.de>
Thu, 21 Oct 2021 16:29:30 +0000 (17:29 +0100)
committerPatrick Jaap <patrick.jaap@tu-dresden.de>
Thu, 21 Oct 2021 16:29:30 +0000 (17:29 +0100)
commita20e42701dc96137849fed68074d5a5625e6283f
tree9b1ca3116f730f9f76dc99a518bdbd89c971d205
Import dune-common_2.8.0-3.debian.tar.xz

[dgit import tarball dune-common 2.8.0-3 dune-common_2.8.0-3.debian.tar.xz]
21 files changed:
changelog [new file with mode: 0644]
clean [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/disable-long-double-eigenvalue-checks.patch [new file with mode: 0644]
patches/do-not-install-python-scripts.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]
patches/use-python-3.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]