[ buster ] [ bullseye ] [ bookworm ] [ trixie ] [ sid ]

原始碼套件：coq（8.9.0-1）

coq 的相關連結

本原始碼套件構建了以下這些二進位制包：

adep: debhelper (>= 10)

helper programs for debian/rules
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-nox (>= 4.02.3)

ML implementation with a class-based object system (no X)
adep: ocaml-findlib (>= 1.4.1)

management tool for OCaml libraries
adep: camlp5 (>= 6.14)

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: libounit-ocaml-dev

Unit testing framework for OCaml
adep: python3

interactive high-level object-oriented language (default python3 version)
adep: rsync

fast, versatile, remote (and local) file-copying tool
adep: texlive-latex-extra

TeX Live: LaTeX additional packages
adep: hevea (>= 1.10-7)

translates from LaTeX to HTML, info, or text