Gentoo Packages

Search

Install

Install this package:

emerge -a dev-lang/idris2

If the package is masked, you can unmask it using the autounmask tool or standard emerge options:

autounmask dev-lang/idris2

Or alternatively:

emerge --autounmask-write -a dev-lang/idris2

Package Information

Description:

Purely functional programming language with first class types

Homepage:

https://idris-lang.org/

License:

BSD

Versions

Metadata

No metadata available.

Lint Warnings

• [Warning] USE flag 'chez' in ebuild 0.8.0 is not documented in metadata.xml
• [Warning] USE flag 'doc' in ebuild 0.8.0 is not documented in metadata.xml
• [Warning] USE flag 'minimal' in ebuild 0.8.0 is not documented in metadata.xml
• [Warning] USE flag 'racket' in ebuild 0.8.0 is not documented in metadata.xml
• [Warning] USE flag 'test-full' in ebuild 0.8.0 is not documented in metadata.xml
• [Error] Missing md5-cache for ebuild idris2-0.8.0
• [Error] Invalid or missing metadata.xml: open dev-lang/idris2/metadata.xml: no such file or directory

USE Flags

Manage flags for this package: euse -i <flag> -p dev-lang/idris2 | euse -E <flag> -p dev-lang/idris2 | euse -D <flag> -p dev-lang/idris2

Manifest