Publishing details

• Removed from disk on 2018-01-22.
• Removal requested on 2018-01-22.
• Published on 2015-08-11
• Copied from debian sid in Primary Archive for Debian GNU/Linux by Ubuntu Archive Auto-Sync (sponsored by Ubuntu Archive Robot)

Changelog

aac-tactics (0.4-4) unstable; urgency=medium

  * Fix Homepage URL
  * Drop debian/watch
  * Bump Standards-Version to 3.9.6
  * Bump debhelper compat level to 9

 -- Stéphane Glondu <email address hidden>  Mon, 10 Aug 2015 21:16:02 +0200

Builds

• amd64
• arm64
• armhf
• i386
• powerpc
• ppc64el

Package files

• aac-tactics_0.4-4.debian.tar.xz (2.9 KiB)
• aac-tactics_0.4-4.dsc (2.2 KiB)
• aac-tactics_0.4.orig.tar.gz (75.5 KiB)
• libaac-tactics-coq_0.4-4_all.deb (207.7 KiB)
• libaac-tactics-ocaml-dev_0.4-4_amd64.deb (43.5 KiB)
• libaac-tactics-ocaml-dev_0.4-4_arm64.deb (43.3 KiB)
• libaac-tactics-ocaml-dev_0.4-4_armhf.deb (43.5 KiB)
• libaac-tactics-ocaml-dev_0.4-4_i386.deb (43.5 KiB)
• libaac-tactics-ocaml-dev_0.4-4_powerpc.deb (43.5 KiB)
• libaac-tactics-ocaml-dev_0.4-4_ppc64el.deb (43.3 KiB)
• libaac-tactics-ocaml_0.4-4_amd64.deb (125.0 KiB)
• libaac-tactics-ocaml_0.4-4_arm64.deb (26.6 KiB)
• libaac-tactics-ocaml_0.4-4_armhf.deb (121.7 KiB)
• libaac-tactics-ocaml_0.4-4_i386.deb (114.3 KiB)
• libaac-tactics-ocaml_0.4-4_powerpc.deb (111.3 KiB)
• libaac-tactics-ocaml_0.4-4_ppc64el.deb (26.6 KiB)