gringo 5.4.0-2 source package in Debian
Changelog
gringo (5.4.0-2) unstable; urgency=medium * Upload to unstable * debian/symbols: fix symbols for missing architectures -- Thomas Krennwallner <email address hidden> Fri, 03 Apr 2020 06:56:49 -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 | Published | Component | Section |
---|
Builds
Downloads
File | Size | SHA-256 Checksum |
---|---|---|
gringo_5.4.0-2.dsc | 2.1 KiB | 84afbae54b0787c940b473706ab969944616b59a783c16a90c5a60ee4530ab81 |
gringo_5.4.0.orig.tar.gz | 2.7 MiB | e2de331ee0a6d254193aab5995338a621372517adcf91568092be8ac511c18f3 |
gringo_5.4.0-2.debian.tar.xz | 22.5 KiB | e18dbac4cfa2e3e79ac86626c7e3a25f6057f4398882b5476e4b50adf2f9bfb7 |
Available diffs
No changes file available.