gpo.zugaina.org

Search Portage & Overlays:

dev-racket/k

k theorem prover

Screenshots

Reverse Dependencies

dev-racket/k
dev-racket/k-doc
dev-racket/k-example
dev-racket/k-lib
dev-racket/k-test
Reverse dependancies are sometimes conditional based on your USE flags, Ebuild version and sometimes other packages. please keep this in mind.