aac-tactics 0.2.pl2-6 source package in Debian
Changelog
aac-tactics (0.2.pl2-6) unstable; urgency=medium * Recompile with camlp5 6.05 and coq 8.3pl4 (no changes) -- Stéphane Glondu <email address hidden> Sun, 01 Apr 2012 17:19:08 +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 |
---|
Builds
Downloads
File | Size | SHA-256 Checksum |
---|---|---|
aac-tactics_0.2.pl2-6.dsc | 2.2 KiB | 28819911fc5106785ac98989329d810b5b294dd1102b8899571747cb61b9de8f |
aac-tactics_0.2.pl2.orig.tar.gz | 75.6 KiB | 803b5e647ea801bdbe8a12dfaa1941160dd6d7dd33c238a1cc35fb0005611ed8 |
aac-tactics_0.2.pl2-6.debian.tar.gz | 2.7 KiB | 66f99af94bb029f13cda96c91ad14483c90b2dfedf9692458c8b5d8a0c8043fb |
Available diffs
No changes file available.