Installlion's Logo

Installlion.com

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 2.5.1.1-3+b3

sudo apt-get install agda-bin

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

Package Data

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

Dependencies