Services » Browse Packages » dev-lang »
maude
| Description: | High-level specification language for equational and logic programming |
|---|
| Homepage: | |
|---|
| Location: | Portage |
|---|
|
Legend:
- + - stable
- ~ - unstable
- M - hardmask
|
|
|
alpha |
amd64 |
arm |
hppa |
ia64 |
m68k |
mips |
ppc |
ppc64 |
s390 |
sh |
sparc |
x86 |
| 3.1-r1 |
|
- |
~ |
- |
- |
- |
- |
- |
~ |
- |
- |
- |
- |
~ |
USE flags
- doc - Add extra documentation (API, Javadoc, etc). It is recommended to enable per package instead of globally
- examples - Install examples, usually source code
Also available in:
Atom
