Information for aac-tactics

Versions

• 8.17.0
• 8.16.0+git20221030.1.6e02fa0
• 8.15.1
• 8.15.0
• 8.11.0
• 8.6.1
• 0.4

Package names

• aac-tactics

Repositories

• Debian 12
• Debian Unstable
• Debian Janitor - Snapshots
• Devuan Unstable
• Kali Linux Rolling
• Raspbian Testing
• Trisquel 10.0
• Trisquel 11.0
• Ubuntu 14.04
• Ubuntu 16.04
• Ubuntu 18.04
• Ubuntu 20.04
• Ubuntu 22.04
• Ubuntu 22.10
• Ubuntu 23.04
• Ubuntu 23.10

Categories

• math
• universe/math

Maintainers

• debian-ocaml-maint@lists.debian.org
• glondu@debian.org
• jpuydt@debian.org

• Group email

Homepage links

• http://sardes.inrialpes.fr/~braibant/aac_tactics/^{dead (see archive.org)}
• http://www.lix.polytechnique.fr/coq/pylons/contribs/view/AACTactics/trunk^{dead (see archive.org)}
• https://github.com/coq-community/aac-tactics^{ok, no IPv6}
• https://github.com/coq-contribs/aac-tactics^{redir, no IPv6}