Debian
gringo package

gringo 5.4.1-2 source package in Debian

Changelog

gringo (5.4.1-2) unstable; urgency=medium

  * Upload to unstable
  * debian/symbols: fix symbols for g++-10 >= 10.2.1

 -- Thomas Krennwallner <email address hidden>  Sun, 27 Dec 2020 17:29:03 +0000

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.4.1-2.dsc 2.1 KiB 038786d9c569b09ab51b20c1394a8e8666f754248b3b01a8066f1c214b1fd259
gringo_5.4.1.orig.tar.gz 2.7 MiB ac6606388abfe2482167ce8fd4eb0737ef6abeeb35a9d3ac3016c6f715bfee02
gringo_5.4.1-2.debian.tar.xz 22.6 KiB 134720d46524700a349291f8bc5e0612007daa7a8904ddcdd62425304b0d04f0

No changes file available.

Binary packages built by this source