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

Format: 3.0 (quilt)
Source: coq-equations
Binary: libcoq-equations
Architecture: any
Version: 1.3.2-9.2-1
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
Package-List:
 libcoq-equations deb ocaml optional arch=any
Checksums-Sha1:
 015cdadf761ffb58889adb983648b3e20f7ac29a 1128151 coq-equations_1.3.2-9.2.orig.tar.gz
 311d454999373ebe87416a3a9b61a34868b2081f 2788 coq-equations_1.3.2-9.2-1.debian.tar.xz
Checksums-Sha256:
 87713b62e4516e58d1992d9b01d14c4a55b6233d696c83722c41efc35483d9f6 1128151 coq-equations_1.3.2-9.2.orig.tar.gz
 9c22ff1b72293d566af6b7c5788df9c106ee6c05d8fde47b76f68b34bf206418 2788 coq-equations_1.3.2-9.2-1.debian.tar.xz
Files:
 6128b925ddc1514f6497f1684d8a0540 1128151 coq-equations_1.3.2-9.2.orig.tar.gz
 6e625702a3fe151a1857021e550e0c7d 2788 coq-equations_1.3.2-9.2-1.debian.tar.xz

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

iQJNBAEBCgA3FiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmpRFVMZHGp1bGllbi5w
dXlkdEBsYXBvc3RlLm5ldAAKCRAExTvX/gMFUU2dD/99Krn+BBgHkoWxOnKKE90C
wHl5Ae0oCo11gR/rV9jFgbfpR3dZUQoign5i5CtorWBFdzTd7VOhM3or0D+3Aaem
Flcpmh00ikTUCM0eIWPvRjR0RqFzTkdMqmb0N8+ZjJa8MdGYAsE3M2EQsSRj5yaG
UBweKsW5LOPM+T7ZCKQLkc7SJhHC7Wit1s3nN9eDrSScvFJzo9husOt0WmP+VKbq
KdhWm2c6ILeoOMopttcxEooE3N6ArsWtteTNCa8Zslwleyg6FtdWFZNkBkugA8O2
O9UsPXWb4A7qszbgMzZVqK5bUOYxJyvjOaD6a8jOxGFTQd4bslOl0hYz7Upp4Ul8
qd7iqvWqYCZNKOHCyqs4oQNuYiDTx+uuOaedjlCg53RzhTpoLUTmqBRMQo3DUBaM
FP0q0J3+T1kU3lMdvgF8iF2bc3dMZUaM8IQFLHzo+BNb5NInOEXf0vgM3LYVXx2l
umupktdnBqqdClhJM1CGCt8qebE72raQmQMsoQ3xDmjrrclszEJ48dQ+lGXE4UwL
4SaR4+l4AYqNGFKtkRVw7cGBwLyEPqkcmdc2TycGVXd97FH8ekX/pCrwaMR5Cy5u
sgZ233ICdm8eaLEf39wR4OnbBS1IPmvsWMBWRiry7Gc8AHR1iORPbX2T0PbgbEtM
zCiYMsguriYQf7az9b81Nw==
=8iQ0
-----END PGP SIGNATURE-----