gringo 5.2.1-4 source package in Debian

Changelog

gringo (5.2.1-4) unstable; urgency=medium

  * debian/symbols: fix FTBFS on armel

 -- Thomas Krennwallner <email address hidden>  Sat, 04 Nov 2017 14:55:24 +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.1-4.dsc 2.0 KiB c1490fde13e6e47c32ffe844b78da7afac3b0e8bec4fe0a1f9e8398aae8875a0
gringo_5.2.1.orig.tar.gz 2.5 MiB b486b0adbd0a2acdfe55856036039318844ccb1e3510f2796caf03c5ee455378
gringo_5.2.1-4.debian.tar.xz 12.8 KiB 5b4791ecf22ee374184ff78bf0d30e219c08dbc5392231ff76f7edcdeae90a9d

Available diffs

No changes file available.

Binary packages built by this source