Arch Linux / community / idris

Versions

Manuals for version 1.3.2-36