Paket: rocqide (9.1.0+dfsg-1)

Links für rocqide

Debian-Ressourcen:

Quellcode-Paket coq herunterladen:

Betreuer:

Debian OCaml Maintainers (QS-Seite, E-Mail-Archiv)
Benjamin Barenblat (QS-Seite)
Julien Puydt (QS-Seite)
Ralf Treinen (QS-Seite)
Stéphane Glondu (QS-Seite)

Externe Ressourcen:

Homepage [coq.inria.fr]

Experimentelles Paket

Warnung: Dieses Paket stammt aus der Experimental-Distribution. Dies bedeutet, dass es höchstwahrscheinlich instabil oder fehlerhaft ist und sogar Datenverlust verursachen kann. Bitte lesen Sie den Changelog und andere möglicherweise verfügbare Dokumentation, bevor Sie es benutzen.

proof assistant for higher-order logic (gtk interface)

Andere Pakete mit Bezug zu rocqide

hängt ab von

empfiehlt

schlägt vor

erweitert

dep: coq (= 9.1.0+dfsg-1)

Beweis-Assistent für Logik höherer Ordnung (Toplevel und Compiler)
dep: libc6 (>= 2.38)

GNU-C-Bibliothek: Laufzeitbibliotheken
auch ein virtuelles Paket, bereitgestellt durch libc6-udeb
dep: libcairo2 (>= 1.12.0)

2D-Vektorgrafikbibliothek Cairo
dep: libfontconfig1 (>= 2.12.6)

Generische Schriftkonfigurationsbibliothek - Laufzeit
dep: libfreetype6 (>= 2.2.1)

Schrift-Engine FreeType 2, Laufzeitbibliothek
dep: libgdk-pixbuf-2.0-0 (>= 2.22.0)

Bibliothek GDK-PixBuf
dep: libglib2.0-0t64 (>= 2.36.0)

GLib - Bibliothek von C-Routinen
dep: libgtk-3-0t64 (>= 3.11.5)

GTK - Bibliothek für grafische Benutzeroberflächen
dep: libgtksourceview-3.0-1 (>= 2.91.4)

Laufzeitbibliothek für das GTK+-Widget für Syntaxmarkierung
dep: libpango-1.0-0 (>= 1.14.0)

Gestaltung und Anzeige internationalisierten Textes

rocqide herunterladen

Download für alle verfügbaren Architekturen
Architektur	Paketgröße	Größe (installiert)	Dateien
amd64	1.885,7 kB	8.865,0 kB	[Liste der Dateien]
arm64	2.203,4 kB	10.685,0 kB	[Liste der Dateien]
ppc64el	1.932,4 kB	9.725,0 kB	[Liste der Dateien]
riscv64	1.952,7 kB	9.641,0 kB	[Liste der Dateien]
s390x	1.930,4 kB	10.225,0 kB	[Liste der Dateien]