gringo 5.1.0-3 source package in Ubuntu

Changelog

gringo (5.1.0-3) unstable; urgency=medium

  * debian/rules: fix FTBFS on architectures that require -latomic

 -- Thomas Krennwallner <email address hidden>  Fri, 16 Dec 2016 08:13:33 +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

Downloads

File Size SHA-256 Checksum
gringo_5.1.0-3.dsc 2.0 KiB fb176975e2609e3184d77516acf06d2c1ced60c63e5dc910b219da2016f7b05e
gringo_5.1.0.orig.tar.gz 2.1 MiB c1afa83142d727d18bdab68fd6d7e1341dcb25d2e9a1aea3abc672ecbae6c72a
gringo_5.1.0-3.debian.tar.xz 12.9 KiB 79e5838cc33ab716e378a1318e583ec6baa59f30c80d912142301a0cbac4f938

Available diffs

No changes file available.

Binary packages built by this source

gringo: No summary available for gringo in ubuntu zesty.

No description available for gringo in ubuntu zesty.

gringo-dbgsym: No summary available for gringo-dbgsym in ubuntu zesty.

No description available for gringo-dbgsym in ubuntu zesty.