gringo 5.2.2-2 source package in Debian

Changelog

gringo (5.2.2-2) unstable; urgency=medium

  * update debian/control and debian/compat
    + update Vcs-Git and Vcs-Browser for salsa
    + bump Standards-Version to 4.1.3
    + bump debhelper compatibility version to 11
  * debian/symbols: update amd64 symbols

 -- Thomas Krennwallner <email address hidden>  Sat, 03 Feb 2018 15:17:29 +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.2-2.dsc 2.0 KiB fe3a5e0770451df36f80c18e46388c5d929dc5ddfd35cc0c185cb175e1a1ad66
gringo_5.2.2.orig.tar.gz 2.5 MiB da1ef8142e75c5a6f23c9403b90d4f40b9f862969ba71e2aaee9a257d058bfcf
gringo_5.2.2-2.debian.tar.xz 12.1 KiB ea68d3a78949929f3cddbd2bb3327c9b89cc884864e830d59b9d9c58d5103456

Available diffs

No changes file available.

Binary packages built by this source