[  etiona  ] [  nabia  ] [  aramo  ]

[ Pakiet źródłowy: coq  ]

Odnośniki dla coqide

Zasoby systemu Trisquel:

• Install using apturl
• Entry at directory.fsf.org
• Raporty o błędach
• Changelog
• Informacje nt. praw autorskich

Pobieranie pakietu źródłowego coq:

• [coq_8.15.0+dfsg-2.dsc]
• [coq_8.15.0+dfsg.orig.tar.xz]
• [coq_8.15.0+dfsg-2.debian.tar.xz]

Opiekun:

• Debian OCaml Maintainers (Archiwum e-mail)

Original Maintainers:

• Debian OCaml Maintainers (Archiwum e-mail)
• Benjamin Barenblat
• Julien Puydt
• Ralf Treinen
• Stéphane Glondu

Zasoby zewnętrzne:

• Strona internetowa [coq.inria.fr]

Podobne pakiety:

• libcoq-stdlib
• coq-theories
• libcoq-core-ocaml
• libcoq-ocaml
• libcoq-core-ocaml-dev
• libcoq-ocaml-dev
• libcoq-elpi-ocaml-dev
• libssreflect-coq
• libcoq-mathcomp
• libcoq-elpi-ocaml
• libcoq-mathcomp-character

Inne pakiety związane z coqide

wymaga

poleca

sugeruje

• dep: coq (= 8.15.0+dfsg-2)

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

• dep: libc6 (>= 2.35)

  GNU C Library: Shared libraries
  również pakiet wirtualny udostępniany przez 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-0 (>= 2.35.9)

  GLib library of C routines

• dep: libgtk-3-0 (>= 3.1.4)

  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

Pobieranie coqide

Pobierz dla wszystkich dostępnych architektur

Architektura	Rozmiar pakietu	Rozmiar po instalacji	Pliki
amd64	2 331,8 KiB	9796 KiB	[lista plików]
arm64	2 809,9 KiB	11212 KiB	[lista plików]
armhf	2 132,8 KiB	6544 KiB	[lista plików]
ppc64el	2 485,5 KiB	10640 KiB	[lista plików]