Skip to content
This repository was archived by the owner on Nov 12, 2025. It is now read-only.

Idris on Arch

Jump to bottom
Felix Yan edited this page Jan 21, 2016 · 1 revision

Arch package

Idris has been packaged in the [community] repository. You can check the current packaged version here.

To install, run pacman -S idris.

Home

Unofficial FAQ

External Resources

Installation Instructions

Binary Packages

Tool Support

Community

Development

Clone this wiki locally