Skip to content
Sections
>> Trisquel >> Pakiety >> Wyniki wyszukiwania pakietu

Niektóre wyniki nie zostały wyświetlone w związku z parametrami wyszukiwania.

Szukano pakietów których nazwy zawierają prooftree w wszystkich gałęziach, wszystkich sekcjach i architekturze: amd64. Liczba pasujących pakietów: 1.

Dokładne dopasowania

Pakiet prooftree

  • aramo (science): proof-tree visualization for Proof General
    0.13-2build4: amd64
  • nabia (science): proof-tree visualization for Proof General
    0.13-1build9: amd64
  • etiona (science): proof-tree visualization for Proof General
    0.13-1build3: amd64