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

Format: 3.0 (quilt)
Source: coq-equations
Binary: libcoq-equations
Architecture: any
Version: 1.3-8.17-2build2
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
 7c7fbd66a3ef9dab417ef2d972feb317c986c658 2700 coq-equations_1.3-8.17-2build2.debian.tar.xz
Checksums-Sha256:
 17df21df27b7f75e5900e0050319aca8ef424839a852e7801b7f9166b9674c30 1099916 coq-equations_1.3-8.17.orig.tar.gz
 516f5795e0f3ed679c1e1bca855d67329cf50d1ec52302e4776e2fcdf4f8fadb 2700 coq-equations_1.3-8.17-2build2.debian.tar.xz
Files:
 e0f86a4894505d60daa14f57c644c1c3 1099916 coq-equations_1.3-8.17.orig.tar.gz
 0fe28337119e39a9331c9d04f61f1ba9 2700 coq-equations_1.3-8.17-2build2.debian.tar.xz

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

iQIzBAEBCAAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmT12aoACgkQ808JdE6f
XdmkJQ/9EL6xYPQ5l/6QxtiDppVg6amx6X4fd1Ri7Obk25J+Px819lefcXYsvpPO
ApeOv77bgtaWw6OU3c1EB0N4gDV/g+Ft9oxMdAUHB8tLVQBCIC7ensL7YNSQ90xx
J8gn01OThcnSr6jw+8vmcmZ18PD46aG409RmkW2C9hNDv/jFzmhV4e753wuOSJIm
o+RRYq/QqYinv7RPN/M5w5yYHIvQ2rzzSRWmy1Gu86jbStT73I++5kBQl2Qii0b5
t6ysWm2+TpCGQRTeQf7Xdka+rdp7NKMbWzpdGAvF4MOwrxIJ8/DlAd4w1xt2qJfP
LikAzs9Ut2BRnKOyZbPE1p5EYumx6qLcqzvSs+9Dxk5pDXYRji0bdHWsbhzawtut
Op5kjXK7EJFRWJdCzm0UmbkoUS6ZyMnZzzptERqXyFhJ26dg6PPXP7pY0NdEUJ+n
R5ekMh1/f3QFWdsQPM3jKwJ1Whg/ONQsrlYwttpOMisTf/tsN1yTV9UpD5j2+SNS
RVtersLE9HiOaDQE6zye9psAca3eA2w+LDUH35i/qxANi9+m3RReMZ3SpR7yQ9E9
GYNiTZLRB9Je8XOO8xa2YnrdPr7jyWxZWgi4MIVDypLAEHG0GqNOsLmIRTRKlkQE
s5xPjQf5aS4mynK6jx21cB3Iviu915QoE2RZ7O2bpDwWvseGhlU=
=XWo6
-----END PGP SIGNATURE-----