Ubuntu
aac-tactics package

aac-tactics 8.17.0-1build2 source package in Ubuntu

Changelog

aac-tactics (8.17.0-1build2) lunar; urgency=medium

  * Rebuild against new OCAML ABI.

 -- Gianfranco Costamagna <email address hidden>  Thu, 16 Feb 2023 10:55:08 +0100

Upload details

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

See full publishing history Publishing

Series Pocket Published Component Section
Lunar release universe math

Downloads

File Size SHA-256 Checksum
aac-tactics_8.17.0.orig.tar.gz 73.9 KiB 361a5e175d2da10c41bab8863c480af97cd687bed8bbe7df5c41909f30a8a61a
aac-tactics_8.17.0-1build2.debian.tar.xz 3.5 KiB c590c07fac40b79291f73410838325415190abda60208dc3998d500e7ab4a32b
aac-tactics_8.17.0-1build2.dsc 2.1 KiB 4c685c889bb7920b2105f81932fd6249d76072a24b5fb5f32a19d43d25d6c4e7

Available diffs

View changes file

Binary packages built by this source

libcoq-aac-tactics: 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.

libcoq-aac-tactics-dbgsym: debug symbols for libcoq-aac-tactics