Gentoo Packages

Search

Package Information

Description:

A dependently typed functional programming language and proof assistant

Homepage:

https://wiki.portal.chalmers.se/agda/

License:

MIT

Versions

Metadata

Maintainers

• Gentoo Haskell (haskell@gentoo.org) - Type: project

Upstream

• Remote IDs:
  • hackage: Agda
  • github: agda/agda

<pkgmetadata>
	<maintainer type="project">
		<email>haskell@gentoo.org</email>
		<name>Gentoo Haskell</name>
	</maintainer>
	<use>
		<flag name="cpphs">Use cpphs instead of cpp.</flag>
		<flag name="dump-core">Write GHC core output.</flag>
		<flag name="enable-cluster-counting">Enable the --count-clusters flag. (If enable-cluster-counting is
False, then the --count-clusters flag triggers an error message.)</flag>
		<flag name="optimise-heavily">Enable some expensive optimisations when compiling Agda.</flag>
		<flag name="stdlib">Install the standard library.</flag>
		<flag name="xdg-data-home">Install data files under $XDG_DATA_HOME\/agda\/$AGDA_VERSION by default
instead of the installation location defined by Cabal.
This should not be enabled in declarative build environments like Nix or Guix.</flag>
	</use>
	<upstream>
		<remote-id type="hackage">Agda</remote-id>
		<remote-id type="github">agda/agda</remote-id>
	</upstream>
</pkgmetadata>

Lint Warnings

• [Warning] Ebuild 2.8.0 uses IUSE flag 'emacs' which is not documented in metadata.xml. Add the flag to metadata.xml <use> section.
• [Warning] Ebuild 2.6.4.3 uses IUSE flag 'emacs' which is not documented in metadata.xml. Add the flag to metadata.xml <use> section.
• [Warning] Missing md5-cache for version 2.8.0. Run 'ebuild <ebuild_file> manifest' or 'egencache' to generate it.
• [Warning] Missing md5-cache for version 2.6.4.3. Run 'ebuild <ebuild_file> manifest' or 'egencache' to generate it.

USE Flags

Files

• 50agda2-gentoo.el
• agda-2.6.4.3-remove-emacs.patch
• agda-2.8.0-add-emacs-flag.patch
• agda-2.8.0-remove-emacs.patch

Manifest