Binary descriptions:
  • libcoq-aac-tactics: Coq tactics for reasoning modulo AC (theories)
  • libcoq-aac-tactics-dbgsym: debug symbols for libcoq-aac-tactics
Last common version:
8.17.0-1
Ignored:


 
Comments: