Debian
gringo package

gringo 5.2.3-5 source package in Debian

Changelog

gringo (5.2.3-5) unstable; urgency=medium

  * debian/symbols: batchpatch alpha, mips, mips64el symbols for g++-8

 -- Thomas Krennwallner <email address hidden>  Thu, 08 Nov 2018 04:35:55 +0100

Upload details

Uploaded by:
Debian Science Team
Uploaded to:
Sid
Original maintainer:
Debian Science Team
Architectures:
any
Section:
interpreters
Urgency:
Medium Urgency

See full publishing history Publishing

Series Pocket Published Component Section

Builds

Downloads

File Size SHA-256 Checksum
gringo_5.2.3-5.dsc 2.0 KiB b55531dc412094be52626e7c0b3afabd30e571296aca179c41ea044888365c45
gringo_5.2.3.orig.tar.gz 2.5 MiB 7b582b4a774a83bb50e3a5ef1edef9617c85118e4ba13f25620044c444ef5e90
gringo_5.2.3-5.debian.tar.xz 17.1 KiB 5946e9b9a7b27de938742e9e0a3484c34c24b05d208d05b5a5a606c2b05de051

No changes file available.

Binary packages built by this source