Source Package: coq (8.9.0-1)
Links for coq
Debian Resources:
Maintainers:
External Resources:
The following binary packages are built from this source package:
- coq
- assistente alle dimostrazioni per logiche di ordine superiore (toplevel e compilatore)
- coq-theories
- assistente alle dimostrazioni per logiche di ordine superiore (teorie)
- libcoq-ocaml
- librerie runtime per Coq
- libcoq-ocaml-dev
- librerie e strumenti di sviluppo per Coq
Other Packages Related to coq
-
- adep:
debhelper
(>= 10)
- programmi ausiliari per debian/rules
-
- adep:
dh-exec
- script per aiutare con file di debhelper eseguibili
-
- adep:
dh-ocaml
(>= 0.9.5~)
- strumenti ausiliari per mantenere pacchetti Debian relativi a OCaml
-
- adep:
dh-python
- strumenti Debian helper per pacchettizzare librerie e applicazioni Python
-
- adep:
ocaml-nox
(>= 4.02.3)
- implementazione di ML con sistema a oggetti basato su classi (senza X)
-
- adep:
ocaml-findlib
(>= 1.4.1)
- strumento di gestione per librerie Ocaml
-
- adep:
camlp5
(>= 6.14)
- strumento di pre-elaborazione per belle stampe per OCaml - versione classica
-
- adep:
liblablgtk2-ocaml-dev
(>= 2.14)
- collegamenti OCaml alla versione 2 di Gtk+
-
- adep:
liblablgtksourceview2-ocaml-dev
- collegamenti OCaml a libgtksourceview2, un widget GTK+ per editor di sorgenti
-
- adep:
libounit-ocaml-dev
- infrastruttura per test d'unità per OCaml
-
- adep:
python3
- linguaggio interattivo di alto livello orientato agli oggetti (versione python3 predefinita)
-
- adep:
rsync
- strumento veloce e versatile per la copia di file remoti (e locali)
-
- adep:
texlive-latex-extra
- TeX Live: pacchetti LaTeX aggiuntivi
-
- adep:
hevea
(>= 1.10-7)
- traduce da LaTeX in HTML, info o testo
