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

Format: 3.0 (quilt)
Source: coq-equations
Binary: libcoq-equations
Architecture: any
Version: 1.3-8.15-2build1
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.1
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-ocaml-dev, libcoq-stdlib, libocamlgraph-ocaml-dev
Package-List:
 libcoq-equations deb ocaml optional arch=any
Checksums-Sha1:
 56bdaf1ed1b8746cb0a11ee07c9cad21ce64f61e 1095737 coq-equations_1.3-8.15.orig.tar.gz
 a4bd4df0b1b0997ab8a4bbf6857d29ddf6c11557 2224 coq-equations_1.3-8.15-2build1.debian.tar.xz
Checksums-Sha256:
 459636a90f7d45ecc2c082fca91478e7d7f27455518c9c2631541ba6488f4a01 1095737 coq-equations_1.3-8.15.orig.tar.gz
 da0fef5846d728360e842904bc4d4921870635dfce49c4be6425b0ca3e8a5361 2224 coq-equations_1.3-8.15-2build1.debian.tar.xz
Files:
 e3956751e6f135aa3ec2ac6514afed4b 1095737 coq-equations_1.3-8.15.orig.tar.gz
 98d86d88a6242dc6f18c8702191b88d5 2224 coq-equations_1.3-8.15-2build1.debian.tar.xz

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

iQIzBAEBCAAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmMN5GwACgkQ808JdE6f
XdmVYg/+Or82w1eVFAz0tdZjZQ4UYGFagNlibCAFAQQ/76pKYPKy4+LR2VPEzfq9
Sdbar8I1Hyvvct5250aj2i2q7CDCGTHfLrwv4zyyNpJDo+cBk70K2MAIGdGe2RDq
yKiQmUzrsuFuwbTodJamIMx+Ua0aD/uoV7KvyBaiDnDjaqkaagp2oribYeP37XWg
LB1P+aT6hzO6F0lo8kPs392eR0d/1Y/RZi6NzN9nkaRUBtdY/wPbahL2xM3Vl35b
zCiO/l9qg4CzhcBXRS7ReyY+wI6qdK4o1sCs5QL7UOL+hIfKDbkLXrO2bsqJNl+r
1A85NTBcKSMgiElvIrF/CF7TphkbmKqMqfY4Zn2d0f5/k2yKBI1N10LAScZnAQiP
KX6KMirFMJWOy9HaGlCIpO0cAMXJ4X9xyO9a46ch/wlYr/ZvRe49rzP6ni0NvIBT
BqMMJSIQ+tE0poFHF1YjGihwySTHb5ymxSKDpH9X3wAwe1OHkOmT9io/CBBSxPF8
HD6aGnfincWSRjKaDOT+Wdjqc4WUa7u+OjH54p0gcdT1PX6NU1i1pVK9hXFeI1PE
YSJcFhDdywStnvruxHF1p5UxEFnaH8/PPWSP9imeu3YmLkW/uZXML74oz0kirn2S
mjiUR2fuMRUKgCtE83ZhA3ALWKnfMcUijKaSZcHBcwtmF69W76w=
=5Z4P
-----END PGP SIGNATURE-----