-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512

Format: 3.0 (quilt)
Source: coq-equations
Binary: libcoq-equations
Architecture: any
Version: 1.3.2-9.2-2build4
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Uploaders: Julien Puydt <jpuydt@debian.org>
Homepage: https://github.com/mattam82/Coq-Equations
Standards-Version: 4.7.4
Vcs-Browser: https://salsa.debian.org/ocaml-team/coq-equations
Vcs-Git: https://salsa.debian.org/ocaml-team/coq-equations.git
Testsuite: autopkgtest
Testsuite-Triggers: coq
Build-Depends: coq (>= 9), debhelper-compat (= 13), dh-coq, dh-ocaml, libcoq-hott, libcoq-core-ocaml-dev, libcoq-stdlib, libocamlgraph-ocaml-dev, libppx-optcomp-ocaml-dev, ocaml-dune (>= 3.24.1)
Package-List:
 libcoq-equations deb ocaml optional arch=any
Checksums-Sha1:
 015cdadf761ffb58889adb983648b3e20f7ac29a 1128151 coq-equations_1.3.2-9.2.orig.tar.gz
 422b0fc6d573c324f16053e7951b9d9b607894d1 3648 coq-equations_1.3.2-9.2-2build4.debian.tar.xz
Checksums-Sha256:
 87713b62e4516e58d1992d9b01d14c4a55b6233d696c83722c41efc35483d9f6 1128151 coq-equations_1.3.2-9.2.orig.tar.gz
 64e41951e99594cfa620437801e82ed8a3ff94d90d6d130f285c80ed3ce5ce5c 3648 coq-equations_1.3.2-9.2-2build4.debian.tar.xz
Files:
 6128b925ddc1514f6497f1684d8a0540 1128151 coq-equations_1.3.2-9.2.orig.tar.gz
 873546eecfa175050369ea113b3d1d61 3648 coq-equations_1.3.2-9.2-2build4.debian.tar.xz

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

iQIzBAEBCgAdFiEEVovyKmYzfL/Jprm3LIPbyOm9DjcFAmqtYXIACgkQLIPbyOm9
Djd2uA//ckVLNc56DFC/xQz3iHpKKxHNmlCQVrXEu+b36c57fNy8EwTBkVNfIjTU
tLPwfTm2wzMLmQ2MEG+n2s+f9AT7PT3kZEDND7fgU7HKALjRYF7vXBHOidVCIcWH
1Kgs70ipIoCw4CYEHq0q2XyVTv6W5hJIcQb2wqV5GjrRHTcecFjrJGPuelIRXznU
6RXlqV9/eEECT4YUwtHxJ49DFJVl71ZWPW8Q8rRD6zyQclqS9jeMqYa9U5z1UKnP
H5v0O+RGJYZdRxInQSxvf5qm/wAueE+yBIyRsVM+TgzA0Qrcy1He+hhyXJvYm1wW
X3lcd1Etm+zJCaQZZsbZVNPNrsYO2ljpJVb8uMYtGyk17Zms2p+PcwMgBuAf+Tf9
d0OofiLEnch5ZA0QJHeVtjU9W5KZDCU8kf1wxAf2w+xz1fVDnfVgIuqJDzbsr6ME
ze+afPYXdO9ib8Bf+E3UCxcDdrySvk/AAE034APDbtYWbu6QoX/1/LQkLARSBLQ5
wDpNgRUCCpuSfbZp61OgmKX0WHjuPhGnbNn7PC4mjeg7kojovM2+ttBwOzfx2vuw
gZf6UW6nIZhHWRWmW5LhnAqJ35Qs6zwjH8l2BQmBjgnmao5hNtZWoFXD/4WZZTwf
3GSqArBkKt6ZJ8TJ4XUwFA/rXJI0J/fWOH1Xc3nEmZbU0GD/VZ4=
=/65v
-----END PGP SIGNATURE-----