dsc_fields:
Architecture: any
Binary: hol-light
Build-Depends: debhelper-compat (= 13), camlp5 (>= 8.02), libnum-ocaml-dev, libcamlp-streams-ocaml-dev,
ocaml-findlib, dh-ocaml, libzarith-ocaml-dev
Checksums-Sha1:
- name: hol-light_3.0.0.orig.tar.xz
sha1: bac1bc40a8eacb2da5571c9e63674970f31516e9
size: '5364404'
- name: hol-light_3.0.0-2.debian.tar.xz
sha1: a45cc3ad7249adf15aaa2a84259fc009fb72c639
size: '10892'
Checksums-Sha256:
- name: hol-light_3.0.0.orig.tar.xz
sha256: 918a6ef8caa8b36b6fe260ac35995c9e0ad34daed4ad4240b77b91cf2ee0185f
size: '5364404'
- name: hol-light_3.0.0-2.debian.tar.xz
sha256: e882632c1fe52554fb8fa33c345373733a5f75105e13eef23bca5a89e48704b9
size: '10892'
Files:
- md5sum: 6214301dd5b613f08425b5de17c30ba8
name: hol-light_3.0.0.orig.tar.xz
size: '5364404'
- md5sum: 07e8f72f27278a25b255dae1f3f2a166
name: hol-light_3.0.0-2.debian.tar.xz
size: '10892'
Format: 3.0 (quilt)
Homepage: https://www.cl.cam.ac.uk/~jrh13/hol-light/
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Package-List: |2-
hol-light deb math optional arch=any
Source: hol-light
Standards-Version: 4.7.0
Uploaders: Hendrik Tews <hendrik@askra.de>
Vcs-Browser: https://salsa.debian.org/ocaml-team/hol-light
Vcs-Git: https://salsa.debian.org/ocaml-team/hol-light.git
Version: 1:3.0.0-2
name: hol-light
type: dpkg
version: 1:3.0.0-2