Import gringo_5.3.0-13.debian.tar.xz
authorThomas Krennwallner <tkren@kr.tuwien.ac.at>
Thu, 12 Mar 2020 00:57:01 +0000 (00:57 +0000)
committerThomas Krennwallner <tkren@kr.tuwien.ac.at>
Thu, 12 Mar 2020 00:57:01 +0000 (00:57 +0000)
commita41703a1d8e28d800422b735e2780925dec9c8fc
treee3fe2ee712bc37174631d3ab0306e11b9c6e200d
Import gringo_5.3.0-13.debian.tar.xz

[dgit import tarball gringo 5.3.0-13 gringo_5.3.0-13.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]
patches/gringo-manpages.patch [new file with mode: 0644]
patches/gringo-python3-utf8.patch [new file with mode: 0644]
patches/gringo-python37-async.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]