Pakiet: libcoq-ocaml-dev (8.6-5build1)

Odnośniki dla libcoq-ocaml-dev

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.6-5build1.dsc]
• [coq_8.6.orig.tar.gz]
• [coq_8.6-5build1.debian.tar.xz]

Opiekun:

• Debian OCaml Maintainers (Archiwum e-mail)

Original Maintainers:

• Debian OCaml Maintainers (Archiwum e-mail)
• Ralf Treinen
• Samuel Mimram
• Stéphane Glondu
• Enrico Tassi

Zasoby zewnętrzne:

• Strona internetowa [coq.inria.fr]

Podobne pakiety:

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

Inne pakiety związane z libcoq-ocaml-dev

• dep: camlp5-bskq5 [i386]

  pakiet wirtualny udostępniany przez camlp5

• dep: camlp5-ps9p6 [amd64]

  pakiet wirtualny udostępniany przez camlp5

• dep: coq (= 8.6-5build1)

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

• dep: libc6 (>= 2.17)

  GNU C Library: Shared libraries
  również pakiet wirtualny udostępniany przez libc6-udeb

• dep: libcoq-ocaml-6pjp3 [i386]

  pakiet wirtualny udostępniany przez libcoq-ocaml

• dep: libcoq-ocaml-ywd98 [amd64]

  pakiet wirtualny udostępniany przez libcoq-ocaml

• dep: liblablgtk2-ocaml-dev-e0615 [i386]

  pakiet wirtualny udostępniany przez liblablgtk2-ocaml-dev

• dep: liblablgtk2-ocaml-dev-il3k6 [amd64]

  pakiet wirtualny udostępniany przez liblablgtk2-ocaml-dev

• dep: liblablgtksourceview2-ocaml-dev-l26k1 [i386]

  pakiet wirtualny udostępniany przez liblablgtksourceview2-ocaml-dev

• dep: liblablgtksourceview2-ocaml-dev-rynx6 [amd64]

  pakiet wirtualny udostępniany przez liblablgtksourceview2-ocaml-dev

• dep: ocaml-nox-4.05.0

  pakiet wirtualny udostępniany przez ocaml-nox

Pobieranie libcoq-ocaml-dev