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

Format: 3.0 (quilt)
Source: coq-equations
Binary: libcoq-equations
Architecture: any
Version: 1.3.1-8.20-1build9
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
 80124f87447f8b0fa04e844ecac3d4b6c7166694 3064 coq-equations_1.3.1-8.20-1build9.debian.tar.xz
Checksums-Sha256:
 6df5b2b25ff94988611e0a5c6c56d3f8b83272ff27f75e5c161b0f1c9b120493 1104362 coq-equations_1.3.1-8.20.orig.tar.gz
 8dd99d7c11b5724f7e11099f76071d29aa603e0b643c7e223a6c97e247999e59 3064 coq-equations_1.3.1-8.20-1build9.debian.tar.xz
Files:
 5cfe3dc4c2232a559e866a492917975f 1104362 coq-equations_1.3.1-8.20.orig.tar.gz
 daae4f721d14400fb3737a1ec23cceb2 3064 coq-equations_1.3.1-8.20-1build9.debian.tar.xz

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

iQIzBAEBCgAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmpOxucACgkQ808JdE6f
XdmgzBAAjvrc2uJ7Y5nSqQ6HxpEaUVL9agddphPB4goDtZqEW4MpLvtbccgrermN
PIIac1atyP9YqjnBQw4SVApLoSntwqwqLNcE8z+3nzzb0mu1ikKoU8JtUAc/xNNc
tuuq3cnphGMfOMPjuLtTaTWh1K39tl+/nBZx155hwLfYQ8rM+HSOIjg7UHwjzCTN
tcXKWA2oN9Byze+2EQzZGNeY8vSQcf4LTHoL+UBUB2+8WWAfHpDXIoEgXtk/sxMs
gn8Ce2Z6wlOupq+0+fkh3CBKwoCrzfiMU2ePEnRGj/O3v6IANeC5lN+Vx9IXCIze
x+NfVH0EWVVpABoggEcgVUhtChAEbfwiCYJllwFjwd1h41eC98DaYsftbccLyq0G
aMrtOOSNHKUKcPfvMQMP5mXkEvxYoKEOo4NND6gQ15jAEOruIPsfkvjUs2nREa8e
sEO/GO/G96qylN0kwxZ7sXev7g5d7WuL2LWU5E5EWf9NuTl8B+S/RIkJUeX5U94I
+ReUaqaQVPSyE8OqtIM8nbvV4bQzUzXhMuA3aQyHKRoZJvZQMj50Ud4AQuwyqkIr
jECaFnhzn9xm8DNNIWS/X0fx24RVs2SoqelriA7Kpd6ByuH3BgN5KmS6sbjJ0+5Y
iD8ozaWJM8I0E0gy1Ezzylvc/kgZx5hZl99wbhRvLAl+Ir3QNEY=
=j5eb
-----END PGP SIGNATURE-----