[Agda] Agda packaged for Arch Linux

Don Stewart dons at galois.com
Sat May 2 22:08:24 CEST 2009


Agda is now natively packaged for Arch:

    http://aur.archlinux.org/packages.php?ID=26144

To install it:

    $ yaourt agda-executable
    
Enjoy!

    $ agda -I
                     _        ______
       ____         | |      |_ __ _|
      / __ \        | |       | || |
     | |__| |___  __| | ___   | || |
     |  __  / _ \/ _  |/ __\  | || |   Agda 2 Interactive
     | |  |/ /_\ \/_| / /_| \ | || |
     |_|  |\___  /____\_____/|______|  Type :? for help.
            __/ /
            \__/


-- Don


More information about the Agda mailing list