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

Format: 3.0 (quilt)
Source: coq-equations
Binary: libcoq-equations
Architecture: any
Version: 1.3.1-8.20-1build6
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:
 719ca21fb558dfa59ff3577ac7f9ab889ef8b12e 1104362 coq-equations_1.3.1-8.20.orig.tar.gz
 3f7adc9075b58f20f73a5a9f736d69e7200a7291 2976 coq-equations_1.3.1-8.20-1build6.debian.tar.xz
Checksums-Sha256:
 6df5b2b25ff94988611e0a5c6c56d3f8b83272ff27f75e5c161b0f1c9b120493 1104362 coq-equations_1.3.1-8.20.orig.tar.gz
 290837c6c2861d66761caacb76446bd6d34f23f0f8bb893073a3a3ec8297126d 2976 coq-equations_1.3.1-8.20-1build6.debian.tar.xz
Files:
 5cfe3dc4c2232a559e866a492917975f 1104362 coq-equations_1.3.1-8.20.orig.tar.gz
 a5475df5e5f0eb13c661d8fcd3041897 2976 coq-equations_1.3.1-8.20-1build6.debian.tar.xz

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

iQIzBAEBCgAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmlb9jUACgkQ808JdE6f
XdmOxBAAsx1K1AfDS1W9h5Bf0Wvp1L/pOSWTI8c7PBel64t01WZrz6qPMU+iWMPM
yDIVWqPqDOHD2BXRpkt5D1nTPdMhGIQnn4/C9lhMDco/SSqnSVUXrjVqQYSUzuJ/
WIdvadVmuEX4f5iIijvoboEyi/h+0Rs2TjoskcDnMPpACYl5me/ii5+jmr8dEKLE
nfmtZaD+JxwmaOgRWgnlo+df4BaDLQhAx57wXBktX9guseIQtMGuUJTWT0ZjQ97Y
cNH1gvo/kLOwuPLJ1Z8Kl/gla6qN7Z0359ni+cI+ieP22FIrhbKLqfwHs3FLgYJL
drCP9NARgEZHXAZndJvs99e+4bXUY440W/GkjbUQr7IoeiQHMzxnW9dLu/Weza9G
8BLrjAK5X7+2eMGeBP3BqVhLYb4FjziIyetLOZSWafOm/aY3fHKOBd0bPNC0mjiD
8fOye2PNqvlu6guzwPj0eEkNL7yyz8q7Vfx2Ih9DSyPHQ00wa/LgYYE2IgWK2hPf
qV1l0P384g0nXS5h412Bh+gi5lhEr/ybAR7Bs/J6LUaI72p4FGn5I3oBwT0rX7S1
W3kfyszHJZ/Qw6dHj+f145iXVamhs1mqOA2I1OwUV2blIOuNE62rv0Tc5m5yqoaE
9pZ2FLC1qtwXnoytxDxmtICy9Cw80of6iVnojQ1+l3U04moYx/Q=
=qRmx
-----END PGP SIGNATURE-----