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 minisat dans toutes les suites, toutes les sections, et architecture(s) i386. 3 paquets correspondants trouvés.

Résultats exacts

Paquet minisat

  • etiona (science): Fast and lightweight SAT solver
    1:2.2.1-5build1: i386

Autres résultats

Paquet minisat+

  • etiona (science): solver for pseudo-Boolean constraints
    1.0-4: i386

Paquet minisat2

  • aramo: Paquet virtuel
    fourni par : minisat
  • nabia: Paquet virtuel
    fourni par : minisat
  • etiona (science): Transitional package for minisat
    1:2.2.1-5build1: i386
    également fourni par : minisat