gringo 4.5.1-1 source package in Debian
Changelog
gringo (4.5.1-1) unstable; urgency=medium * Imported Upstream version 4.5.1 * Add reify.1 manpage -- Thomas Krennwallner <email address hidden> Mon, 13 Jul 2015 09:01:56 +0200
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_4.5.1-1.dsc | 2.0 KiB | 55c85bbf9b1c10ab461d5a2e8d5162b74f436c262d47e326e573b76eda4ad3ef |
| gringo_4.5.1.orig.tar.gz | 1.6 MiB | 942be5977070859dc164347368248c1d22c451a55c2fd002081fa9abe0b5c50c |
| gringo_4.5.1-1.debian.tar.xz | 6.3 KiB | 553faf5491cc2eb957aad2041e1fd7ffb4b351a8f43f4be50616ff1e156441ba |
Available diffs
- diff from 4.5.0-1 to 4.5.1-1 (43.3 KiB)
No changes file available.
