» Ubuntu » Packages » lunar (23.04) » math » libcoq-aac-tactics
lunar  ] [  mantic  ] [  noble  ]
[ Source: aac-tactics  ]

Package: libcoq-aac-tactics (8.17.0-1build2) [universe]

Links for libcoq-aac-tactics


Ubuntu Resources:

Download Source Package aac-tactics:


Please consider filing a bug or asking a question via Launchpad before contacting the maintainer directly.

Original Maintainers (usually from Debian):

  • Debian OCaml Maintainers (Mail Archive)
  • Stéphane Glondu
  • Julien Puydt

It should generally not be necessary for users to contact the original maintainer.

External Resources:

Similar packages:

Coq tactics for reasoning modulo AC (theories)

Other Packages Related to libcoq-aac-tactics

  • depends
  • recommends
  • suggests
  • enhances

Download libcoq-aac-tactics

Download for all available architectures
Architecture Package Size Installed Size Files
amd64 415.5 kB2,981.0 kB [list of files]
arm64 432.8 kB3,133.0 kB [list of files]
armhf 415.9 kB2,792.0 kB [list of files]
ppc64el 422.3 kB3,133.0 kB [list of files]
riscv64 416.1 kB2,991.0 kB [list of files]
s390x 421.8 kB3,061.0 kB [list of files]