Import gringo_5.3.0-10+rpi1.debian.tar.xz
authorPeter Michael Green <plugwash@raspbian.org>
Thu, 14 Mar 2019 17:34:56 +0000 (17:34 +0000)
committerPeter Michael Green <plugwash@raspbian.org>
Thu, 14 Mar 2019 17:34:56 +0000 (17:34 +0000)
commit2c5eb94f88b95f45d1ce3ba52aa48cde68f9d148
tree433171df19b2dff279e30862a3d9b6fecd0f65dc
Import gringo_5.3.0-10+rpi1.debian.tar.xz

[dgit import tarball gringo 5.3.0-10+rpi1 gringo_5.3.0-10+rpi1.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]