[ bookworm ] [ trixie ] [ sid ]

Zdrojový balík: coq-interval (4.11.0-1)

Odkazy pre coq-interval

Nasledovné binárne balíky sú zostavované z tohto zdrojového balíka:

adep: coq

asistent dôkazov logiky vyššieho rádu (najvyššia úroveň a kompilátor)
adep: debhelper-compat (= 13)

Balík nie je dostupný
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-coquelicot

Coq library for real analysis
adep: libcoq-flocq

Floating-point arithmetic for Coq
adep: libcoq-mathcomp-ssreflect

Mathematical Components library for Coq (small scale reflection)
adep: libcoq-core-ocaml-dev

development libraries and tools for Coq
adep: libcoq-stdlib

asistent dôkazov logiky vyššieho rádu (teórie)
adep: ocaml-findlib

nástroj na správu knižníc OCaml

Úložisko zdrojových balíkov Debianu (VCS: Git): https://salsa.debian.org/ocaml-team/coq-interval.git
Úložisko zdrojových balíkov Debianu (možno prezerať): https://salsa.debian.org/ocaml-team/coq-interval