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

Format: 3.0 (quilt)
Source: coq-equations
Binary: libcoq-equations
Architecture: any
Version: 1.3-8.16-2build3
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-core-ocaml-dev, libcoq-stdlib, libocamlgraph-ocaml-dev
Package-List:
 libcoq-equations deb ocaml optional arch=any
Checksums-Sha1:
 4788dea86e1645dcf8f3ad4fe44f977a72c479ab 1097638 coq-equations_1.3-8.16.orig.tar.gz
 6a7d0d0795a74155e35a9af3b71977af30ed9070 2332 coq-equations_1.3-8.16-2build3.debian.tar.xz
Checksums-Sha256:
 dc0fdbf15d1a6b5d5f83f65fe55d39bba74d21908f1165df0ff4ea3f766f698e 1097638 coq-equations_1.3-8.16.orig.tar.gz
 7577be5e7bdaff38b2d86743a6ec6149bc2066fc1c15744a34176a3a311f449b 2332 coq-equations_1.3-8.16-2build3.debian.tar.xz
Files:
 6c5a89dd4eb82608c27dcd53bae7d54a 1097638 coq-equations_1.3-8.16.orig.tar.gz
 9a367387596a94a012ebb05f94c77dea 2332 coq-equations_1.3-8.16-2build3.debian.tar.xz

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

iQIzBAEBCAAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmSILMIACgkQ808JdE6f
Xdk/2A/+Kt+DPCibRhjR4CQRvn9YR7nKniidShuckqqY9a/aP6UP81S0JgidykjV
73BEwFdevZtNhBg5fjNPzeCHQsLu5SRRgql4dQhk0MihtcAndRdCxwMqhLVraZyU
Vlx+km2NeSCCfMTwyip3R5Cd8KsGcEOD8Nmm6SuozTBuO83/yhiiLIrFpir2mJMv
lBt4aUQ/B4oiuVZ3vCPHqYYUZQF1F6FnvAEz0srnHaYKat4j6uo3MktZOqt6u7R4
Rh9Ox4JrngJQ9Qavm69jDdToe8oMLunxXXQv5X7KcGQVkPqNrzZoEdK1zbENPyv/
Sn23sj+Kz+Hv3N3YJ3TUWSWrsR1l847bEh9SYjbbD46CytRxS6iT7KNt4sTtr1Jy
MZeJP7W/MYfKL5ncR9LoU+1VDHt5jq9BfmXA8Z7iMc6TPLey+Oxtx9rvBs5AeDlT
E/yv69N4HXTlzqUkvaZL2qII0qZW9VvTFhR4zJEkfkiH29Ac17e34yd+7V4v1/tR
wX1l76PGxSQQLeQOEB66sEcNwbfSeAtFp4rTyw5J77VILVtN0X89jS2Q2W65Crsu
JHY4nqGuTXysahpXRqGAGXBep+FL6od2GTbxilHOXHEs3n10WKYLYsC6LEcrUo5b
LwBkgoIk1TLeNQBKmg32JAsFrpy3rwsKM+LC67a46mQXsKJ42lc=
=IjEF
-----END PGP SIGNATURE-----