Services » Browse Packages » sci-mathematics »
agda
|
Legend:
- + - stable
- ~ - unstable
- M - hardmask
|
|
|
alpha |
amd64 |
arm |
hppa |
ia64 |
m68k |
mips |
ppc |
ppc64 |
s390 |
sh |
sparc |
x86 |
2.5.2-r1 |
diff
|
- |
~ |
- |
- |
- |
- |
- |
- |
- |
- |
- |
- |
~ |
2.4.2.5-r2 |
|
- |
~ |
- |
- |
- |
- |
- |
- |
- |
- |
- |
- |
~ |
USE flags
- cpphs - Use cpphs instead of cpp.
- debug - Enable extra debug codepaths, like asserts and extra output. If you want to get meaningful backtraces see https://wiki.gentoo.org/wiki/Project:Quality_Assurance/Backtraces
- doc - Add extra documentation (API, Javadoc, etc). It is recommended to enable per package instead of globally
- emacs - Add support for GNU Emacs
- hscolour - Include coloured haskell sources to generated documentation (dev-haskell/hscolour)
- profile - Add support for software performance analysis (will likely vary from ebuild to ebuild)
- stdlib - Install the standard library.
- uhc - Add support for the uhc backend.
Also available in:
Atom