Hľadať v konkrétnej sade: [aramo] [aramo-updates] [aramo-security] [aramo-backports] [nabia] [nabia-updates] [nabia-security] [nabia-backports] [etiona] [etiona-updates] [etiona-security] [etiona-backports]
Hľadať vo všetkých sadách
Limit search to a specific architecture: [i386] [amd64] [armhf] [arm64] [ppc64el]
Hľadať vo všetkých architektúrach
Niektoré výsledky neboli zobrazené kvôli parametrom vyhľadávania.
Hľadali ste balíky ktorých názvy obsahujú proofgeneral v sady aramo, všetky sekcie a architektúry ppc64el. Našlo sa 2 zodpovedajúcich balíkov.
Presné výsledky
Balík proofgeneral
- aramo (editors):
generic frontend for proof assistants
4.4.1~pre170114-1.2: all
Ostatné výsledky
Balík proofgeneral-doc
- aramo (doc):
generic frontend for proof assistants - documentation
4.4.1~pre170114-1.2: all