-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA256

Format: 3.0 (quilt)
Source: hol-light
Binary: hol-light
Architecture: any
Version: 20231021-1build4
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.6.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), camlp5 (>= 8.02), libnum-ocaml-dev, libcamlp-streams-ocaml-dev, ocaml-findlib, dh-ocaml
Package-List:
 hol-light deb math optional arch=any
Checksums-Sha1:
 d4005d75d8028503f8c06f84fa71762ab092f8f4 5043576 hol-light_20231021.orig.tar.xz
 a2d7eb936462de4e86979d7117605c5715d6e1c0 10976 hol-light_20231021-1build4.debian.tar.xz
Checksums-Sha256:
 b40b15854ea6e2d58d0f992829d9e6a22a5099eaaf02c5fbf4e642337de9995c 5043576 hol-light_20231021.orig.tar.xz
 2e96b164ffbf74145dae9613fbc83e3e6112d8f912aad921b2714d818b0a8712 10976 hol-light_20231021-1build4.debian.tar.xz
Files:
 c469439d4b3e430d4142d4baa03cc59a 5043576 hol-light_20231021.orig.tar.xz
 144dbdb27bb05d2c030d90a4717b6ac8 10976 hol-light_20231021-1build4.debian.tar.xz

-----BEGIN PGP SIGNATURE-----

iQIzBAEBCAAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmXToG4ACgkQ808JdE6f
XdmOxxAAiWaX2cMhcB+aMkPIuTgy3PhWHd9Bi0DMjONdlVOCJWGKDkE7vpM51hVr
aiINjPDCWUVd4BDEPiax1hicAPsQg7V2bJlk9SxDSGHdfhATDonAw8ObijhXPRbs
Nn4zpWZkW+KP7X8n1/vNr9YnOuxWpfBuPhToQByVZcg1rj0GKRPWOBhLkS3Qve0l
MHf+OighYb2CrW/R4TLZDjgBXlZ6sWGWmE9Nf9g04x0PytbALW0Xpy/0O0/AdBiL
4b0di+ktQ+LOj8WGT1cv5VYMysbd5Jue+Rf3sTvHAuwSba6IsydmdCxbMiCsLg9U
Kzaqz+DwupNGfJ5LeW7xtkH3SRsLWoFi4pV5j5YTF+n4Y1iu9HOabGE9jgP/tFrh
H6dW0qOGqqsNHWjzEOv+xTN8PxM8pr/+0h3KwAd4tYNrE1/jUAetqeqzfdbQH8dc
c+9hVSeylaj0V6rZIL06kNho+LSfTel7lp7MKx6Jv67JGfingUgfjZlfFdTMmz5Q
V+ocEnV6hlhd8vUZ9xNRlkO+86O7l3lDOI40s5RUNXdJSYbBFkAubgjv+mYufkKv
kyYizmiQAQgLxCw1DJD1PZZcrLp6WBSh67sPz7jppQbutQqLNZ/4HC9u54spARBe
aqxvD8j/82i4M2JtT/pPhPEiMwun9Ofduu4fPj4XN9NNpF6tfHI=
=2hHI
-----END PGP SIGNATURE-----