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

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

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

iQIzBAEBCgAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAme1gqgACgkQ808JdE6f
Xdl2hBAAw4s3DrJQW8qIzOhinLUL6P+9KY7/qW4kduW8wFSeM8KLGst79FD6tEMw
2cBQGNSxXtnEBRggi6tfILOzmh6qboWLeOraqcy1zjDGynXql71JXo1NxyQDWTt0
nUWDIk2zXiSW9rnvlT+1E3TqpshJaCU1al5Rf4m6aOKWBNqB5+KLpPfQ+T9Jz05L
4vaYwf+r0/dZiq78Ra+kamPLBagjV2xFG3HuU3lSSUt38ULRmHDtGxNLFHwc7ZiE
9sEPYP7QdLkhhglbvblukJABVWW95gORETHRqqUXlDB0rb1yeeTCxCvSt0t3mp0r
D0w4bDiB6Uef0fMFifsM9PL6RAeXoHhKeGeKL/kr8Q053/dCsvzsxxoMsV3e/zB2
01mKJXB+Sw/XDOu+fT6WLIGifTjjYsYKqKVVRZJ/P7Sec1M1LaPxDEH3zsFmOZvs
azIiZLY2pEQ5e5/RF6S0dgE1hDXAcV+Ht0cvRcRP/vXBws0tCr5XycKwlByfiuAS
h6+fuBaklMdAJ/29lKkt0zfj6R4hWpkanrKus3/4aS9SF63JOYZogfVteOqEIWLq
URB23vdSBWRBJvE2ra8QywZQbirLzO2dM8O4JG6Jn512BOspcj9sf0XQxz6jwC7b
l0g2J9NMnkXQT9CJRuTX5DSaJCCZ+vbTFUiJYrF/E7eMq6FX71E=
=89I6
-----END PGP SIGNATURE-----