gringo 5.2.2-3 source package in Debian
Changelog
gringo (5.2.2-3) unstable; urgency=medium
* add dep8 testsuite
+ debian/rules: build, run, and output upstream tests
+ debian/tests: add dep8 tests
* debian/symbols: add ia64, update templinst archs
-- Thomas Krennwallner <email address hidden> Sun, 04 Feb 2018 09:22:41 +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.2-3.dsc | 2.0 KiB | 9311ef0851b342bb5344bb54ad353dd594ec3b26c4cb61d3a471d3cac7144417 |
| gringo_5.2.2.orig.tar.gz | 2.5 MiB | da1ef8142e75c5a6f23c9403b90d4f40b9f862969ba71e2aaee9a257d058bfcf |
| gringo_5.2.2-3.debian.tar.xz | 13.0 KiB | e87e135e0fd2a737f36733c079f8e2fe6ade5c1f9cc16a8aada46ca231bd9139 |
Available diffs
- diff from 5.2.2-2 to 5.2.2-3 (3.5 KiB)
No changes file available.
