Section:
Depends : gmp, openjdk, perl-json, perl-term-readline-gnu, perl-xml-libxml, perl-xml-libxslt, perl-xml-writer, ppl, singular
Depends (build) : apache-ant, bliss-graphs, boost, cddlib, lrs, normaliz
Links: Changelog, Reverse dependency, QA Page, Report issues
Upstream: source (tarball) 3.3