aac-tactics 8.6.1-1build1 source package in Ubuntu
Changelog
aac-tactics (8.6.1-1build1) artful; urgency=high * No change rebuild against ocaml 4.04. -- Dimitri John Ledkov <email address hidden> Mon, 03 Jul 2017 01:29:31 +0100
Upload details
- Uploaded by:
- Dimitri John Ledkov
- Uploaded to:
- Artful
- Original maintainer:
- Ubuntu Developers
- Architectures:
- any all
- Section:
- math
- Urgency:
- Very Urgent
See full publishing history Publishing
| Series | Published | Component | Section |
|---|
Downloads
| File | Size | SHA-256 Checksum |
|---|---|---|
| aac-tactics_8.6.1.orig.tar.gz | 73.3 KiB | bb8ef2de84f57a37a6ba6c2deba87e548f258bbe7caf9126100cc4b95f80db47 |
| aac-tactics_8.6.1-1build1.debian.tar.xz | 3.3 KiB | b11b93acad0140de58ec991ed30315e452b53c8609f519a8a221cedbdef6a669 |
| aac-tactics_8.6.1-1build1.dsc | 1.9 KiB | b8dcc2457ff0e5a15de2cd75508c84e8d29c893755be4a7b5630a02ad6cc6d3a |
Available diffs
- diff from 8.6.1-1 (in Debian) to 8.6.1-1build1 (520 bytes)
Binary packages built by this source
- libaac-tactics-coq: No summary available for libaac-tactics-coq in ubuntu artful.
No description available for libaac-tactics-coq in ubuntu artful.
- libaac-tactics-ocaml: No summary available for libaac-tactics-ocaml in ubuntu artful.
No description available for libaac-
tactics- ocaml in ubuntu artful.
- libaac-tactics-ocaml-dbgsym: No summary available for libaac-tactics-ocaml-dbgsym in ubuntu artful.
No description available for libaac-
tactics- ocaml-dbgsym in ubuntu artful.
- libaac-tactics-ocaml-dev: No summary available for libaac-tactics-ocaml-dev in ubuntu artful.
No description available for libaac-
tactics- ocaml-dev in ubuntu artful.
