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

ソースパッケージ: coq (8.15.0+dfsg-2)

coq に関するリンク

Trisquel の資源:

メンテナ:

Original Maintainers:

外部の資源:

以下のバイナリパッケージがこのソースパッケージからビルドされています。
coq
proof assistant for higher-order logic (toplevel and compiler)
coqide
proof assistant for higher-order logic (gtk interface)
libcoq-core-ocaml
runtime libraries for Coq
libcoq-core-ocaml-dev
development libraries and tools for Coq
libcoq-stdlib
proof assistant for higher-order logic (theories)

その他の coq 関連パッケージ

  • 構築依存
  • 構築依存 (アーキテクチャ非依存)
  • adep: bash (>= 5.0)
    GNU Bourne Again SHell
  • adep: debhelper-compat (= 13)
    パッケージは利用できません
  • adep: dh-exec
    Scripts to help with executable debhelper files
  • adep: dh-ocaml (>= 0.9.5~)
    helper tools for maintaining OCaml-related Debian packages
  • adep: dh-python
    Debian helper tools for packaging Python libraries and applications
  • adep: ocaml-dune
    composable build system for OCaml projects
  • adep: ocaml-nox (>= 4.05)
    transitional package for ocaml
  • adep: ocaml-native-compilers
    パッケージは利用できません
  • adep: ocaml-findlib (>= 1.8.0)
    management tool for OCaml libraries
  • adep: camlp5 (>= 6.14)
    Pre Processor Pretty Printer for OCaml - classical version
  • 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: libzarith-ocaml-dev
    arithmetic and logical operations over arbitrary-precision integers (dev)
  • adep: python3
    interactive high-level object-oriented language (default python3 version)
  • adep: rsync
    fast, versatile, remote (and local) file-copying tool
  • adep: tex-common
    common infrastructure for building and installing TeX

Download coq

ファイルサイズ (単位: kB)MD5 チェックサム
coq_8.15.0+dfsg-2.dsc 2.5 kB 8094265e3af1624176fa4ea2615d345d
coq_8.15.0+dfsg.orig.tar.xz 4,560.5 kB f6d50c68f8defba269e5bb26417c5a25
coq_8.15.0+dfsg-2.debian.tar.xz 38.7 kB 8d34c8d06b048f7bf8c5aa5bd5deb82b
Debian パッケージソースリポジトリ (VCS: Git)
https://salsa.debian.org/ocaml-team/coq.git
Debian パッケージソースリポジトリ (ブラウザで表示可能)
https://salsa.debian.org/ocaml-team/coq