gringo (5.3.0-10+rpi1) buster-staging; urgency=medium
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)
commitac61cd7002011d5f26e775f2b6573fcd30431d73
tree7efe8794f622758b215912f4e70aaceaed62f4b6
parentf3be172da790356fb7149be0a4638045e6a22e7c
parent2c5eb94f88b95f45d1ce3ba52aa48cde68f9d148
gringo (5.3.0-10+rpi1) buster-staging; urgency=medium

  * Use libatomic on armhf too.
  * Update symbols for raspbian.

[dgit import unpatched gringo 5.3.0-10+rpi1]
29 files changed:
debian/NEWS.Debian
debian/TODO.Debian
debian/changelog
debian/compat
debian/control
debian/copyright
debian/docs
debian/gbp.conf
debian/gringo.links
debian/gringo.manpages
debian/install
debian/patches/gringo-manpages.patch
debian/patches/gringo-python3-utf8.patch
debian/patches/gringo-python37-async.patch
debian/patches/series
debian/rules
debian/source/format
debian/symbols
debian/tests/control
debian/tests/gringo0
debian/tests/gringo1
debian/tests/gringo2
debian/tests/gringo3
debian/tests/gringo4
debian/tests/gringo5
debian/tests/gringo6
debian/tests/gringo7
debian/upstream/metadata
debian/watch