ソースパッケージ: coq (8.12.0-3)
coq に関するリンク
Debian の資源:
メンテナ:
- Debian OCaml Maintainers (QA ページ, メールアーカイブ)
- Benjamin Barenblat (QA ページ)
- Ralf Treinen (QA ページ)
- Stéphane Glondu (QA ページ)
- Enrico Tassi (QA ページ)
外部の資源:
- ホームページ [coq.inria.fr]
以下のバイナリパッケージがこのソースパッケージからビルドされています。
- coq
- 高階論理証明アシスタント (トップレベルおよびコンパイラ)
- coq-theories
- 高階論理用の証明アシスタント (理論)
- coqide
- 高階論理用証明アシスタント (gtk インターフェイス)
- libcoq-ocaml
- runtime libraries for Coq
- libcoq-ocaml-dev
- development libraries and tools for Coq
その他の coq 関連パッケージ
|
|
-
- adep: debhelper-compat (= 13)
- パッケージは利用できません
-
- adep: dh-exec
- Scripts to help with executable debhelper files
-
- adep: dh-ocaml (>= 0.9.5~)
- OCaml 関連の Debian パッケージ保全用ヘルパーツール
-
- adep: dh-python
- Python のライブラリやアプリケーションのパッケージ作業用 Debian ヘルパーツール
-
- adep: ocaml-nox (>= 4.05)
- クラスベースのオブジェクトシステムを持った ML 言語の実装
-
- adep: ocaml-findlib (>= 1.8.0)
- management tool for OCaml libraries
-
- adep: camlp5 (>= 6.14)
- OCamlのプリプロセッサ・プリティプリンタ - 古典的なバージョン
-
- adep: liblablgtk3-ocaml-dev
- OCaml bindings to Gtk+ version 3 (development files)
-
- adep: liblablgtksourceview3-ocaml-dev (>= 3.0~beta8)
- OCaml bindings for libgtksourceview3 (development files)
-
- adep: libnum-ocaml-dev
- library for arbitrary-precision and rational arithmetic (development)
-
- adep: libounit-ocaml-dev
- Unit testing framework for OCaml
-
- adep: python3
- 対話式の高レベルオブジェクト指向言語 (デフォルト python3 バージョン)
-
- adep: rsync
- 高速で多目的なリモート (兼ローカル) ファイル複製ツール
-
- adep: tex-common
- TeX の構築およびインストールのための共通基盤
Download coq
| ファイル | サイズ (単位: kB) | MD5 チェックサム |
|---|---|---|
| coq_8.12.0-3.dsc | 2.4 kB | 74fa59ff625160361d54e4f008bbd61b |
| coq_8.12.0.orig.tar.gz | 5,867.4 kB | fb63dc40943c353977fe4da5f0e88002 |
| coq_8.12.0-3.debian.tar.xz | 36.9 kB | 3957663116163b8bae95288b66e400bb |
- Debian パッケージソースリポジトリ (VCS: Git)
- https://salsa.debian.org/ocaml-team/coq.git
- Debian パッケージソースリポジトリ (ブラウザで表示可能)
- https://salsa.debian.org/ocaml-team/coq