-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA256

Format: 3.0 (quilt)
Source: coq-equations
Binary: libcoq-equations
Architecture: any
Version: 1.3-8.17-2build1
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
 683a26509a157d5986f00d12d3a8c68b37cea2b7 2692 coq-equations_1.3-8.17-2build1.debian.tar.xz
Checksums-Sha256:
 17df21df27b7f75e5900e0050319aca8ef424839a852e7801b7f9166b9674c30 1099916 coq-equations_1.3-8.17.orig.tar.gz
 af037b41ffa65c066c6776aec5dc68e5feb41a061c9bb046349532a2989d6f8f 2692 coq-equations_1.3-8.17-2build1.debian.tar.xz
Files:
 e0f86a4894505d60daa14f57c644c1c3 1099916 coq-equations_1.3-8.17.orig.tar.gz
 8271248afaf6246cfa1b84b921be8f69 2692 coq-equations_1.3-8.17-2build1.debian.tar.xz

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

iQIzBAEBCAAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmT1se0ACgkQ808JdE6f
XdkydhAAg5QDMA7FWNGQ2A1nNqW+pLsHf/v/iQ3lzVGm3wBcQof7/JuxA5DgywQy
yNQGdeWzxrJRqxGdJKvGbvv6Q+xMY/+CDrf38mQnKzZUXMwv70eqL0xJFEw8rt3m
O09wKWoKoqQb38YH8SI8yucXPCdVrUHQvIRlK4YN1HLikVL9d2e7yho8bX44J8d+
gsJd+JbzcNKObPWzRdiqDokfUWUa6iQ6CFcGbpzw9wijqLT1Hq9ct2nGPFWaeBCN
JBE3owjd43zllTwbQV31xKiNVVL8i886EBMXvrjrQxWYAA25bIaQTY9JsYsQdfxO
rHNxXP5C3Eym01gkSgxErg3nGiQ+xPdvT5m16pHsWlXmHnj+RB57ERGbNOZYoINq
NonzScIybwqiTfIVRN+sPgr3uME5kiSEpTXrEMfwDYAbFYxPEL9miPSvw7Z/9mq4
40j+0ZpFkJz+LiAeDFiUWPa+mxxYbIK7o+45xYh0DiK2VP0WNjO8UR6QiK9d6Tjh
8L8q+PXq0uSnc0hJqwxou0t6K4JPe2Cv4TVScQG9nr1iOnlc2HnVznj+f1XF4Pcl
oR52NBTMcs90dP5sTetdc2JrpJt7kzQO6bHnpZIj7whS9kDdnKMkMWwvu9PH5Ump
UAE4OAsAvVMn8Cn51oMXj9MzUCjVFB02jmlCnh7qmLz1tFv5+7g=
=bIb5
-----END PGP SIGNATURE-----