Format: 3.0 (quilt)
Source: hol-light
Binary: hol-light
Architecture: any
Version: 1:3.1.0-2+ocaml1
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Uploaders: Hendrik Tews <hendrik@askra.de>
Homepage: https://www.cl.cam.ac.uk/~jrh13/hol-light/
Standards-Version: 4.7.2
Vcs-Browser: https://salsa.debian.org/ocaml-team/hol-light
Vcs-Git: https://salsa.debian.org/ocaml-team/hol-light.git
Build-Depends: debhelper-compat (= 13), ocaml (>= 5.4), camlp5 (>= 8.02), libnum-ocaml-dev, libcamlp-streams-ocaml-dev, ocaml-findlib, dh-ocaml, libzarith-ocaml-dev
Package-List:
 hol-light deb math optional arch=any
Checksums-Sha1:
 597e1231b802d35a35445e7c03d1c045501218c8 5539628 hol-light_3.1.0.orig.tar.xz
 a41237bfeba7a128e48984f6a806cc7d98f95932 19756 hol-light_3.1.0-2+ocaml1.debian.tar.xz
Checksums-Sha256:
 381cfbd720fa06487022996e1c77079867e30292f6411d7162dc2056a2e19aa0 5539628 hol-light_3.1.0.orig.tar.xz
 9589ccc1357c820e90332eb0ce1a9bc1162d7935356a0469eac00c4deefa7854 19756 hol-light_3.1.0-2+ocaml1.debian.tar.xz
Files:
 e7fb33160150667d18dd711e991005aa 5539628 hol-light_3.1.0.orig.tar.xz
 b33a31a5bb5d1c8a0cf3cf09320d844b 19756 hol-light_3.1.0-2+ocaml1.debian.tar.xz