aac-tactics 8.6.1-1build4 source package in Ubuntu

Changelog

aac-tactics (8.6.1-1build4) artful; urgency=high

  * No change rebuild against new ocaml abis.

 -- Dimitri John Ledkov <email address hidden>  Thu, 31 Aug 2017 02:11:24 +0100

Upload details

Uploaded by:
Dimitri John Ledkov on 2017-08-31
Uploaded to:
Artful
Original maintainer:
Ubuntu Developers
Architectures:
any all
Section:
math
Urgency:
Very Urgent

See full publishing history Publishing

Series Pocket Published Component Section
Artful release on 2017-09-01 universe math

Downloads

File Size SHA-256 Checksum
aac-tactics_8.6.1.orig.tar.gz 73.3 KiB bb8ef2de84f57a37a6ba6c2deba87e548f258bbe7caf9126100cc4b95f80db47
aac-tactics_8.6.1-1build4.debian.tar.xz 3.4 KiB 6f6f5711012e5f99a457f037665ec806e92d4cfd1276d8365d6bb09b4ebbf630
aac-tactics_8.6.1-1build4.dsc 1.9 KiB a09fee899f7f5aac6d8b80674e91df0ceef878b7660248c27e03a45ab2180ad1

View changes file

Binary packages built by this source

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

 This Coq plugin provides tactics for rewriting universally quantified
 equations, modulo associative (and possibly commutative) operators.
 .
 This package provides the Coq support library.

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

 This Coq plugin provides tactics for rewriting universally quantified
 equations, modulo associative (and possibly commutative) operators.
 .
 This package provides the plugin itself.

libaac-tactics-ocaml-dbgsym: debug symbols for libaac-tactics-ocaml
libaac-tactics-ocaml-dev: Coq tactics for reasoning modulo AC (devt files)

 This Coq plugin provides tactics for rewriting universally quantified
 equations, modulo associative (and possibly commutative) operators.
 .
 This package provides the static native-code library, needed to build
 custom toplevels, and the compiled interfaces.