calculate
/
gentoo-overlay
6
0
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 'a01fd0ece5'
${ 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 2824df7f5dc9f47aee293af8a6b517ed multilib ded93e450747134a079e647d888aa80b toolchain-funcs 69a2016af67775a812f4c03ba4b0e03e user d0a4d0735a6c0183d707ca919bd72f28 versionator 6601b4c5b3f019a993db59a50e1854e4
_md5_=9deb519d57591d2528dfb4ba694d848f
Reference in new issue View Git Blame Copy Permalink