gringo 5.3.0-9 source package in Debian
Changelog
gringo (5.3.0-9) unstable; urgency=medium * Upload to unstable. -- Thomas Krennwallner <email address hidden> Fri, 01 Mar 2019 06:27:37 +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.3.0-9.dsc | 2.0 KiB | b008a835b669d97fcdfcd2a20261ae362788f40867172575355f08c6c83fbc58 |
| gringo_5.3.0.orig.tar.gz | 2.6 MiB | b0d406d2809352caef7fccf69e8864d55e81ee84f4888b0744894977f703f976 |
| gringo_5.3.0-9.debian.tar.xz | 18.0 KiB | c7d86c49bf8ceb559d158f6af8dc0239ae0ecca65d331d360c0d9187c0157780 |
No changes file available.
