Publishing details

Removed from disk on 2020-07-13.
Removal requested on 2020-07-13.
Published on 2018-07-03
Copied from debian sid in Primary Archive for Debian GNU/Linux by Ubuntu Archive Auto-Sync (sponsored by Ubuntu Archive Robot)

Changelog

gringo (5.2.3-2) unstable; urgency=medium

  * debian/symbols: batchpatch symbols

 -- Thomas Krennwallner <email address hidden>  Tue, 03 Jul 2018 06:23:44 +0200

Available diffs

diff from 5.2.3-1 to 5.2.3-2 (2.0 KiB)

Builds

Package files

gringo-dbgsym_5.2.3-2_amd64.ddeb (22.8 MiB)
gringo-dbgsym_5.2.3-2_arm64.ddeb (22.5 MiB)
gringo-dbgsym_5.2.3-2_armhf.ddeb (21.9 MiB)
gringo-dbgsym_5.2.3-2_i386.ddeb (22.0 MiB)
gringo-dbgsym_5.2.3-2_ppc64el.ddeb (22.5 MiB)
gringo-dbgsym_5.2.3-2_s390x.ddeb (23.4 MiB)
gringo_5.2.3-2.debian.tar.xz (14.5 KiB)
gringo_5.2.3-2.dsc (2.0 KiB)
gringo_5.2.3-2_amd64.deb (2.1 MiB)
gringo_5.2.3-2_arm64.deb (2.0 MiB)
gringo_5.2.3-2_armhf.deb (1.9 MiB)
gringo_5.2.3-2_i386.deb (2.2 MiB)
gringo_5.2.3-2_ppc64el.deb (2.2 MiB)
gringo_5.2.3-2_s390x.deb (2.0 MiB)
gringo_5.2.3.orig.tar.gz (2.5 MiB)