| DEFINED_PHASES=compile install | |
| DESCRIPTION=BuDDY - A Binary Decision Diagram Package | |
| HOMEPAGE=http://www.itu.dk/research/buddy/ | |
| KEYWORDS=x86 ~ppc | |
| LICENSE=as-is | |
| SLOT=0 | |
| SRC_URI=http://www.itu.dk/research/buddy/buddy22.tar.gz | |
| _md5_=8b555a9a90bb5c28d017f708b5414a17 |