gringo 5.3.0-3 source package in Debian
Changelog
gringo (5.3.0-3) unstable; urgency=medium * debian/upstream/metadata: add DEP-12 upstream metadata * debian/symbols: fix symbols for version 5.3.0 of libclingo.so.2 * Upload to unstable. -- Thomas Krennwallner <email address hidden> Wed, 21 Nov 2018 04:54:38 +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-3.dsc | 2.0 KiB | 85ddbb1be85fd2e95b84b732a4e7b5b32f202ff1259b070f203485ba1b8ffd3d |
| gringo_5.3.0.orig.tar.gz | 2.6 MiB | b0d406d2809352caef7fccf69e8864d55e81ee84f4888b0744894977f703f976 |
| gringo_5.3.0-3.debian.tar.xz | 17.7 KiB | 1d9573c634c676ea5f6985b01d1143334bb52e3061723eaa285e882293f4ec43 |
No changes file available.
