Publishing details

• Published on 2012-01-08

Changelog

aac-tactics (0.2.pl2-4build1) precise; urgency=low

  * Rebuild with new Coq.
 -- Andreas Moog <email address hidden>   Sun, 08 Jan 2012 16:05:08 +0100

Builds

• amd64
• armel
• armhf
• i386
• powerpc

Built packages

• libaac-tactics-coq Coq tactics for reasoning modulo AC (theories)

• libaac-tactics-ocaml Coq tactics for reasoning modulo AC (plugin)

• libaac-tactics-ocaml-dev Coq tactics for reasoning modulo AC (devt files)

Package files

• aac-tactics_0.2.pl2-4build1.debian.tar.gz (2.7 KiB)
• aac-tactics_0.2.pl2-4build1.dsc (2.2 KiB)
• aac-tactics_0.2.pl2.orig.tar.gz (75.6 KiB)
• libaac-tactics-coq_0.2.pl2-4build1_all.deb (308.5 KiB)
• libaac-tactics-ocaml-dev_0.2.pl2-4build1_amd64.deb (132.8 KiB)
• libaac-tactics-ocaml-dev_0.2.pl2-4build1_armel.deb (141.5 KiB)
• libaac-tactics-ocaml-dev_0.2.pl2-4build1_armhf.deb (139.5 KiB)
• libaac-tactics-ocaml-dev_0.2.pl2-4build1_i386.deb (126.9 KiB)
• libaac-tactics-ocaml-dev_0.2.pl2-4build1_powerpc.deb (154.6 KiB)
• libaac-tactics-ocaml_0.2.pl2-4build1_amd64.deb (139.0 KiB)
• libaac-tactics-ocaml_0.2.pl2-4build1_armel.deb (32.3 KiB)
• libaac-tactics-ocaml_0.2.pl2-4build1_armhf.deb (32.3 KiB)
• libaac-tactics-ocaml_0.2.pl2-4build1_i386.deb (121.5 KiB)
• libaac-tactics-ocaml_0.2.pl2-4build1_powerpc.deb (142.3 KiB)