calculate
/
gentoo-overlay
7
1
Fork 0
Code Issues Pull Requests Releases Wiki Activity
You can not select more than 25 topics Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
Branches Tags
${ item.name }
Create tag ${ searchTerm }
Create branch ${ searchTerm }
from '4e427dc9d8'
${ noResults }
gentoo-overlay/metadata/md5-cache/dev-lang/maude-2.3.0

13 lines
713 B
Raw Blame History

DEFINED_PHASES=compile install unpack
DEPEND=sci-libs/buddy dev-libs/libtecla >=dev-libs/gmp-4.1.3 sys-devel/bison sys-devel/flex
DESCRIPTION=Maude - A high-level specification language
HOMEPAGE=http://maude.cs.uiuc.edu/
IUSE=doc
KEYWORDS=~amd64 ~ppc ~x86
LICENSE=GPL-2
RDEPEND=sci-libs/buddy dev-libs/libtecla >=dev-libs/gmp-4.1.3
SLOT=0
SRC_URI=http://maude.cs.uiuc.edu/download/current/Maude-2.3.tar.gz mirror://gentoo/maude-2.3.0-extras.tar.bz2
_eclasses_=eutils 63afaaed8aa819fdcb814c7cd39495a2 multilib 892e597faee02a5b94eb02ab512e7622 toolchain-funcs 7ffd28a8c7eea27218865352bfd3ab2f user d0a4d0735a6c0183d707ca919bd72f28 versionator 6601b4c5b3f019a993db59a50e1854e4
_md5_=9deb519d57591d2528dfb4ba694d848f
Reference in new issue View Git Blame Copy Permalink