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

Format: 3.0 (quilt)
Source: coq-equations
Binary: libcoq-equations
Architecture: any
Version: 1.3.2-9.2-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.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
 2a6310936773d3e6041d810db4fecfa7d3e15829 3592 coq-equations_1.3.2-9.2-2build2.debian.tar.xz
Checksums-Sha256:
 87713b62e4516e58d1992d9b01d14c4a55b6233d696c83722c41efc35483d9f6 1128151 coq-equations_1.3.2-9.2.orig.tar.gz
 a647004b87f1f18afbeb04b354c9aec589aaebe19525b036d90bf6acdc38ae18 3592 coq-equations_1.3.2-9.2-2build2.debian.tar.xz
Files:
 6128b925ddc1514f6497f1684d8a0540 1128151 coq-equations_1.3.2-9.2.orig.tar.gz
 85c058f2a6020b3a785ef366e059bf1e 3592 coq-equations_1.3.2-9.2-2build2.debian.tar.xz

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

iQIzBAEBCgAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmqVNMEACgkQ808JdE6f
XdlmIhAAy05TyYyo3F09o1uH9fwb0s3SkattX+aem9o5paBBZnsPbW0JIqsCLWlW
XpLrOP8ghsq2IiwTFZYw5Fdk0md/kX3pHGY4qw1D7ooXwjep+y0E0tMjlmzD8R72
D80sOzEqkT/EtfMd5shkfN9odkNUp7lUGRmmypEMSYqIrnjWNyDXOOWP4zm3+b7P
kCd253PtZ2feAcmbO9KNz1hDYOvJQ0MRGOj9+zwpOaaMO3H3yJwRQvV+ZmjUh6ln
hEYB6HF4fBRuhUJdbrGrnXNOb43mdTySyceZIVk5sxmT1CGEwg2kKtPdOnn4XwCz
xbUH7FZoGiYbPtt5AwFDa1c0br0u6yMK4KerDcMn8X7WZ3LwpGZDnjN4FYl7HZMi
9lR4CNFivVCN+wtmt0ZycfYYJ4NHSP862VBG/VSGKl1HVHOYT+gzcW15irvcvtbq
HkgvrjyMqyX3Lk82AGyeO0UE+VFKUU/LAHEphU5JscB4vDhCDe4jC0fc8vLk/vlB
DfqgphgOb41rdQO3q2DGmw5nR4vMaNpfypShw5aI9hb3m55nMHh8qFAMazXgKp/w
n2zNDBySIJ8YzsGBOAwF8dPyEZMWXxjrjvAcwqg68wwa/csOG0x86qBy6qUqVoS6
xIqpFNSmBXFCrbhOuFvANMoJUzshbYNirk4sLEQyPaC7cMpD/gk=
=X6L3
-----END PGP SIGNATURE-----