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

Format: 3.0 (quilt)
Source: coq-equations
Binary: libcoq-equations
Architecture: any
Version: 1.3.1-8.20-1build8
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
 1ee610126d412016513218f6aa37bf419676b6e0 3048 coq-equations_1.3.1-8.20-1build8.debian.tar.xz
Checksums-Sha256:
 6df5b2b25ff94988611e0a5c6c56d3f8b83272ff27f75e5c161b0f1c9b120493 1104362 coq-equations_1.3.1-8.20.orig.tar.gz
 aa3238ef7278d0f00410eec5f406bc71bf8f7d659ad141b256eb269bc2068256 3048 coq-equations_1.3.1-8.20-1build8.debian.tar.xz
Files:
 5cfe3dc4c2232a559e866a492917975f 1104362 coq-equations_1.3.1-8.20.orig.tar.gz
 bf8886ddcb1ec9b322e8d4f63d03f48c 3048 coq-equations_1.3.1-8.20-1build8.debian.tar.xz

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

iQIzBAEBCgAdFiEEkv5Pi0DK3E7M1gwfWWH9vpxhmAkFAmmoS8wACgkQWWH9vpxh
mAnmyBAAjkGAhiwkGXrlVNvBkHnRYS3uR0M63DQV3jZWfF6liRRkRdcOQQnj3vXg
J4xXvWjfHUZUiv/3uMF2on90g+VN2bP5uLMwT9igLJH+1XX0jSBxJVtfHC6NS7Va
xnaHAbHHtthIEqrnxui82nPIEC10JoN7HDM8CIYar0qnk2zE0EEozCVjoQBrlJzp
b5tsCICUvgFEIZcbW3lIG3cX49Rfj1g1yW/uFz/cKcFTy2I49wws9/CpjGEA0N8Q
JP5Z/hFHiJE0tHUQvwv9uZK07AHhO7zS+sfZlZdVyx9USqX+i8GjPAVVI/6SYX8T
c8uytu28UmOF7CMyxR4vPTSRP4ziwzdUk3XrFFcFbPHU5q/ytnptlOWx/ifwHWZl
uOYj4DaW9uRouPEwwSTaPCFWX8S5aHxLjz/WDxYgBS4SAP4Yh3FLfC0fJA+GOYdx
3Hke3tZGIQJQwGHzeJ0jdnNjkK9cQPzHORRR49MvHM1Jq33EkOr1onmsYNCUuamg
ehrQr3f05m6cF059UcmQLG6pWSvboaWf2bkuljE/WSpagp2tHgu+aJd6BKTlkigo
AZSAndEk6tslXn6weD0J5lLIjCs5QVyWeFCfW7J5scljWUdSGg8sMuW5akCfpgkQ
4D81bn7Y0FrOqvTp7KP1NdL+qr/w0226aokhEUX50/w2Qei+RuY=
=6kA9
-----END PGP SIGNATURE-----