Publishing details

• Removal requested on 2020-07-14.
• Published on 2018-10-30
• Copied from debian sid in Primary Archive for Debian GNU/Linux

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

Builds

Package files

• aac-tactics_8.6.1-2.debian.tar.xz (3.2 KiB)
• aac-tactics_8.6.1-2.dsc (2.2 KiB)
• aac-tactics_8.6.1.orig.tar.gz (73.3 KiB)
• libaac-tactics-coq_8.6.1-2_all.deb (215.6 KiB)
• libaac-tactics-ocaml-dbgsym_8.6.1-2_amd64.ddeb (15.5 KiB)
• libaac-tactics-ocaml-dbgsym_8.6.1-2_arm64.ddeb (18.6 KiB)
• libaac-tactics-ocaml-dbgsym_8.6.1-2_armhf.ddeb (18.1 KiB)
• libaac-tactics-ocaml-dbgsym_8.6.1-2_i386.ddeb (15.3 KiB)
• libaac-tactics-ocaml-dbgsym_8.6.1-2_ppc64el.ddeb (15.4 KiB)
• libaac-tactics-ocaml-dbgsym_8.6.1-2_s390x.ddeb (13.9 KiB)
• libaac-tactics-ocaml-dev_8.6.1-2_amd64.deb (36.8 KiB)
• libaac-tactics-ocaml-dev_8.6.1-2_arm64.deb (36.8 KiB)
• libaac-tactics-ocaml-dev_8.6.1-2_armhf.deb (36.8 KiB)
• libaac-tactics-ocaml-dev_8.6.1-2_i386.deb (36.8 KiB)
• libaac-tactics-ocaml-dev_8.6.1-2_ppc64el.deb (36.8 KiB)
• libaac-tactics-ocaml-dev_8.6.1-2_s390x.deb (36.8 KiB)
• libaac-tactics-ocaml_8.6.1-2_amd64.deb (117.5 KiB)
• libaac-tactics-ocaml_8.6.1-2_arm64.deb (133.4 KiB)
• libaac-tactics-ocaml_8.6.1-2_armhf.deb (114.4 KiB)
• libaac-tactics-ocaml_8.6.1-2_i386.deb (108.2 KiB)
• libaac-tactics-ocaml_8.6.1-2_ppc64el.deb (124.5 KiB)
• libaac-tactics-ocaml_8.6.1-2_s390x.deb (120.2 KiB)