Пакет: libcoq-coquelicot (3.4.3-1 и другие)

Ссылки для libcoq-coquelicot

• Отслеживание заплат eLxr

Исходный код coquelicot:

• [coquelicot_3.4.3-1.debian.tar.xz]
• [coquelicot_3.4.3-1.dsc]
• [coquelicot_3.4.3.orig.tar.bz2]

Сопровождающие:

• Debian OCaml Maintainers
• Julien Puydt

Внешние ресурсы:

• Сайт [coquelicot.saclay.inria.fr]

Подобные пакеты:

• libcoq-unimath
• libcoq-flocq
• libcoq-hott
• coq
• libcoq-core-ocaml
• coqide
• libcoq-serapi-ocaml
• libcoq-mathcomp-algebra
• libcoq-stdlib
• coq-serapi
• libcoq-serapi-ocaml-dev

Другие пакеты, относящиеся к libcoq-coquelicot

• dep: libcoq-mathcomp-ssreflect-08jv4 [amd64]

  виртуальный пакет, предоставляемый libcoq-mathcomp-ssreflect

• dep: libcoq-mathcomp-ssreflect-ga8c0 [arm64]

  виртуальный пакет, предоставляемый libcoq-mathcomp-ssreflect

Загрузка libcoq-coquelicot