gringo 4.5.3-1 source package in Debian

Changelog

gringo (4.5.3-1) unstable; urgency=medium

  * Imported Upstream version 4.5.3

 -- Thomas Krennwallner <email address hidden>  Sat, 26 Sep 2015 09:31:03 +0200

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_4.5.3-1.dsc 2.0 KiB cd350862fc4e1b2284193ff43498048efcbda61e91b7cd67e914994570c1129d
gringo_4.5.3.orig.tar.gz 1.6 MiB feb53913e697052e45c0d3a75ab9d2bb097abf6751caf452df3afa4376298825
gringo_4.5.3-1.debian.tar.xz 6.3 KiB f59e90743e3162286f29e29ad71ca18c6356c0b279ca2f1bbf5e05164775c116

Available diffs

No changes file available.

Binary packages built by this source