aac-tactics 0.4-3 source package in Debian
Changelog
aac-tactics (0.4-3) unstable; urgency=medium * Recompile with coq 8.4pl4 -- Stéphane Glondu <email address hidden> Wed, 30 Jul 2014 11:00:52 +0200
Upload details
- Uploaded by:
- Debian OCaml Maintainers
- Uploaded to:
- Sid
- Original maintainer:
- Debian OCaml Maintainers
- Architectures:
- any all
- Section:
- math
- Urgency:
- Medium Urgency
See full publishing history Publishing
Series | Published | Component | Section | |
---|---|---|---|---|
Jessie | release | main | math |
Builds
Downloads
File | Size | SHA-256 Checksum |
---|---|---|
aac-tactics_0.4-3.dsc | 2.2 KiB | 50893988307b2f2adeea48aca38a8a90be2b69f52c90abdc733f2c5d6a210bda |
aac-tactics_0.4.orig.tar.gz | 75.5 KiB | 6f2d82ec83d7d4ae818ea10cf9865c0bb80ea1de8231eac065e6170dd2cc505e |
aac-tactics_0.4-3.debian.tar.xz | 2.9 KiB | cd3e0d36b1ff15d9bfbf35da8bdb47f0f0741a3475e75b35d9a875ba266b0f94 |
Available diffs
- diff from 0.4-2 to 0.4-3 (284 bytes)
No changes file available.