Liyang on the intartubes

Debian Repository

Disregard the text below. Iain Lane has taken over packaging of Agda for Debian and Ubuntu.

Old Contents

I’ve primarily set up this repository (currently only of Haskell and Agda-related packages) for my own personal use, but anyone is welcome to (ab)use it. (With the proviso that you trust me with root access on your machine, of course.)

To add the repository:

cd /etc/apt/sources.list.d
sudo wget http://liyang.hu/liyang.hu.list

To stop apt whining about unknown signatures:

wget -qO - http://liyang.hu/liyang.asc | sudo apt-key add -

Questions and comments to liyang on irc.freenode.org; I’m usually in #haskell, or to the Agda mailing list.