dsc_fields:
Architecture: any
Binary: hol-light
Build-Depends: debhelper-compat (= 13), camlp5 (>= 7.11), libnum-ocaml-dev, libcamlp-streams-ocaml-dev,
ocaml-findlib, dh-ocaml
Checksums-Sha1:
- name: hol-light_20230128.orig.tar.gz
sha1: e9003be666264dc341f25208847288a8cfe7153c
size: '7460915'
- name: hol-light_20230128-1.debian.tar.xz
sha1: 7ecb42cd8835a8cd32a4d4fd4c9b57b122952d92
size: '10756'
Checksums-Sha256:
- name: hol-light_20230128.orig.tar.gz
sha256: fd392c124679f45560837a7dbbc7d75e691a550bbca7bc90478c0d9876e01d7c
size: '7460915'
- name: hol-light_20230128-1.debian.tar.xz
sha256: 7d2afacb18ef182c97957ce5a8d5c6d4c502c6f88505d130904c60083e44409c
size: '10756'
Dgit: 9d490089aee4c2531ab6c4983904905603ff21cb debian archive/debian/20230128-1
https://git.dgit.debian.org/hol-light
Files:
- md5sum: c1530f29b8d5f0b7e8812c7cc623f6ed
name: hol-light_20230128.orig.tar.gz
size: '7460915'
- md5sum: 9f9309c94d21a83048e25cfd7c046603
name: hol-light_20230128-1.debian.tar.xz
size: '10756'
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.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: 20230128-1
name: hol-light
type: dpkg
version: 20230128-1