# Source: aac-tactics
# Package: libcoq-aac-tactics
# Versions: libcoq-aac-tactics (9.0.0-4), libcoq-aac-tactics (9.0.0-4+b1), libcoq-aac-tactics (9.0.0-4+b2)
# This Description is active
# Prioritize: 44
Description: Rocq tactics for reasoning modulo AC (theories)
 This Rocq plugin provides tactics for rewriting universally quantified
 equations, modulo associative (and possibly commutative) operators.
 .
 This package provides the Rocq support library.
Description-it: <trans>
 <trans>
 .
 <trans>

# other Descriptions of the libcoq-aac-tactics package with a translation in it:
# 
# Description-id: 81254 https://ddtp.debian.org/ddt.cgi?desc_id=81254
# patch https://ddtp.debian.org/ddt.cgi?diff1=81254&diff2=327937&language=it
# This Description was in trixie from 2023-06-12 to 2026-07-13;
# This Description was in sid from 2011-05-02 to 2026-07-28;
# This Description was in bookworm from 2022-02-12 to 2026-07-13;
# This Description was in forky from 2025-08-10 to 2026-08-09;
# This Description was in bullseye from 2020-03-03 to 2020-09-29;
# This Description was in wheezy from 2011-05-13 to 2016-06-07;
# This Description was in stretch from 2015-05-03 to 2020-07-21;
# This Description was in jessie from 2013-08-08 to 2018-06-26;
# This Description was in buster from 2017-07-28 to 2019-02-15;
#