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

Format: 3.0 (quilt)
Source: coq-equations
Binary: libcoq-equations
Architecture: any
Version: 1.3.1-8.20-1build1
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
 d8e5174ef5c7d5932b84211055a31ff6adc7bc43 2820 coq-equations_1.3.1-8.20-1build1.debian.tar.xz
Checksums-Sha256:
 6df5b2b25ff94988611e0a5c6c56d3f8b83272ff27f75e5c161b0f1c9b120493 1104362 coq-equations_1.3.1-8.20.orig.tar.gz
 ad40ea8a45adcfee87867c73b70407e6a31c77fa4515526f584beedc75a85c6d 2820 coq-equations_1.3.1-8.20-1build1.debian.tar.xz
Files:
 5cfe3dc4c2232a559e866a492917975f 1104362 coq-equations_1.3.1-8.20.orig.tar.gz
 715c561994dd08dece5006516a9b32b5 2820 coq-equations_1.3.1-8.20-1build1.debian.tar.xz

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

iQIzBAEBCgAdFiEETQvhLw5HdtiqzpaW5mx3Wuv+bH0FAmeeyLUACgkQ5mx3Wuv+
bH3BOQ//ZOdmkdnplfozng7EP0E2jQVaZ6y7rX0z32KSArk2s72Caq3sF2iRh4va
tWeI1P55B3QH4WcG+W9OqkE5n/8giapGCZqKY5ebgBz4Avxp/w2eWLBtlcbO6KoA
o86octAjA89O012D88fMk/cG2Ci9I4n52Y3rKzV37QX3E56fC3aBozbg9Qg2Q4IG
dUsuUrTozNDt9KrobpZnukNVyHj9LBx+vsy8zfM1zsqKiyELvzmvCSsZBu7sc/eG
KJi7MkUsaodqqzbUwjnu1oq46USaACgksvWZOEBmXy3tcEE5hGChjrRk/Tbmbqsg
wF2WAy78AVCPo+utf3Jxy096Z27p7le+XPQvlk08+nwvHgkLFYaxKkVne1c5qmaZ
4peqMa9U5uRWLzoQY8NJGKyE9iauFWDidBummr1z9uWT8gIfTZz3qECiZNy6N7af
Q5+8870kx8s/raNipYNu+bP3jQsqYhITFnBQicwM+zDd/WRtMB9MUaP/kRtWunBY
u/QMpxglwqpQEw/2OKWhR9+Rg73d5KQbhJdWrW4NkH/yB01rsJzvVpnOgQ+OopQx
FcGJZwJegP6Dyw/6rQBW8zGdfzP137MI/ebHht/4j+jbpbGoYVEh3fDgt0sLpMp+
S5DkHpFJ6KiIYFNkwWqj6s+pRJX8z/IfvCUl/AhqU8TELkM5QGg=
=TgfU
-----END PGP SIGNATURE-----