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

Format: 3.0 (quilt)
Source: coq-equations
Binary: libcoq-equations
Architecture: any
Version: 1.3-8.19-2build3
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.6.2
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, debhelper-compat (= 13), dh-coq, dh-ocaml, libcoq-hott, libcoq-core-ocaml-dev, libcoq-stdlib, libocamlgraph-ocaml-dev
Package-List:
 libcoq-equations deb ocaml optional arch=any
Checksums-Sha1:
 38fdf70af0bceefbb4d14eae0cb037b124bb3ba8 1102843 coq-equations_1.3-8.19.orig.tar.gz
 dae7e41a462b429f7a23688b8203af72b68a85d2 2860 coq-equations_1.3-8.19-2build3.debian.tar.xz
Checksums-Sha256:
 4d4d1aa0488dd111cb7f520deec6c0f9e41622b884634ad96aee554f899e4198 1102843 coq-equations_1.3-8.19.orig.tar.gz
 768e00b4ff0b603ccd78f313b4142c39019072c4140b66d9d6b2f24137cb29ec 2860 coq-equations_1.3-8.19-2build3.debian.tar.xz
Files:
 a83b2e75a3440581de8eba8f0c0ecea2 1102843 coq-equations_1.3-8.19.orig.tar.gz
 17d7456bf211dec73edcd000083a60b4 2860 coq-equations_1.3-8.19-2build3.debian.tar.xz

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

iQIzBAEBCgAdFiEEVovyKmYzfL/Jprm3LIPbyOm9DjcFAmbci1sACgkQLIPbyOm9
Dje+Lg/9GXy3TwE2DnA9ZWe5fDEOdotjGomRcqTEVuGh6P2a59XleoxvzFwEgpeP
gqFFpBRdKJLLLhsD5pbXuhykaDHo0skxrjNIpS9Psx6dpbX0PAMaNUOpAmeHamI7
sC8S1KvXFvy3wLTYiVk3pXKiS2H+FF1aqhNUSPt5mYSkmF9nJFoT5Ca11wyYpJ+T
rHKCtnhK5phJMDueT6i1ZPHLS6zWzzygWnomxBYDC+OQABLKMSJ3+cabyjn6pfV3
qO18pGfyOWVERZ048x0VYdBzjhVjR01ryJQEnAYtoYj1CfbI6q/Fgetnbe4AicZR
DpIAOOH+Er4fRAjWTMgIlHkQux77/BzaYCZ4RyhRi384uQIEc+sEvvvhcOu2iRjD
3i21V4zLHVjgq7LfJUGVWq5d2jC6x+KsFyw6pNdcg6bQjm+0ptIu0yjjvjrvSJ4d
BHpUt9Hbt918Ns/A0c7bMlIzFc3+qwtTJJImpSFxCwX+coysZ1iRXbqze3fjKSpi
tDJP4EB0xSzETPzQOtuTefgRRf1PUO6G9MtvxpXwT9H1vwk1ZqynvDrdqQLJM3sl
DjJXi/VqvzeOb2lsBgDiWbSA800ieoYmPJXeAWpl/86poLAWl8+qyY2GOmVCzWUP
31kTXO3I4mBuvj1qwXjh5YN6fzVQiZPPZXnYKDe6KgvJG9Hykn4=
=90WL
-----END PGP SIGNATURE-----