Gentoo Packages

Search

Install

Install this package:

emerge -a sci-mathematics/agda

Package Information

Description:: A dependently typed functional programming language and proof assistant
Homepage:: https://wiki.portal.chalmers.se/agda/
License:: MIT

Versions

Version	EAPI	Keywords	Slot
2.8.0	8	~amd64	0/2.8.0
2.6.4.3	8	~amd64	0/2.6.4.3

Metadata

Maintainers

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

Upstream

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

Raw Metadata XML

<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 has a line exceeding 80 positions on line 16.
[Warning] Ebuild 2.8.0 has a line exceeding 80 positions on line 33.
[Warning] Ebuild 2.8.0 has a line exceeding 80 positions on line 39.
[Warning] Ebuild 2.8.0 has a line exceeding 80 positions on line 40.
[Warning] Ebuild 2.8.0 has a line exceeding 80 positions on line 42.
[Warning] Ebuild 2.8.0 has a line exceeding 80 positions on line 44.
[Warning] Ebuild 2.8.0 has a line exceeding 80 positions on line 45.
[Warning] Ebuild 2.8.0 has a line exceeding 80 positions on line 47.
[Warning] Ebuild 2.8.0 has a line exceeding 80 positions on line 48.
[Warning] Ebuild 2.8.0 has a line exceeding 80 positions on line 49.
[Warning] Ebuild 2.8.0 has a line exceeding 80 positions on line 50.
[Warning] Ebuild 2.8.0 has a line exceeding 80 positions on line 51.
[Warning] Ebuild 2.8.0 has a line exceeding 80 positions on line 52.
[Warning] Ebuild 2.8.0 has a line exceeding 80 positions on line 54.
[Warning] Ebuild 2.8.0 has a line exceeding 80 positions on line 55.
[Warning] Ebuild 2.8.0 has a line exceeding 80 positions on line 56.
[Warning] Ebuild 2.8.0 has a line exceeding 80 positions on line 57.
[Warning] Ebuild 2.8.0 has a line exceeding 80 positions on line 58.
[Warning] Ebuild 2.8.0 has a line exceeding 80 positions on line 59.
[Warning] Ebuild 2.8.0 has a line exceeding 80 positions on line 62.
[Warning] Ebuild 2.8.0 has a line exceeding 80 positions on line 63.
[Warning] Ebuild 2.8.0 has a line exceeding 80 positions on line 65.
[Warning] Ebuild 2.8.0 has a line exceeding 80 positions on line 68.
[Warning] Ebuild 2.8.0 has a line exceeding 80 positions on line 69.
[Warning] Ebuild 2.8.0 has a line exceeding 80 positions on line 70.
[Warning] Ebuild 2.8.0 has a line exceeding 80 positions on line 71.
[Warning] Ebuild 2.8.0 has a line exceeding 80 positions on line 72.
[Warning] Ebuild 2.8.0 has a line exceeding 80 positions on line 75.
[Warning] Ebuild 2.8.0 has a tab character outside of indentation on line 108.
[Warning] Ebuild 2.8.0 has a tab character outside of indentation on line 109.
[Warning] Ebuild 2.8.0 has a tab character outside of indentation on line 110.
[Warning] Ebuild 2.8.0 has a line exceeding 80 positions on line 133.
[Warning] Ebuild 2.8.0 has a line exceeding 80 positions on line 142.
[Warning] Ebuild 2.6.4.3 has a line exceeding 80 positions on line 26.
[Warning] Ebuild 2.6.4.3 has a line exceeding 80 positions on line 34.
[Warning] Ebuild 2.6.4.3 has a line exceeding 80 positions on line 35.
[Warning] Ebuild 2.6.4.3 has a line exceeding 80 positions on line 37.
[Warning] Ebuild 2.6.4.3 has a line exceeding 80 positions on line 39.
[Warning] Ebuild 2.6.4.3 has a line exceeding 80 positions on line 40.
[Warning] Ebuild 2.6.4.3 has a line exceeding 80 positions on line 42.
[Warning] Ebuild 2.6.4.3 has a line exceeding 80 positions on line 43.
[Warning] Ebuild 2.6.4.3 has a line exceeding 80 positions on line 45.
[Warning] Ebuild 2.6.4.3 has a line exceeding 80 positions on line 46.
[Warning] Ebuild 2.6.4.3 has a line exceeding 80 positions on line 47.
[Warning] Ebuild 2.6.4.3 has a line exceeding 80 positions on line 48.
[Warning] Ebuild 2.6.4.3 has a line exceeding 80 positions on line 49.
[Warning] Ebuild 2.6.4.3 has a line exceeding 80 positions on line 51.
[Warning] Ebuild 2.6.4.3 has a line exceeding 80 positions on line 53.
[Warning] Ebuild 2.6.4.3 has a line exceeding 80 positions on line 56.
[Warning] Ebuild 2.6.4.3 has a line exceeding 80 positions on line 57.
[Warning] Ebuild 2.6.4.3 has a line exceeding 80 positions on line 58.
[Warning] Ebuild 2.6.4.3 has a line exceeding 80 positions on line 60.
[Warning] Ebuild 2.6.4.3 has a tab character outside of indentation on line 99.
[Warning] Ebuild 2.6.4.3 has a tab character outside of indentation on line 100.
[Warning] Ebuild 2.6.4.3 has a tab character outside of indentation on line 101.
[Warning] Ebuild 2.6.4.3 has a line exceeding 80 positions on line 120.
[Warning] Ebuild 2.6.4.3 has a line exceeding 80 positions on line 129.
[Warning] Ebuild 2.6.4.3 has a line exceeding 80 positions on line 130.
[Warning] USE flag 'debug' in ebuild 2.8.0 is not documented in metadata.xml
[Warning] USE flag 'emacs' in ebuild 2.8.0 is not documented in metadata.xml
[Warning] USE flag 'debug' in ebuild 2.6.4.3 is not documented in metadata.xml
[Warning] USE flag 'emacs' in ebuild 2.6.4.3 is not documented in metadata.xml
[Error] Manifest entry for unused DIST file 'agda-2.6.4.3.tar.gz'
[Error] Manifest entry for unused DIST file 'agda-2.8.0-rev2.cabal'
[Error] Manifest entry for unused DIST file 'agda-2.8.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: [ 2.6.4.3, 2.8.0 ]

USE Flags

Manage flags for this package: euse -i <flag> -p sci-mathematics/agda | euse -E <flag> -p sci-mathematics/agda | euse -D <flag> -p sci-mathematics/agda

Flag	Description	2.8.0	2.6.4.3
cpphs	Use cpphs instead of cpp.	✗	✓
debug	Enable the extra internal checks. ⚠️	✓	✓
dump-core	Write GHC core output.	✓	✗
emacs	⚠️	✓	✓
enable-cluster-counting	Enable the --count-clusters flag. (If enable-cluster-counting is False, then the --count-clusters flag triggers an error message.)	✓	✓
optimise-heavily	Enable some expensive optimisations when compiling Agda.	⊕	✓
stdlib	Install the standard library.	⊕	⊕
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.	✓	✗

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

Type	File	Size	Versions

Unmatched Entries

Type	File	Size
DIST	agda-2.6.4.3.tar.gz	1869461 bytes
DIST	agda-2.8.0-rev2.cabal	34453 bytes
DIST	agda-2.8.0.tar.gz	1951997 bytes

sci-mathematics/agda (haskell)