How to Install aac-tactics in Ubuntu 20.04 LTS Focal Fossa


Package Description: This is a virtual package. See the Debian policy for a definition of virtual packages.

Version:

Repository:

OS: Ubuntu 20.04 LTS Focal Fossa


Install Instructions of aac-tactics on Ubuntu 20.04.

Install aac-tactics by entering the following commands in the terminal

Step 1

Update package repositories (click to copy)

sudo apt update -y
Copied

Step 2

Install the packages and dependencies.(click to copy)

sudo apt install -y aac-tactics
Copied

Dependent Packages (you may have to install the packages below if it is not installed automatically or is not available on your computer) :



Similar packages

aac-enc

Fraunhofer FDK AAC Codec Library - frontend binary

aac-tactics

This is a virtual package. See the Debian policy for a definition of virtual packages.

faac

AAC audio encoder (frontend)

fdkaac

command line encoder frontend for libfdk-aac

libaac-tactics-coq

Coq tactics for reasoning modulo AC (theories)

libaac-tactics-ocaml

Coq tactics for reasoning modulo AC (plugin)

libaac-tactics-ocaml-0onw3

This is a virtual package. See the Debian policy for a definition of virtual packages.

libaac-tactics-ocaml-3bwg4

This is a virtual package. See the Debian policy for a definition of virtual packages.

libaac-tactics-ocaml-7bfb7

This is a virtual package. See the Debian policy for a definition of virtual packages.

libaac-tactics-ocaml-dev

Coq tactics for reasoning modulo AC (devt files)