[  etiona  ] [  nabia  ]

Връзки за hol-light

Ресурси за Trisquel:

• Доклади за грешки
• Changelog
• Авторски права
• Хранилище на изходен код (Git)

Отговорник:

• Ubuntu Developers (Пощенски архив)

Original Maintainers:

• Debian OCaml Maintainers (Пощенски архив)
• Hendrik Tews

Външни препратки:

• Начална страница [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

Файл	Големина (в кБ)	контролна сума MD5
hol-light_20190729-4build1.dsc	2,1 кБ	a775530990304a18cdf55580decfda14
hol-light_20190729.orig.tar.gz	6 796,4 кБ	9a8813a63d883e10c5b52c36b93ee9b0
hol-light_20190729-4build1.debian.tar.xz	10,9 кБ	fc8f087e27e8ecfc80e71d38d8d4c49a

Хранилище на изходния код на пакета (СКП: Git)

https://salsa.debian.org/ocaml-team/hol-light.git

Хранилище на изходния код на пакета (за разглеждане през браузър)

https://salsa.debian.org/ocaml-team/hol-light