Install aac-tactics by entering the following commands in the terminal
Update package repositories and get latest package information.
sudo apt update -y
Install the packages and dependencies with -y flag.
sudo apt install -y aac-tactics
Now that you have your aac-tactics installed
Package Description: This is a virtual package. See the Debian policy for a definition of virtual packages.
OS: Ubuntu 20.04 LTS Focal Fossa
Dependent Packages (you may have to install the packages below if it is not installed automatically or is not available on your computer) :
Fraunhofer FDK AAC Codec Library - frontend binary
This is a virtual package. See the Debian policy for a definition of virtual packages.
AAC audio encoder (frontend)
command line encoder frontend for libfdk-aac
Coq tactics for reasoning modulo AC (theories)
Coq tactics for reasoning modulo AC (plugin)
Coq tactics for reasoning modulo AC (devt files)