aac-tactics 8.6.1-1 source package in Ubuntu
Changelog
aac-tactics (8.6.1-1) unstable; urgency=medium * Team upload * New upstream release * Remove patch 001-fix-typos, applied upstream -- Enrico Tassi <email address hidden> Tue, 27 Dec 2016 16:06:51 +0000
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 |
---|
Downloads
File | Size | SHA-256 Checksum |
---|---|---|
aac-tactics_8.6.1-1.dsc | 2.2 KiB | ddc78ed624684a0389eadde64f3ac6908bab16c306d9420f9f2fe6b628e65ab4 |
aac-tactics_8.6.1.orig.tar.gz | 73.3 KiB | bb8ef2de84f57a37a6ba6c2deba87e548f258bbe7caf9126100cc4b95f80db47 |
aac-tactics_8.6.1-1.debian.tar.xz | 3.1 KiB | 976c78d85b53ae3c8d340096b09ff288af3c0fa6bf5b4b854999900ef4d083d4 |
Available diffs
- diff from 8.5.1-1 to 8.6.1-1 (15.6 KiB)
No changes file available.
Binary packages built by this source
- libaac-tactics-coq: No summary available for libaac-tactics-coq in ubuntu zesty.
No description available for libaac-tactics-coq in ubuntu zesty.
- libaac-tactics-ocaml: No summary available for libaac-tactics-ocaml in ubuntu zesty.
No description available for libaac-
tactics- ocaml in ubuntu zesty.
- libaac-tactics-ocaml-dev: No summary available for libaac-tactics-ocaml-dev in ubuntu zesty.
No description available for libaac-
tactics- ocaml-dev in ubuntu zesty.