Format: 3.0 (quilt)
Source: hol-light
Binary: hol-light
Architecture: any
Version: 20190729-3
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Uploaders: Hendrik Tews <hendrik@askra.de>
Homepage: http://www.cl.cam.ac.uk/~jrh13/hol-light/
Standards-Version: 4.4.1
Vcs-Browser: https://salsa.debian.org/ocaml-team/hol-light
Vcs-Git: https://salsa.debian.org/ocaml-team/hol-light.git
Build-Depends: camlp5 (>= 7.01), ocaml-base-nox, libnum-ocaml-dev, dh-ocaml (>= 0.9~), debhelper-compat (= 12)
Package-List:
 hol-light deb math optional arch=any
Dgit: c7010536d935940659ea9df2ee4cd819828fb328 debian archive/debian/20190729-3 https://git.dgit.debian.org/hol-light
