Paketti: rocqide (9.1.0+dfsg-1)

Links for rocqide

Debian-palvelut:

Imuroi lähdekoodipaketti coq:

Ylläpitäjät:

External Resources:

Kotisivu [coq.inria.fr]

Samankaltaisia paketteja:

Kokeellinen paketti

Varoitus: Tämä paketti on kokeellisesta jakelusta. Tämä tarkoittaa, että se on luultavasti epävakaa tai buginen, ja voi aiheuttaa jopa tiedonhäviötä. Kannattaa ehdottomasti tutustua muutoslokiin ja muihin mahdollisiin ohjeisiin ennen käyttöönottoa.

proof assistant for higher-order logic (gtk interface)

Muut pakettiin rocqide liittyvät paketit

depends

recommends

suggests

enhances

dep: coq (= 9.1.0+dfsg-1)

proof assistant for higher-order logic (toplevel and compiler)

dep: libc6 (>= 2.38)

GNU-C-kirjasto: jaetut kirjastot
myös näennäispaketti, jonka toteuttaa libc6-udeb

dep: libcairo2 (>= 1.12.0)

Cairo 2D vector graphics library

dep: libfontconfig1 (>= 2.12.6)

generic font configuration library - runtime

dep: libfreetype6 (>= 2.2.1)

FreeType 2 font engine, shared library files

dep: libgdk-pixbuf-2.0-0 (>= 2.22.0)

GDK Pixbuf library

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

GLib library of C routines

dep: libgtk-3-0t64 (>= 3.11.5)

GTK graphical user interface library

dep: libgtksourceview-3.0-1 (>= 2.91.4)

shared libraries for the GTK+ syntax highlighting widget

dep: libpango-1.0-0 (>= 1.14.0)

Layout and rendering of internationalized text

Imuroi rocqide

Imurointi kaikille saataville arkkitehtuureille
Arkkitehtuuri Paketin koko Koko asennettuna Tiedostot

amd64 1,885.7 kt 8,865.0 kt [tiedostoluettelo]

arm64 2,203.4 kt 10,685.0 kt [tiedostoluettelo]

ppc64el 1,932.4 kt 9,725.0 kt [tiedostoluettelo]

riscv64 1,952.7 kt 9,641.0 kt [tiedostoluettelo]

s390x 1,930.4 kt 10,225.0 kt [tiedostoluettelo]

Arkkitehtuuri	Paketin koko	Koko asennettuna	Tiedostot
amd64	1,885.7 kt	8,865.0 kt	[tiedostoluettelo]
arm64	2,203.4 kt	10,685.0 kt	[tiedostoluettelo]
ppc64el	1,932.4 kt	9,725.0 kt	[tiedostoluettelo]
riscv64	1,952.7 kt	9,641.0 kt	[tiedostoluettelo]
s390x	1,930.4 kt	10,225.0 kt	[tiedostoluettelo]