[ Kaynak: coq ]
Paket: coqide (8.12.0-3 ve diğerleri)
coqide için bağlantılar
Debian Kaynakları:
- Hata Raporları
- Developer Information
- Debian Değişim Günlüğü
- Telif Hakkı Dosyası
- Debian Yama Takipçisi
coq Kaynak Paketini İndir:
Geliştiriciler:
- Debian OCaml Maintainers (QA Sayfası, Posta Arşivi)
- Benjamin Barenblat (QA Sayfası)
- Ralf Treinen (QA Sayfası)
- Stéphane Glondu (QA Sayfası)
- Enrico Tassi (QA Sayfası)
Dış Kaynaklar:
- Ana Sayfa [coq.inria.fr]
Benzer paketler:
proof assistant for higher-order logic (gtk interface)
Coq is a proof assistant for higher-order logic, which allows the development of computer programs consistent with their formal specification. It is developed using Objective Caml and Camlp5.
This package provides CoqIde, a graphical user interface for developing proofs.
coqide ile İlgili Diğer Paketler
|
|
|
|
-
- dep: coq (= 8.12.0-3+b3)
- proof assistant for higher-order logic (toplevel and compiler)
-
- dep: libc6 (>= 2.29) [armel, mips64el, mipsel değil]
- GNU C Library: Shared libraries
ayrıca şunun tarafından sağlanan bir sanal paket libc6-udeb
-
- dep: libcairo2 (>= 1.12.0) [armel, mips64el, mipsel değil]
- Cairo 2D vector graphics library
-
- dep: libfontconfig1 (>= 2.12.6) [armel, mips64el, mipsel değil]
- generic font configuration library - runtime
-
- dep: libfreetype6 (>= 2.2.1) [armel, mips64el, mipsel değil]
- FreeType 2 font engine, shared library files
-
- dep: libgdk-pixbuf-2.0-0 (>= 2.22.0) [armel, mips64el, mipsel değil]
- GDK Pixbuf library
- ya da libgdk-pixbuf2.0-0 (>= 2.22.0)
- GDK Pixbuf library (transitional package)
-
- dep: libglib2.0-0 (>= 2.35.9) [armel, mips64el, mipsel değil]
- GLib library of C routines
-
- dep: libgtk-3-0 (>= 3.1.4) [armel, mips64el, mipsel değil]
- GTK graphical user interface library
-
- dep: libgtksourceview-3.0-1 (>= 2.91.4) [armel, mips64el, mipsel değil]
- shared libraries for the GTK+ syntax highlighting widget
-
- dep: libpango-1.0-0 (>= 1.14.0) [armel, mips64el, mipsel değil]
- Layout and rendering of internationalized text
coqide indir
Mimari | Sürüm | Paket Boyutu | Kurulu Boyut | Dosyalar |
---|---|---|---|---|
amd64 | 8.12.0-3+b3 | 1.835,2 kB | 9.275,0 kB | [dosya listesi] |
arm64 | 8.12.0-3+b3 | 2.119,7 kB | 10.649,0 kB | [dosya listesi] |
armel | 8.12.0-3+b3 | 45,7 kB | 111,0 kB | [dosya listesi] |
armhf | 8.12.0-3+b3 | 1.696,1 kB | 6.255,0 kB | [dosya listesi] |
i386 | 8.12.0-3+b3 | 1.682,6 kB | 7.257,0 kB | [dosya listesi] |
mips64el | 8.12.0-3+b3 | 45,6 kB | 111,0 kB | [dosya listesi] |
mipsel | 8.12.0-3+b3 | 45,7 kB | 111,0 kB | [dosya listesi] |
ppc64el | 8.12.0-3+b3 | 1.912,5 kB | 9.983,0 kB | [dosya listesi] |