coq を名前に含むパッケージを、すべてのスイート、すべてのセクション、armhf アーキテクチャで検索しました。 22 個の一致するパッケージが見つかりました。

完全なヒット

coq パッケージ

• aramo (math): proof assistant for higher-order logic (toplevel and compiler)
  8.15.0+dfsg-2: armhf

その他のヒット

coq-hierarchy-builder パッケージ

• aramo (ocaml): build hierarchies of algebraic structures in Coq (tool)
  1.2.1-2: armhf

coqide パッケージ

• aramo (math): proof assistant for higher-order logic (gtk interface)
  8.15.0+dfsg-2: armhf

coquelicot パッケージ

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

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

libcoq-core-ocaml パッケージ

• aramo (ocaml): runtime libraries for Coq
  8.15.0+dfsg-2: armhf

libcoq-core-ocaml-dev パッケージ

• aramo (ocaml): development libraries and tools for Coq
  8.15.0+dfsg-2: armhf

libcoq-elpi-ocaml パッケージ

• aramo (ocaml): Coq plugin embedding Elpi (runtime)
  1.13.0-1: armhf

libcoq-elpi-ocaml-dev パッケージ

• aramo (ocaml): Coq plugin embedding Elpi (devel)
  1.13.0-1: armhf

libcoq-hierarchy-builder パッケージ

• aramo (ocaml): build hierarchies of algebraic structures in Coq (runtime files)
  1.2.1-2: armhf

libcoq-mathcomp パッケージ

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

libcoq-mathcomp-algebra パッケージ

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

libcoq-mathcomp-character パッケージ

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

libcoq-mathcomp-field パッケージ

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

libcoq-mathcomp-fingroup パッケージ

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

libcoq-mathcomp-solvable パッケージ

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

libcoq-mathcomp-ssreflect パッケージ

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

libcoq-stdlib パッケージ

• aramo (math): proof assistant for higher-order logic (theories)
  8.15.0+dfsg-2: armhf

libfloat-coq パッケージ

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

libssreflect-coq パッケージ

• aramo: 仮想パッケージ
  以下のパッケージによって提供されています: 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

libwhy-coq パッケージ

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

pycoqc パッケージ

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