Debian
gringo package

gringo 5.3.0-13 source package in Debian

Changelog

gringo (5.3.0-13) unstable; urgency=medium

  * Upload to unstable
  * debian/symbols: fix symbols for g++-9 >= 9.2.0 on armel and powerpc

 -- Thomas Krennwallner <email address hidden>  Wed, 11 Mar 2020 20:57:01 -0400

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.3.0-13.dsc 2.1 KiB 7cf0d059b514914048664914779b12d257ab09ef36c6f2c59928ed02fa7f6865
gringo_5.3.0.orig.tar.gz 2.6 MiB b0d406d2809352caef7fccf69e8864d55e81ee84f4888b0744894977f703f976
gringo_5.3.0-13.debian.tar.xz 19.3 KiB e487e8299280e6e595748e2a661c647d16a098fc156b965003cbfa6dd5d873c3

No changes file available.

Binary packages built by this source