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 on 2017-10-09
Uploaded to:
Sid
Original maintainer:
Debian OCaml Maintainers
Architectures:
any all
Section:
math
Urgency:
Medium Urgency

See full publishing history Publishing

Series Pocket Published Component Section
Bionic release on 2017-11-05 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

No changes file available.

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.