aac-tactics 8.11.0-1 source package in Ubuntu

Changelog

aac-tactics (8.11.0-1) unstable; urgency=medium

  * Team upload
  * New upstream version, compiles with coq 8.11.0 (closes: #953739)
  * debian/rules: on dynlink architectures, build opt before byte
  * debian/*.ocamldoc: add -I /usr/lib/coq/tactics

 -- Ralf Treinen <email address hidden>  Tue, 17 Mar 2020 16:42:09 +0100

Upload details

Uploaded by:
Debian OCaml Maintainers on 2020-03-17
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
Focal proposed on 2020-03-18 universe math

Downloads

File Size SHA-256 Checksum
aac-tactics_8.11.0-1.dsc 2.1 KiB ac488eeac651cabf66dd5f86700b3482fd8c73cfb0186565819494ba1972f9f7
aac-tactics_8.11.0.orig.tar.gz 63.8 KiB 6af3a80e7c41cda36193236e5b2640beef33acdd8edff82f78592e92e58d547b
aac-tactics_8.11.0-1.debian.tar.xz 3.4 KiB 0b24fb1b47e31b2269c2ac01f263c22bc324c8a7d7723ccd8d8f1cf477d2724e

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.