» Ubuntu » 套件 » precise (12.04LTS) » 原始碼 » devel » coq
lucid  ] [  precise  ] [  quantal  ] [  raring  ] [  saucy  ] [  trusty  ]

原始碼套件: coq (8.3.pl4+dfsg-1) [universe]

coq 的相關超連結

Ubuntu 的資源:

維護者:

Please consider filing a bug or asking a question via Launchpad before contacting the maintainer directly.

Original Maintainers (usually from Debian):

  • Debian OCaml Maintainers (郵件存檔)
  • Ralf Treinen
  • Samuel Mimram
  • Stéphane Glondu

It should generally not be necessary for users to contact the original maintainer.

外部的資源:

本原始碼套件構建了以下這些二進制套件:
coq
proof assistant for higher-order logic (toplevel and compiler)
coq-theories
proof assistant for higher-order logic (theories)
coqide
proof assistant for higher-order logic (gtk interface)
libcoq-ocaml
runtime libraries for Coq
libcoq-ocaml-dev
development libraries and tools for Coq

其他與 coq 有關的套件

  • 完整構建時刻依賴
  • 單獨構建時刻依賴
  • adep: debhelper (>= 7.2.11~)
    helper programs for debian/rules
  • adep: dh-ocaml (>= 0.9.5~)
    helper tools for maintaining OCaml-related Debian packages
  • adep: ocaml-nox (>= 3.11.1-3~)
    ML implementation with a class-based object system (no X)
  • adep: ocaml-best-compilers
    本虛擬套件由這些套件提供: ocaml-native-compilers
  • adep: camlp5 (>= 5.12-2~)
    Pre Processor Pretty Printer for OCaml - classical version
  • adep: liblablgtk2-ocaml-dev (>= 2.14)
    OCaml bindings to Gtk+ version 2
  • adep: texlive-latex-extra
    TeX Live: LaTeX supplementary packages
  • adep: hevea (>= 1.10-7)
    translates from LaTeX to HTML, info, or text

Download coq

文件大小(單位: kB)MD5 檢查碼
coq_8.3.pl4+dfsg-1.dsc 2.3 kB 3b78f5e7c02de417e996bf78c93fb5fe
coq_8.3.pl4+dfsg.orig.tar.gz 3,080.8 kB 8ac619e898d046d90cd0b7b821cbeeb5
coq_8.3.pl4+dfsg-1.debian.tar.gz 15.9 kB 24ff01227649a5f79b3064aeda26513d
Debian 套件原始碼倉庫(VCS: Git)
git://git.debian.org/git/pkg-ocaml-maint/packages/coq.git
Debian 套件原始碼倉庫(可在線瀏覽)
http://git.debian.org/?p=pkg-ocaml-maint/packages/coq.git