[ noble ] [ questing ] [ resolute ] [ stonking ]

Пакет исходного кода: coqeal (2.1.0-1build3) [universe]

Ссылки для coqeal

Please consider filing a bug or asking a question via Launchpad before contacting the maintainer directly.

It should generally not be necessary for users to contact the original maintainer.

Из этого пакета исходного кода собираются следующие двоичные пакеты:

adep: coq (>= 1.17)

proof assistant for higher-order logic (toplevel and compiler)
adep: debhelper-compat (= 13)

Пакет недоступен
adep: dh-coq

debhelper tool for Coq-related Debian packages
adep: dh-ocaml

helper tools for maintaining OCaml-related Debian packages
adep: libcoq-bignums

Coq library for big numbers
adep: libcoq-mathcomp-algebra

Mathematical Components library for Coq (algebra)
adep: libcoq-mathcomp-multinomials (>= 1.6.0)

Multivariate polynomials for Mathematical Components
adep: libcoq-mathcomp-real-closed

Real closed fields for Mathematical Components
adep: libcoq-core-ocaml-dev

development libraries and tools for Coq
adep: libcoq-paramcoq

Coq plugin to generate parametricity statements
adep: libcoq-stdlib

proof assistant for higher-order logic (theories)

Репозиторий пакетов исходного кода Debian (VCS: Git): https://salsa.debian.org/ocaml-team/coqeal.git
Репозиторий пакетов исходного кода Debian (доступен просмотр): https://salsa.debian.org/ocaml-team/coqeal