Ubuntu
aac-tactics package

aac-tactics 8.9.0-1build1 source package in Ubuntu

Changelog

aac-tactics (8.9.0-1build1) focal; urgency=medium

  * Rebuild against new OCAML ABIs.

 -- Gianfranco Costamagna <email address hidden>  Thu, 12 Mar 2020 14:54:42 +0100

Upload details

Uploaded by:
Gianfranco Costamagna
Uploaded to:
Focal
Original maintainer:
Debian OCaml Maintainers
Architectures:
any all
Section:
math
Urgency:
Medium Urgency

See full publishing history Publishing

Series Pocket Published Component Section

Downloads

File Size SHA-256 Checksum
aac-tactics_8.9.0.orig.tar.gz 64.9 KiB e9ddb31522aa3075c274b65a46fe204d67762b9efc5c59689f521c8180b70821
aac-tactics_8.9.0-1build1.debian.tar.xz 3.4 KiB 43a8f2be6e90345a1e26c393c6ae5322f0c7e134407507ecd5761a0c4b1c6d87
aac-tactics_8.9.0-1build1.dsc 2.1 KiB e2807386a8820488f3ffeb45b16d411046026ffc7785cf2755257723906e3d89

View changes file

Binary packages built by this source

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.