Installlion's Logo

How To Install agda-bin on stretch

To install agda-bin just follow these instructions.

Install agda-bin

commandline interface to Agda Debian 9.0 haskell

sudo apt-get install agda-bin

Which will install agda-bin and any other packages on which it depends.

Package Data

Package agda-bin
Maintainer Debian Haskell Group
Description commandline interface to Agda
Distro debian
Release stretch
Repo main
Section haskell