Version: sci-mathematics/cvc3 2.4.1-r1:0/2.4.1

Depends On: dev-libs/gmp:0= isabelle? ( >=sci-mathematics/isabelle-2011.1-r1:= ) doc? ( app-doc/doxygen media-gfx/graphviz ) emacs? ( virtual/emacs )

USE Flags:doc emacs isabelle test zchaff

Version: sci-mathematics/cvc3 2.4.1:0/2.4.1

Depends On: dev-libs/gmp:0= isabelle? ( >=sci-mathematics/isabelle-2011.1-r1:= ) doc? ( app-doc/doxygen media-gfx/graphviz ) emacs? ( virtual/emacs )

USE Flags:doc emacs isabelle test zchaff

2.4.12.4.1-r1
"~amd64 ~x86""~amd64 ~x86"
comments powered by Disqus