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]

Chercher dans toutes les suites

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

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 hol88 dans version(s) etiona, toutes les sections, et toutes les architectures. 9 paquets correspondants trouvés.

Résultats exacts

Paquet hol88

  • etiona (math): Higher Order Logic, system image
    2.02.19940316-35: amd64 i386

Autres résultats

Paquet hol88-contrib-help

  • etiona (math): Higher Order Logic, user contributed online help files
    2.02.19940316-35: all

Paquet hol88-contrib-source

  • etiona (math): Higher Order Logic, user contributed source
    2.02.19940316-35: all

Paquet hol88-doc

  • etiona (math): Documentation for hol88
    2.02.19940316-35: all

Paquet hol88-help

  • etiona (math): Higher Order Logic, online help files
    2.02.19940316-35: all

Paquet hol88-library

  • etiona (math): Higher Order Logic, binary library modules
    2.02.19940316-35: amd64 i386

Paquet hol88-library-help

  • etiona (math): Higher Order Logic, library online help files
    2.02.19940316-35: all

Paquet hol88-library-source

  • etiona (math): Higher Order Logic, library source files
    2.02.19940316-35: all

Paquet hol88-source

  • etiona (math): Higher Order Logic, source files
    2.02.19940316-35: all