Format: 3.0 (quilt)
Source: hol-light
Binary: hol-light
Architecture: any
Version: 20190729-2
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.0
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, dh-ocaml (>= 0.9~), debhelper (>= 10.0.0)
Package-List:
 hol-light deb math optional arch=any
