gpo.zugaina.org

Search Portage & Overlays:

sci-mathematics/kodkodi

A text front-end for the Kodkod Java library

Screenshots

  • kodkodi-1.5.2
    ~amd64 ~x86
    isabelle examples elibc_FreeBSD doc source elibc_FreeBSD

    View      Download      Browse     License: BSD   
    Overlay: gentoo (distro)