Skip to content
Sections
>> Trisquel >> パッケージ >> etiona >> ソース >> devel >> coq
etiona  ] [  nabia  ] [  aramo  ]

ソースパッケージ: coq (8.6-5build1)

coq に関するリンク

Trisquel の資源:

メンテナ:

Original Maintainers:

外部の資源:

以下のバイナリパッケージがこのソースパッケージからビルドされています。
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 (>= 9)
    helper programs for debian/rules
  • adep: dh-ocaml (>= 0.9.5~)
    helper tools for maintaining OCaml-related Debian packages
  • adep: ocaml-nox (>= 4)
    ML implementation with a class-based object system (no X)
  • adep: ocaml-best-compilers
    パッケージは利用できません
  • adep: ocaml-findlib (>= 1.4)
    management tool for OCaml libraries
  • 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: liblablgtksourceview2-ocaml-dev
    OCaml bindings for libgtksourceview2, a source editor GTK+ widget
  • adep: texlive-latex-extra
    TeX Live: LaTeX additional packages
  • adep: hevea (>= 1.10-7)
    translates from LaTeX to HTML, info, or text

Download coq

ファイルサイズ (単位: kB)MD5 チェックサム
coq_8.6-5build1.dsc 2.3 kB 505fd2781d123ed6b5ebcd707cbda6f2
coq_8.6.orig.tar.gz 4,891.2 kB 6449ee951a4ed1c7e03adbdadf36e516
coq_8.6-5build1.debian.tar.xz 21.4 kB 246d0f061fef9ac38c5fac8b87506636
Debian パッケージソースリポジトリ (VCS: Git)
https://anonscm.debian.org/git/pkg-ocaml-maint/packages/coq.git
Debian パッケージソースリポジトリ (ブラウザで表示可能)
https://anonscm.debian.org/git/pkg-ocaml-maint/packages/coq.git