UbuntuUpdates.org

Package "aac-tactics"

Name: aac-tactics

Description:

This package is just an umbrella for a group of other packages, it has no description.
Description samples from packages in group:

  • Coq tactics for reasoning modulo AC (theories)
  • Coq tactics for reasoning modulo AC (plugin)
  • Coq tactics for reasoning modulo AC (devt files)

Latest version: 8.6.1-2
Release: bionic (18.04)
Level: base
Repository: universe

Links



Other versions of "aac-tactics" in Bionic

No other version of this package is available in the Bionic release.

Packages in group

Deleted packages are displayed in grey.


Changelog

There is no recent update for this package.



About   -   Send Feedback to @ubuntu_updates