aac-tactics 8.6.1-2 source package in Ubuntu
Changelog
aac-tactics (8.6.1-2) unstable; urgency=medium * Recompile with OCaml 4.05.0 -- Stéphane Glondu <email address hidden> Mon, 09 Oct 2017 10:33:39 +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 | |
|---|---|---|---|---|
| Bionic | release | universe | math |
Downloads
| File | Size | SHA-256 Checksum |
|---|---|---|
| aac-tactics_8.6.1-2.dsc | 2.2 KiB | 28a12380ad412a2331848323eeed5479496d00d32888596eca536409743b4f41 |
| aac-tactics_8.6.1.orig.tar.gz | 73.3 KiB | bb8ef2de84f57a37a6ba6c2deba87e548f258bbe7caf9126100cc4b95f80db47 |
| aac-tactics_8.6.1-2.debian.tar.xz | 3.2 KiB | d898bd9952edb152cca1f148991f6dcce87136d40e4a5f04beda396ac5b1b16b |
Available diffs
- diff from 8.6.1-1build4 (in Ubuntu) to 8.6.1-2 (775 bytes)
- diff from 8.6.1-1build5 (in Ubuntu) to 8.6.1-2 (837 bytes)
No changes file available.
Binary packages built by this source
- libaac-tactics-coq: No summary available for libaac-tactics-coq in ubuntu disco.
No description available for libaac-tactics-coq in ubuntu disco.
- libaac-tactics-ocaml: No summary available for libaac-tactics-ocaml in ubuntu eoan.
No description available for libaac-
tactics- ocaml in ubuntu eoan.
- libaac-tactics-ocaml-dbgsym: No summary available for libaac-tactics-ocaml-dbgsym in ubuntu eoan.
No description available for libaac-
tactics- ocaml-dbgsym in ubuntu eoan.
- libaac-tactics-ocaml-dev: No summary available for libaac-tactics-ocaml-dev in ubuntu eoan.
No description available for libaac-
tactics- ocaml-dev in ubuntu eoan.
