Skip to content
Sections
>> Trisquel >> Paquets >> Résultats de la recherche de paquets

Chercher dans une suite spécifique : [aramo] [aramo-updates] [aramo-security] [aramo-backports] [nabia] [nabia-updates] [nabia-security] [nabia-backports] [etiona] [etiona-updates] [etiona-security] [etiona-backports]

Limit search to a specific architecture: [i386] [amd64] [armhf] [arm64] [ppc64el]

Chercher dans toutes les architectures

Certains résultats n'ont pas été affichés en raison des paramètres de recherche.

Vous avez recherché des paquets dont les noms contiennent prover9 dans toutes les suites, toutes les sections, et architecture(s) i386. 3 paquets correspondants trouvés.

Résultats exacts

Paquet prover9

  • etiona (math): theorem prover and countermodel generator
    0.0.200911a-2.1build1: i386

Autres résultats

Paquet prover9-doc

  • aramo (doc): documentation for Prover9 and associated programs
    0.0.200902a-2.1: all
  • nabia (doc): documentation for Prover9 and associated programs
    0.0.200902a-2: all
  • etiona (doc): documentation for Prover9 and associated programs
    0.0.200902a-2: all

Paquet prover9-mace4

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