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

Format: 3.0 (quilt)
Source: coq-equations
Binary: libcoq-equations
Architecture: any
Version: 1.3.2-9.2-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.7.4
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 (>= 9), debhelper-compat (= 13), dh-coq, dh-ocaml, libcoq-hott, libcoq-core-ocaml-dev, libcoq-stdlib, libocamlgraph-ocaml-dev, libppx-optcomp-ocaml-dev, ocaml-dune (>= 3.24.1)
Package-List:
 libcoq-equations deb ocaml optional arch=any
Checksums-Sha1:
 015cdadf761ffb58889adb983648b3e20f7ac29a 1128151 coq-equations_1.3.2-9.2.orig.tar.gz
 45e84ff8bc2e829b30875e1a7aa6955d212457f6 3576 coq-equations_1.3.2-9.2-2build1.debian.tar.xz
Checksums-Sha256:
 87713b62e4516e58d1992d9b01d14c4a55b6233d696c83722c41efc35483d9f6 1128151 coq-equations_1.3.2-9.2.orig.tar.gz
 c761e08da8e2a170c26678e39b2dbff7f4e566a6b1d05430298db8f3bea1f37d 3576 coq-equations_1.3.2-9.2-2build1.debian.tar.xz
Files:
 6128b925ddc1514f6497f1684d8a0540 1128151 coq-equations_1.3.2-9.2.orig.tar.gz
 e996fec92c6dcda924129848d1b6a066 3576 coq-equations_1.3.2-9.2-2build1.debian.tar.xz

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

iQIzBAEBCgAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmqPDQcACgkQ808JdE6f
XdmrKw//UcR7VxdkbiAajvZh81vMv7cl4G2+uQzQJs8oAYVzSWXLPFg8t8GzXXu+
R0HA5AJd9khWTf9EU0IBN8gbnTjK3qC7IH8fSFLR8j81sjLcr4/hP9Lyc8IRmaKN
pP426avjHbkVILgrTohAHQMwpNzRXi54C32kLhWYmQTT75GXnZrw4vjjngYo5UWo
rrvtt5CC7kbNwAadsCDHl72D+N6U7Iq7ILWQMUEtIpvNke1eNl2DrcLAaRLjp3NC
R/uTcwMlKF6DrCuf8wCRRfRZdu2RplYUOFRWcaRGYtHTdYtHcMFG7R4BpP4k0+Pt
gVrIMvYlX+S74trPHcC1X4p5J6wr9rCbWrPeMdMZs/3Cc/aC7bl78PCzwlVMoeUa
z4snC9huAhFnPp18V28Bm1jzfkujbnDH6vdtBPc8p1jSxzsGepVnX9VrRC0TZR0z
6ld4YGyD8I4/YD209AVCc6vklXq3Yn3y2bF5rZkZoQvhWsf1ma8Aaj/XI9YZJjbB
1ZjSt5B3bFbkDJiBDaMOGI4eHvLGYxsatGirxW7S0WhUgE/yBHdxPsvluYI6dZkj
EUW+T7kFFeCebiDFSc216ofsftH5l/KirhZBJuAuOt7X0mmJ9IpeF7hYOEF/IKfZ
q21mm1N07nn4enhC2sTgXMnidm6gSg/2c5PTDlAt96UQh+I5UJY=
=HtJO
-----END PGP SIGNATURE-----