[ bookworm ] [ trixie ] [ sid ]

Пакет исходного кода: coq-simple-io (1.8.0-2)

Ссылки для coq-simple-io

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

adep: coq

интерактивное программное средство доказательства теорем для логики высшего порядка (интерактивная среда и компилятор)
adep: cppo

cpp for OCaml
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-ext-lib

Collection of theories and plugins for Coq
adep: libcoq-core-ocaml-dev

development libraries and tools for Coq
adep: libcoq-stdlib

интерактивное программное средство доказательства теорем логики высшего порядка (теории)
adep: ocamlbuild

Build tool for building OCaml libraries and programs

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