Import gringo_5.3.0-10.debian.tar.xz
authorThomas Krennwallner <tkren@kr.tuwien.ac.at>
Sat, 2 Mar 2019 07:49:10 +0000 (07:49 +0000)
committerThomas Krennwallner <tkren@kr.tuwien.ac.at>
Sat, 2 Mar 2019 07:49:10 +0000 (07:49 +0000)
commitc77dcf9a53d5f6128d2bdc3a45747d7b00360da3
tree6afead42c50c99ea33276fbcc2779529cc481776
Import gringo_5.3.0-10.debian.tar.xz

[dgit import tarball gringo 5.3.0-10 gringo_5.3.0-10.debian.tar.xz]
29 files changed:
NEWS.Debian [new file with mode: 0644]
TODO.Debian [new file with mode: 0644]
changelog [new file with mode: 0644]
compat [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/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]