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

源码包：hol-light（20190729-4）

hol-light 的相关链接

Debian 的资源：

维护小组：

外部的资源：

主页 [www.cl.cam.ac.uk]

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

hol-light: HOL Light theorem prover

其他与 hol-light 有关的软件包

构建架构特定包依赖

构建架构独立包依赖

adep: debhelper-compat (= 12)

软件包暂时不可用
adep: camlp5 (>= 7.11)

Pre Processor Pretty Printer for OCaml - classical version
adep: ocaml-base-nox

Runtime system for OCaml bytecode executables (no X)
adep: libnum-ocaml-dev

library for arbitrary-precision and rational arithmetic (development)
adep: dh-ocaml

helper tools for maintaining OCaml-related Debian packages

Download hol-light

文件	大小（单位：kB）	MD5 校验码
hol-light_20190729-4.dsc	1.7 kB	9a9ef895c981250471c6c524143c7d54
hol-light_20190729.orig.tar.gz	6,796.4 kB	9a8813a63d883e10c5b52c36b93ee9b0
hol-light_20190729-4.debian.tar.xz	10.8 kB	54f705b5981178d7b552fa0588e0bd2c

Debian 软件包源码仓库（VCS：Git）: https://salsa.debian.org/ocaml-team/hol-light.git
Debian 软件包源码仓库（可在线浏览）: https://salsa.debian.org/ocaml-team/hol-light