[ 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