Pakiet: rocqide (9.1.0+dfsg-1)

Odnośniki dla rocqide

Zasoby systemu Debian:

Pobieranie pakietu źródłowego coq:

Opiekunowie:

Zasoby zewnętrzne:

Strona internetowa [coq.inria.fr]

Podobne pakiety:

Pakiet eksperymentalny

Ostrzeżenie: Pakiet pochodzi z dystrybucji eksperymentalnej. Oznacza to, że prawdopodobnie jest niestabilny lub zawiera błędy i może spowodować nawet utratę danych. Przed użyciem pakietu proszę koniecznie zapoznać się z dziennikiem zmian i inną dostępną dokumentacją.

proof assistant for higher-order logic (gtk interface)

Inne pakiety związane z rocqide

wymaga

poleca

sugeruje

enhances

dep: coq (= 9.1.0+dfsg-1)

Asystent udowadniania logiki wyższego rzędu (interfejs i kompilator)
dep: libc6 (>= 2.38)

Biblioteka GNU C: biblioteki współdzielone
również pakiet wirtualny udostępniany przez libc6-udeb
dep: libcairo2 (>= 1.12.0)

Cairo - biblioteka do dwuwymiarowej grafiki wektorowej
dep: libfontconfig1 (>= 2.12.6)

Ogólna bilioteka konfiuracji czcionek - uruchomieniowa
dep: libfreetype6 (>= 2.2.1)

Silnik czcionek FreeType 2, pliki biblioteki współdzielonej
dep: libgdk-pixbuf-2.0-0 (>= 2.22.0)

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

Glib, biblioteka funkcji języka C
dep: libgtk-3-0t64 (>= 3.11.5)

Biblioteka GTK do tworzenia graficznego interfejsu użytkownika
dep: libgtksourceview-3.0-1 (>= 2.91.4)

shared libraries for the GTK+ syntax highlighting widget
dep: libpango-1.0-0 (>= 1.14.0)

Rozmieszeczenie i rendering umiędzynarodowionego tekstu

Pobieranie rocqide

Pobierz dla wszystkich dostępnych architektur
Architektura	Rozmiar pakietu	Rozmiar po instalacji	Pliki
amd64	1 885,7 KiB	8 865,0 KiB	[lista plików]
arm64	2 203,4 KiB	10 685,0 KiB	[lista plików]
ppc64el	1 932,4 KiB	9 725,0 KiB	[lista plików]
riscv64	1 952,7 KiB	9 641,0 KiB	[lista plików]
s390x	1 930,4 KiB	10 225,0 KiB	[lista plików]