aac-tactics 8.8.0+1.gbp069dc3b-1build4 source package in Ubuntu

Changelog

aac-tactics (8.8.0+1.gbp069dc3b-1build4) eoan; urgency=medium

  * Rebuild against new OCAML ABIs.

 -- Gianfranco Costamagna <email address hidden>  Wed, 21 Aug 2019 19:02:25 +0200

Upload details

Uploaded by:
Gianfranco Costamagna on 2019-08-21
Uploaded to:
Eoan
Original maintainer:
Debian OCaml Maintainers
Architectures:
any all
Section:
math
Urgency:
Medium Urgency

See full publishing history Publishing

Series Pocket Published Component Section
Focal release on 2019-10-18 universe math
Eoan release on 2019-09-02 universe math

Downloads

File Size SHA-256 Checksum
aac-tactics_8.8.0+1.gbp069dc3b.orig.tar.gz 64.4 KiB 2a4273bfcd7be376077c8160f949272e0028b66d69bfaddce66129b47267a95f
aac-tactics_8.8.0+1.gbp069dc3b-1build4.debian.tar.xz 3.5 KiB 2892a77b83ecef757e7c447da14fd88c711017246fd758394db28b4d6ff8e4d7
aac-tactics_8.8.0+1.gbp069dc3b-1build4.dsc 2.2 KiB 0d111f0df5167f42e17fad45ba4de08218b4fba7b00a25733a8bf66669c74f0c

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.