[ Source: coq ]
Package: coqide (8.12.0-3 and others)
Links for coqide
Debian Resources:
Download Source Package coq:
Maintainers:
- Debian OCaml Maintainers (QA Page, Mail Archive)
- Benjamin Barenblat (QA Page)
- Ralf Treinen (QA Page)
- Stéphane Glondu (QA Page)
- Enrico Tassi (QA Page)
External Resources:
- Homepage [coq.inria.fr]
Similar packages:
assistente alle dimostrazioni per logiche di ordine superiore (interfaccia gtk)
Coq è un assistente alle dimostrazioni per logiche di ordine superiore che permette lo sviluppo di programmi per computer coerenti con la loro specifica formale. È sviluppato con Objective Caml e Camlp5.
Questo pacchetto fornisce CoqIde, un'interfaccia utente grafica per sviluppare dimostrazioni.
Other Packages Related to coqide
|
|
|
|
-
- dep: coq (= 8.12.0-3+b3)
- assistente alle dimostrazioni per logiche di ordine superiore (toplevel e compilatore)
-
- dep: libc6 (>= 2.29)
- Libreria C GNU: librerie condivise
also a virtual package provided by libc6-udeb
-
- dep: libcairo2 (>= 1.12.0)
- libreria Cairo per grafica 2D vettoriale
-
- dep: libfontconfig1 (>= 2.12.6)
- libreria generica di configurazione di tipi di carattere - runtime
-
- dep: libfreetype6 (>= 2.2.1)
- motore per caratteri FreeType 2, libreria condivisa
-
- dep: libgdk-pixbuf-2.0-0 (>= 2.22.0)
- libreria GDK Pixbuf
- or libgdk-pixbuf2.0-0 (>= 2.22.0)
- libreria GDK Pixbuf (pacchetto di transizione)
-
- dep: libglib2.0-0 (>= 2.35.9)
- libreria GLib di routine in C
-
- dep: libgtk-3-0 (>= 3.1.4)
- libreria per interfacce utente grafiche GTK
-
- dep: libgtksourceview-3.0-1 (>= 2.91.4)
- librerie condivise per il widget GTK+ di evidenziazione della sintassi
-
- dep: libpango-1.0-0 (>= 1.14.0)
- impaginazione e rendering di testo internazionalizzato
Download coqide
| Architecture | Version | Package Size | Installed Size | Files |
|---|---|---|---|---|
| i386 | 8.12.0-3+b3 | 1,682.6 kB | 7,257.0 kB | [list of files] |