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

Format: 3.0 (quilt)
Source: coq-equations
Binary: libcoq-equations
Architecture: any
Version: 1.3-8.17-2
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:
 331ccec68c61ad73385aede06404690dcbdce838 1099916 coq-equations_1.3-8.17.orig.tar.gz
 a0820f73e3ce718b7295fc321766aa977c5a99cd 2628 coq-equations_1.3-8.17-2.debian.tar.xz
Checksums-Sha256:
 17df21df27b7f75e5900e0050319aca8ef424839a852e7801b7f9166b9674c30 1099916 coq-equations_1.3-8.17.orig.tar.gz
 f5261229cd6dd423017b0c53fc6a2ab8c5c01b39cce0197362304dc637566a02 2628 coq-equations_1.3-8.17-2.debian.tar.xz
Files:
 e0f86a4894505d60daa14f57c644c1c3 1099916 coq-equations_1.3-8.17.orig.tar.gz
 6b90df1b73ddc24533637acf2c0ef4ec 2628 coq-equations_1.3-8.17-2.debian.tar.xz

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

iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmTx0+kSHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVRmrcP/iFj1Sc03zYU4T3hn81l4eMlVpNjlaYI
i9iekVqBlaKuxbMnqAf33DNPzkEMHfigT8SsffyXFQoo8rE1OgKsrkryMtZ7HSxH
6pFGy3DzJmJQckcQhfmUHp/0Yd+gqV5kd2/51FpS4TH263laYQ0Nm4XUurilpqoQ
8GDIHbE5QRmIqJ9xPH2qaVNVv4iSO+8kuaGP6YpQWqplvUzkmfAkm5RqNdgF/Ms9
aVUKl1xA3IN1ndvNGX+xBMVoy4C4iOWNLzJfgJ2vQEirAOOzHaPcfGOP8xDlIM6a
veNZXXLiyP8jXS3j1p8g+t8BAgangSXpeeTn9BnkPL0w3rckuLExLlWnjvO8t8VJ
aXLOVuXZkMpl/O6dbq+1aMN+9/Ebfd/VjgsQ56EgNJG1LKF4GTfFq5A3Ig/AW9F0
+nQu5sJ/ehlfPKYC5a63Zf9x3+DWJ/btApUwSgcnzbyhNmZRpRe/ucvuJ374tVeJ
JCTYF+ieccjvF6n6xdG/5rWNTdQDIhUPQXmwvogW0z1e+w7b2LK6fWQmWbEhRBR7
RrhYvvzXyB43cVznLquwAXsof+32llFqJ5CJ/Ntw5EYGJ09kOgzTxyMha5fG86NX
JErKVaRgMxGEkXtd21O2jPFh3WhUqkoPgxh8lnfpH1JWVDERWRi0IqOzCUoBg3c+
o+VYXhEUwXf2
=k9i5
-----END PGP SIGNATURE-----