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

Format: 3.0 (quilt)
Source: coq-equations
Binary: libcoq-equations
Architecture: any
Version: 1.3-8.15-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.1
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-ocaml-dev, libcoq-stdlib, libocamlgraph-ocaml-dev
Package-List:
 libcoq-equations deb ocaml optional arch=any
Checksums-Sha1:
 56bdaf1ed1b8746cb0a11ee07c9cad21ce64f61e 1095737 coq-equations_1.3-8.15.orig.tar.gz
 cbc603f4f1534596994161c9ea03103a80eac5bb 2144 coq-equations_1.3-8.15-2.debian.tar.xz
Checksums-Sha256:
 459636a90f7d45ecc2c082fca91478e7d7f27455518c9c2631541ba6488f4a01 1095737 coq-equations_1.3-8.15.orig.tar.gz
 9930c2dd50a0b4fc50b9e43da0c3a3ec322c1d6daaa27e825cf231f04897cb15 2144 coq-equations_1.3-8.15-2.debian.tar.xz
Files:
 e3956751e6f135aa3ec2ac6514afed4b 1095737 coq-equations_1.3-8.15.orig.tar.gz
 031fa902533e78fa6a2453158edbd43c 2144 coq-equations_1.3-8.15-2.debian.tar.xz

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

iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmLQGdASHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVRvK0QAJZ/AGISpTX7tBY7+cUmQeXcKyXEpa4U
ppfFIB6ZfpR5c4nCJrkj+aF+GfpKQFAAhF7y4AXPvi1Jas0Hv5rI90oL8pJNCIj4
+JTqn+0Dr12WI3MerSiBvCtyrQJN53VxwLxNa+ZJl5/Y9dSPv/3w+QGxgtGYbi80
81wGPbAgWqJD/zoDDfYwpez8+YxAkKkOlolprz57yiTzH/9nopqkLky002u8rwzk
D3KGjstrOYwJ0IbI7xY4sbNPAoqlIKfo2iytIt50FAptHCUAsReLhJIZu2K0uP5W
6/WsRra29nPRHx36KQEh8115GG/IzANvDDTauRqmLFL881ViomdBhYRabtVJvt3k
G6k9wXhIUY74tDHYCo8E80TpWb6gWrqA11sCg046CeFeey9+ocuoZATybBbQF7Z5
vSbfJn/nqKRI7IxJWEtOflt6UR4P5I3+u1AMkzpCGcczhQDXmAGcRE5Vs4Gx2Vd5
UjKRwgDmP5gQvmjcY7Un4v6XEHXEvTI/Wy3B47rvdrujgqF8QG4lecuQROqvKHZA
2fB+S4a7zJzVN2t4Usv0twASCcn4Kk273Vobz6ZPBovOO3AJhqW7QOUezyMpJZ9E
xjgWi7/e5tXW+EWfTG2by/KDzQy1WYKzpt1gcaJN5CyWMu/80p4dIBx1ad4QSS/u
SygGdKE49fo/
=0s+R
-----END PGP SIGNATURE-----