Ubuntu
aac-tactics package

aac-tactics 8.15.0-1 source package in Ubuntu

Changelog

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

  * Team upload.
  * Fix d/watch.
  * New upstream release.
  * Adapt to new coq library layout (closes: #970454).
  * Bump dh-compat to level 13.
  * Bump standards-version to 4.6.0.

 -- Julien Puydt <email address hidden>  Sun, 06 Feb 2022 13:55:39 +0100

Upload details

Uploaded by:
Debian OCaml Maintainers
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
Jammy release universe math

Downloads

File Size SHA-256 Checksum
aac-tactics_8.15.0-1.dsc 2.2 KiB 4d7e4bccde9b50a266105c90c7e601e0a424204589557d0e5f0d1aba99800538
aac-tactics_8.15.0.orig.tar.gz 66.5 KiB 82fb23ce42de6892879e9aa0f332de3dae46c6ef4bc65755f0603010701bec29
aac-tactics_8.15.0-1.debian.tar.xz 3.5 KiB 5ce738ca387f0a64152f86ead9234222e418d71d0eacbb027f156331a37e7858

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.