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

Format: 3.0 (quilt)
Source: coq-equations
Binary: libcoq-equations
Architecture: any
Version: 1.3-8.19-1build3
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:
 38fdf70af0bceefbb4d14eae0cb037b124bb3ba8 1102843 coq-equations_1.3-8.19.orig.tar.gz
 4d932fee33151be057fc2c1afe18bc56b698b0bf 2760 coq-equations_1.3-8.19-1build3.debian.tar.xz
Checksums-Sha256:
 4d4d1aa0488dd111cb7f520deec6c0f9e41622b884634ad96aee554f899e4198 1102843 coq-equations_1.3-8.19.orig.tar.gz
 61c4bfc0b86e646a926313e36216e7f6116d2a73ed23f4e97182db9a2ec7df2f 2760 coq-equations_1.3-8.19-1build3.debian.tar.xz
Files:
 a83b2e75a3440581de8eba8f0c0ecea2 1102843 coq-equations_1.3-8.19.orig.tar.gz
 b1aca1fc9abb02702bc61a96f1f22622 2760 coq-equations_1.3-8.19-1build3.debian.tar.xz

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

iQIzBAEBCAAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmZtpw4ACgkQ808JdE6f
XdkZ9hAAvMRDo27A/aJcbDoYDOwzeXs+BcWmu3hf5RpU+yqIpSClgGfTGgND+NSg
BLnIjyu+LAi4nTe77jhPMgFAvuTQpQh/079uF3S61l3BqJlscsOKf9FUrFulUd5L
1Zat7J4PkMVIrCB93Jpc91jFdGt6qiKBYCcPh6o7/ZF6g0U9RjI9zGhvxzjQGf3R
bweEN860Tzfjn7zjvWrh+FP8MwtTKRs+58J6vpkdFGDEvl2jLM3Gj2cRecgNdOm+
oY3vi15PjRkbJYUHJRcLJfFzcsZT0FB9h74zcMcCzxTV7ThhnPaVnbLv1fgqVtEM
v0klCkNkF1rhklb3dIilHmUDoINV3R75m6KPKsqwUPo+tsU/AYRKN6kty+uFiFtB
qvWXl/Tl6+psiTarl338tbRjuyPm7Het2zMvLZBGEpuuip4bpMwYFaHuovJea5y8
nFPUIz+rJYVwlK0Esh8yUwjVv2IWGO89lE/EeZqP2PUaIWpfxBvEBjeNwFkl+IHD
elFgNr82k+xpTt1/iMsw7cyAOqd2NfIFvsZ3VPZlAU/8VmJT5+SJt6J1AGestg8J
QxjBsXg/ra9+gvh/08lS223TC70OIUKU4bzsw3iOSqmnq62cnY1lsvLQKCrXu+PT
8IbnM6TNp/Fq9Wxwcnfx8NzGphPtmbniWD4SdJvaCbVNdMgGXJY=
=+cdx
-----END PGP SIGNATURE-----