Gentoo Packages

Search

Install

Install this package:

emerge -a app-emacs/idris-mode

Package Information

Description:

This is an emacs mode for editing Idris code. This mode was original designed to work with version 1 of the language through an IDE-Protocol. Idris2 uses the next iteration of the same protocol. Idris-mode tries to maintain compatibility with both protocol versions, however, not all the features from the IDE-Protocol have been realised in Idris2. When using idris-mode with Idris2 your experience might be a bit clunky.

Homepage:

https://github.com/idris-hackers/idris-mode

License:

GPL-3+

Versions

Metadata

Description

• This is an emacs mode for editing Idris code. This mode was original designed to work with version 1 of the language through an IDE-Protocol. Idris2 uses the next iteration of the same protocol. Idris-mode tries to maintain compatibility with both protocol versions, however, not all the features from the IDE-Protocol have been realised in Idris2. When using idris-mode with Idris2 your experience might be a bit clunky.

Upstream

• Remote IDs:
  • github: idris-hackers/idris-mode

<pkgmetadata>
	<longdescription lang="en">
    This is an emacs mode for editing Idris code.

    This mode was original designed to work with version 1 of the
    language through an IDE-Protocol. Idris2 uses the next iteration
    of the same protocol. Idris-mode tries to maintain compatibility
    with both protocol versions, however, not all the features from
    the IDE-Protocol have been realised in Idris2. When using
    idris-mode with Idris2 your experience might be a bit clunky.
  </longdescription>
	<stabilize-allarches></stabilize-allarches>
	<upstream>
		<remote-id type="github">idris-hackers/idris-mode</remote-id>
	</upstream>
</pkgmetadata>

Lint Warnings

• [Warning] Ebuild 9999 has a line exceeding 80 positions on line 12.
• [Warning] Ebuild 9999 has a line exceeding 80 positions on line 16.
• [Warning] Ebuild 1.0 has a line exceeding 80 positions on line 12.
• [Warning] Ebuild 1.0 has a line exceeding 80 positions on line 16.
• [Error] Manifest entry for unused DIST file 'idris-mode-1.0.tar.gz'
• [Error] Repository is missing a repo-name in metadata/layout.conf or profiles/repo_name
• [Notice] Package has only unstable keywords for arch(es): [ amd64 ], all versions are unstable: [ 1.0 ]
• [Error] Package has no maintainers defined in metadata.xml
• [Error] Package has no maintainers but is missing the <!-- maintainer-needed --> comment in metadata.xml

Files

• 50idris-mode-gentoo.el

Manifest