aac-tactics 8.17.0-2 source package in Debian
Changelog
aac-tactics (8.17.0-2) unstable; urgency=medium * Add lintian overrides for false issues. * Bump Coq version depend. -- Julien Puydt <email address hidden> Mon, 12 Jun 2023 19:27:20 +0200
Upload details
- Uploaded by:
- Debian OCaml Maintainers
- Uploaded to:
- Sid
- Original maintainer:
- Debian OCaml Maintainers
- Architectures:
- any
- Section:
- math
- Urgency:
- Medium Urgency
See full publishing history Publishing
Series | Published | Component | Section |
---|
Builds
Downloads
File | Size | SHA-256 Checksum |
---|---|---|
aac-tactics_8.17.0-2.dsc | 2.1 KiB | ee8204e4e6796dd702e4c31a202cf413b60226bd38cbd5c1a4b8606ebdbf7304 |
aac-tactics_8.17.0.orig.tar.gz | 73.9 KiB | 361a5e175d2da10c41bab8863c480af97cd687bed8bbe7df5c41909f30a8a61a |
aac-tactics_8.17.0-2.debian.tar.xz | 3.6 KiB | 27c71adce80f33c86f1754feda4d7f1a423a26f5b94440501d137b109b27064a |
Available diffs
- diff from 8.17.0-1build2 (in Ubuntu) to 8.17.0-2 (727 bytes)
No changes file available.