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

Format: 3.0 (quilt)
Source: coq-equations
Binary: libcoq-equations
Architecture: any
Version: 1.3.1-8.20-1build7
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
 f5572548dfc7aa934afb6713121322d86c583325 2992 coq-equations_1.3.1-8.20-1build7.debian.tar.xz
Checksums-Sha256:
 6df5b2b25ff94988611e0a5c6c56d3f8b83272ff27f75e5c161b0f1c9b120493 1104362 coq-equations_1.3.1-8.20.orig.tar.gz
 5433deb123978da18a30d6ad4b9415be7f0445b7f7e1ded90c1a26bb0eb6e075 2992 coq-equations_1.3.1-8.20-1build7.debian.tar.xz
Files:
 5cfe3dc4c2232a559e866a492917975f 1104362 coq-equations_1.3.1-8.20.orig.tar.gz
 c2e97cecd2275d06687847c134a62b7b 2992 coq-equations_1.3.1-8.20-1build7.debian.tar.xz

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

iQIzBAEBCgAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAml7s7kACgkQ808JdE6f
XdmfIA/7BJj0/1PPCrg15BnxmRfqutPONeweW7T1S4XtT8E0UMnOCLPNT96aL9OX
Nfy6EZL6bwT9X3P/XXELlsWEpKD2J9ifP2uXp9RFg0+u9ug0xoLV75tmrAnlxV4F
iRtu2TOhU344Eejt0ESByts/IkhgB8XIoeLf6bpNdBGGRX5wLVrg5KE1u3aW3Lmu
rPj39PYu8DFkQ2IQtIswEXfh2uYLRJqORaokkED5i4h1SzsnfpRnNMKY76cJfpSZ
KvusxaMIK9hqfTDGk9H0Y1SrPFpBx6aR8QnBQxC6UD6Kie0tXFSNq46C3S+4Q0ZJ
MVykgzHzEVaaREDpFU1sCEnAZddNEI65iyAfOg1yRO5UMXehNzFrFDavF8iY8wiC
SS6CwjD39lU0wckGBAc+y5USRcUWZyWaUDwDzmp8QlL8lUIu0+lsUQj+3Ss2eyvx
Qu++S85ttY57Xpve2Ay4B9jBhpjh7NIaAUZ8M1ATgIb0DVx7kMOTkLpIUuIJqLgQ
ynHVa1KPpQlhxrdPIJfj/0EUzH0WQLf1aeyfmiUZymRcxlyyco8dSeNfjmTxSOMq
jd7jglslrGOH7FoTSvTO7N7FNTyUEjQzjPA8e3TJr4A586NDfOBRwQbCrB937B3g
cRHAlLVyW3Nk7cr3sSQwIWWixCwbJykD1elcNEwThMPzfrQbbhA=
=DviP
-----END PGP SIGNATURE-----