Import gringo_5.4.1-3.1.debian.tar.xz
authorAdrian Bunk <bunk@debian.org>
Sat, 19 Nov 2022 10:33:48 +0000 (10:33 +0000)
committerAdrian Bunk <bunk@debian.org>
Sat, 19 Nov 2022 10:33:48 +0000 (10:33 +0000)
commit61b9a6d89d8ad171fed91dd11fd5aba00a2e4dd0
tree4c096cdbebcedcc003af0762dca502e38125aff7
Import gringo_5.4.1-3.1.debian.tar.xz

[dgit import tarball gringo 5.4.1-3.1 gringo_5.4.1-3.1.debian.tar.xz]
31 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/bump-version-5.4.1.patch [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/series [new file with mode: 0644]
patches/testsuite-python-open-rU.patch [new file with mode: 0644]
patches/use-system-catch-for-glibc-2.34-compat.patch [new file with mode: 0644]
rules [new file with mode: 0755]
source/format [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]