[ bullseye ] [ bookworm ] [ trixie ] [ forky ] [ sid ] [ experimental ]

源码包：coq（9.1.0+dfsg-1）

coq 的相关链接

警告：这个软件包来自于 experimental 发行版。这表示它很有可能表现出不稳定或者出现 bug ，甚至是导致资料损失。请务必在使用之前查阅 changelog 以及其他潜在的文档。

本源码包构建了以下这些二进制包：

adep: debhelper-compat (= 13)

软件包暂时不可用
adep: dh-coq

debhelper tool for Coq-related Debian packages
adep: dh-ocaml

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

ML language implementation with a class-based object system
adep: ocaml-native-compilers

软件包暂时不可用
adep: ocaml-findlib (>= 1.8.0)

management tool for OCaml libraries
adep: libfindlib-ocaml-dev

library for managing OCaml libraries (development files)
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

交互式高级面向对象语言（默认 python3 版本）
adep: rsync

快速、多用途、远程（及本地）文件复制工具
adep: tex-common

用于构建和安装 TeX 的通用基础架构