Debian
gringo package

gringo 3.0.5-1 source package in Debian

Changelog

gringo (3.0.5-1) unstable; urgency=low


  * New upstream release.
  * debian/copyright: Update copyright years.
  * debian/compat: Bump to version 9.
  * debian/control:
    - Remove DM-Upload-Allowed.
    - Build-Depends on debhelper >= 9.
  * debian/watch: Only watch upstream gringo >= 3.
  * debian/patches/gringo-clang-gcc.patch debian/patches/gringo-cond.patch
    debian/patches/gringo-domain-fwd-decl.patch
    debian/patches/gringo-unpool-pred.patch debian/patches/series: Remove
    already applied patches.

 -- Thomas Krennwallner <email address hidden>  Tue, 21 May 2013 19:04:24 +0200

Upload details

Uploaded by:: Debian Science Team on 2013-05-23

Uploaded to:: Sid

Original maintainer:: Debian Science Team

Architectures:: any

Section:: interpreters

Urgency:: Low Urgency

See full publishing history Publishing

Series	Pocket	Published	Component	Section

Builds

Downloads

File	Size	SHA-256 Checksum
gringo_3.0.5-1.dsc	2.0 KiB	906a64f0e22eeac8af17393c525c4e48e5ad46482b3b3286fb40c57727c4d49f
gringo_3.0.5.orig.tar.gz	530.2 KiB	39e51af2d6bc93aacedd7dcae8f72fc18ddcdaa659016cd04e39b5c2fdd3c439
gringo_3.0.5-1.debian.tar.gz	7.5 KiB	17b9fe7f17d235ef904fcbf020d55c6f1ce9a2f40daf41183126a56fe2d18445

Available diffs

diff from 3.0.4-4build1 (in Ubuntu) to 3.0.5-1 (44.0 KiB)

No changes file available.

Debiangringo package

gringo 3.0.5-1 source package in Debian

Changelog

Upload details

See full publishing history Publishing

Builds

Downloads

Available diffs

Binary packages built by this source

Debian
gringo package