Import gringo_5.4.0-2.debian.tar.xz
authorThomas Krennwallner <tkren@kr.tuwien.ac.at>
Fri, 3 Apr 2020 10:56:49 +0000 (11:56 +0100)
committerThomas Krennwallner <tkren@kr.tuwien.ac.at>
Fri, 3 Apr 2020 10:56:49 +0000 (11:56 +0100)
commit13eac656ae3ffbcc4a8270f0cd658c4b56d4cfe7
treebb1e122ce463646b36818bdc93ae80c3fdcc4ca7
Import gringo_5.4.0-2.debian.tar.xz

[dgit import tarball gringo 5.4.0-2 gringo_5.4.0-2.debian.tar.xz]
30 files changed:
NEWS [new file with mode: 0644]
TODO [new file with mode: 0644]
changelog [new file with mode: 0644]
control [new file with mode: 0644]
copyright [new file with mode: 0644]
docs [new file with mode: 0644]
gbp.conf [new file with mode: 0644]
gringo.links [new file with mode: 0644]
gringo.manpages [new file with mode: 0644]
install [new file with mode: 0644]
missing-sources/doc/py/js/highlight.js [new file with mode: 0644]
patches/gringo-manpages.patch [new file with mode: 0644]
patches/gringo-python3-utf8.patch [new file with mode: 0644]
patches/link-libatomic-check.patch [new file with mode: 0644]
patches/python3.8-compat.patch [new file with mode: 0644]
patches/series [new file with mode: 0644]
rules [new file with mode: 0755]
source/format [new file with mode: 0644]
symbols [new file with mode: 0644]
tests/control [new file with mode: 0644]
tests/gringo0 [new file with mode: 0755]
tests/gringo1 [new file with mode: 0755]
tests/gringo2 [new file with mode: 0755]
tests/gringo3 [new file with mode: 0755]
tests/gringo4 [new file with mode: 0755]
tests/gringo5 [new file with mode: 0755]
tests/gringo6 [new file with mode: 0755]
tests/gringo7 [new file with mode: 0755]
upstream/metadata [new file with mode: 0644]
watch [new file with mode: 0644]