projects / dune-common.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(initial) | patch
Import dune-common_2.5.0-1.debian.tar.xz
authorAnsgar Burchardt <ansgar@debian.org>
Sun, 18 Dec 2016 11:58:14 +0000 (11:58 +0000)
committerAnsgar Burchardt <ansgar@debian.org>
Sun, 18 Dec 2016 11:58:14 +0000 (11:58 +0000)
commit44d2eee6c4812a7145e19fec5ba221240d0b9774
treefb98b87cc1e481d095395158fad853e23ee6db4ftree | snapshot
Import dune-common_2.5.0-1.debian.tar.xz

[dgit import tarball dune-common 2.5.0-1 dune-common_2.5.0-1.debian.tar.xz]
16 files changed:
changelog [new file with mode: 0644] blob
compat [new file with mode: 0644] blob
control [new file with mode: 0644] blob
copyright [new file with mode: 0644] blob
dune-debian.mk [new file with mode: 0644] blob
get-orig-source [new file with mode: 0755] blob
libdune-common-dev.install [new file with mode: 0644] blob
libdune-common-dev.lintian-overrides [new file with mode: 0644] blob
libdune-common-dev.manpages [new file with mode: 0644] blob
libdune-common-doc.install [new file with mode: 0644] blob
patches/rename-git-whitespace-hook.patch [new file with mode: 0644] blob
patches/series [new file with mode: 0644] blob
patches/skip-dirs-starting-with-dot.patch [new file with mode: 0644] blob
patches/soname.patch [new file with mode: 0644] blob
rules [new file with mode: 0755] blob
source/format [new file with mode: 0644] blob
Unnamed repository; edit this file 'description' to name the repository.