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

Résultats exacts

Paquet coq

  • etiona (math): proof assistant for higher-order logic (toplevel and compiler)
    8.6-5build1: i386

Autres résultats

Paquet coq-theories

  • etiona (math): proof assistant for higher-order logic (theories)
    8.6-5build1: i386

Paquet coqide

  • etiona (math): proof assistant for higher-order logic (gtk interface)
    8.6-5build1: i386

Paquet coquelicot

  • etiona (web): "one-click" file sharing web application with a focus on users' privacy
    0.9.6-1ubuntu1: all

Paquet libaac-tactics-coq

  • aramo (math): Coq tactics for reasoning modulo AC (theories)
    8.15.0-1: all
  • nabia (math): Coq tactics for reasoning modulo AC (theories)
    8.11.0-1: all
  • etiona (math): Coq tactics for reasoning modulo AC (theories)
    8.6.1-2: all

Paquet libcoq-mathcomp

  • aramo (math): Mathematical Components library for Coq (all)
    1.14.0-7: all

Paquet libcoq-mathcomp-algebra

  • aramo (math): Mathematical Components library for Coq (algebra)
    1.14.0-7: all

Paquet libcoq-mathcomp-character

  • aramo (math): Mathematical Components library for Coq (character)
    1.14.0-7: all

Paquet libcoq-mathcomp-field

  • aramo (math): Mathematical Components library for Coq (field)
    1.14.0-7: all

Paquet libcoq-mathcomp-fingroup

  • aramo (math): Mathematical Components library for Coq (finite groups)
    1.14.0-7: all

Paquet libcoq-mathcomp-solvable

  • aramo (math): Mathematical Components library for Coq (finite groups II)
    1.14.0-7: all

Paquet libcoq-mathcomp-ssreflect

  • aramo (math): Mathematical Components library for Coq (small scale reflection)
    1.14.0-7: all

Paquet libcoq-ocaml

  • etiona (ocaml): runtime libraries for Coq
    8.6-5build1: i386

Paquet libcoq-ocaml-dev

  • etiona (libdevel): development libraries and tools for Coq
    8.6-5build1: i386

Paquet libfloat-coq

  • nabia (math): Coq library on floating-point arithmetic
    1:8.10.0-1: all

Paquet libssreflect-coq

  • aramo: Paquet virtuel
    fourni par : libcoq-mathcomp
  • nabia (math): Mathematical Components library for Coq
    1.10.0+dfsg-2: all
  • etiona (math): small scale reflection library for Coq (theories)
    1.6.1-3build1: all

Paquet libwhy-coq

  • etiona (libdevel): Why library for Coq
    2.39-2build1: all

Paquet pycoqc

  • aramo (science): computes metrics and generates Interactive QC plots
    2.5.2+dfsg-3: all

Paquet why3-coq

  • etiona (math): Coq support for the why3 verification platform
    0.88.3-1ubuntu4: i386