gringo 5.2.1-3 source package in Debian
Changelog
gringo (5.2.1-3) unstable; urgency=medium * add patch from upstream commit 02c6d85 to fix wrong assertion * debian/control: Build-Depends to cmake >= 3.1.0 -- Thomas Krennwallner <email address hidden> Sat, 04 Nov 2017 11:14:23 +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 | Published | Component | Section |
---|
Builds
Downloads
File | Size | SHA-256 Checksum |
---|---|---|
gringo_5.2.1-3.dsc | 2.0 KiB | da4c65126cdcca77e6d65ecdd80aa1fc6a24c5ee88d18ba010d9e95df21e45fc |
gringo_5.2.1.orig.tar.gz | 2.5 MiB | b486b0adbd0a2acdfe55856036039318844ccb1e3510f2796caf03c5ee455378 |
gringo_5.2.1-3.debian.tar.xz | 12.2 KiB | 6b8ceed4192546324bf509c0915a04724590eb9d58cad8ae1bf605e1f1d9bec9 |
Available diffs
- diff from 5.2.1-2 to 5.2.1-3 (1.6 KiB)
No changes file available.