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
Checksums-Sha1:
- name: hol-light_20231021.orig.tar.xz
sha1: d4005d75d8028503f8c06f84fa71762ab092f8f4
size: '5043576'
- name: hol-light_20231021-2.debian.tar.xz
sha1: 57de56d51207d74c0c0cca31c2cb08b511f833f0
size: '33032'
Checksums-Sha256:
- name: hol-light_20231021.orig.tar.xz
sha256: b40b15854ea6e2d58d0f992829d9e6a22a5099eaaf02c5fbf4e642337de9995c
size: '5043576'
- name: hol-light_20231021-2.debian.tar.xz
sha256: 24c31a2ce03216db6e257dd286e531d3a322ef86fe8eef250d3229e0043e12bc
size: '33032'
Dgit: 3b61f1ee470f90545c6f867bcbbfdefc41bd7860 debian archive/debian/20231021-2
https://git.dgit.debian.org/hol-light
Files:
- md5sum: c469439d4b3e430d4142d4baa03cc59a
name: hol-light_20231021.orig.tar.xz
size: '5043576'
- md5sum: 62f5088477edba9f64c34e4d20dfa69a
name: hol-light_20231021-2.debian.tar.xz
size: '33032'
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.6.2
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: 20231021-2
name: hol-light
type: dpkg
version: 20231021-2