| DEFINED_PHASES=compile configure install preinst prepare setup unpack |
| DEPEND=>=virtual/jdk-1.6 app-arch/unzip >=dev-java/java-config-2.2.0-r3 source? ( app-arch/zip ) |
| DESCRIPTION=a constraint solver for relational logic |
| EAPI=5 |
| HOMEPAGE=http://alloy.mit.edu/kodkod/index.html |
| IUSE=elibc_FreeBSD doc source |
| KEYWORDS=~amd64 ~x86 |
| LICENSE=MIT |
| RDEPEND=>=virtual/jre-1.6 >=dev-java/java-config-2.2.0-r3 source? ( app-arch/zip ) |
| SLOT=0/1.5.2 |
| SRC_URI=http://alloy.mit.edu/kodkod/1.5.2/kodkod-1.5.2.zip https://waf.googlecode.com/files/waf-1.7.16 |
| _eclasses_=eutils b83a2420b796f7c6eff682679d08fe25 java-pkg-2 b02dc1e46b3648e467b5fbdf7857cf28 java-utils-2 9a25f292ff66f8c2c00100ac0b15c54f multilib 165fc17c38d1b11dac2008280dab6e80 multiprocessing e32940a7b2a9992ad217eccddb84d548 python-any-r1 1c20f9b800324335a8e3b137363362e8 python-utils-r1 1797277ea0e7cee5c7de7ce74cf8acd8 toolchain-funcs 6198c04daba0e1307bd844df7d37f423 versionator 99ae9d758cbe7cfed19170e7d48f5a9c waf-utils c21174962af5ca8091b66f58612797ce |
| _md5_=1079328c4cfb38e5b811c60b43f80cec |
