Skip to content
Sections
>> Trisquel >> Balíky >> Výsledky hľadania balíkov

Hľadali ste balíky ktorých názvy obsahujú prover9-mace4 v všetky sady, všetky sekcie a architektúry ppc64el. Našlo sa 1 zodpovedajúcich balíkov.

Presné výsledky

Balík prover9-mace4

  • etiona (math): GUI for Prover9 and Mace4
    0.5.dfsg-3: all