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

Format: 3.0 (quilt)
Source: coq-equations
Binary: libcoq-equations
Architecture: any
Version: 1.3-8.18-1build3
Maintainer: Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
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:
 eab084c37f1ec1900e9c4b929c58869011bae18f 1102730 coq-equations_1.3-8.18.orig.tar.gz
 463adb779742b16bb16d6faf08d40245134e3bd4 2848 coq-equations_1.3-8.18-1build3.debian.tar.xz
Checksums-Sha256:
 4bd6c7984787fa7ae8b8f0fd06e5a1e0ce7ea82afc190f47602cae1f0e402ef5 1102730 coq-equations_1.3-8.18.orig.tar.gz
 30537c98d8c1fcd209853f49dbc5a12419811326f946d6a68378708d0da5a507 2848 coq-equations_1.3-8.18-1build3.debian.tar.xz
Files:
 1a2bada154ceed57fe493b9180f73f50 1102730 coq-equations_1.3-8.18.orig.tar.gz
 0b1c08a762b9410c6ccf8a5c9542e19e 2848 coq-equations_1.3-8.18-1build3.debian.tar.xz
Original-Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>

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

iQIzBAEBCAAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmYTmeoACgkQ808JdE6f
Xdmp8xAAq6tAs9xpNy/NwoFZ6LjRv97upf9WF47qH6w6Zx27fBFKkTc6c8Ue+SvT
FMXe2Sp1y775Ma5HSOPbDzO1qsKZUFKGAZyo+75onQ8XyZCTbrJ8eSSyXJZsQLNQ
GR8ANFdfo1LYAg8FkfLetXaWJzKIhqUJVmV15nV0HN894gdQWYRFkqM1OFHzA2j+
uV2cOqWONDLJgFTuhvUw0hs8ExMUupdjpb9Ojj/5Gvxln8/G/SkvIWTVRHYS9j+q
IsH60HlOv4JPU8eIQBoOQeuB2KvQCmDVFqSLmIpyt9LbHjzuIUaCN4pD6FyEbjCI
EGfe+5k+lUo+xAh5SsJhO+H5InpgYMZu8j3qFrrtBbNiV6BDafxcirBTqtgeVKYJ
DwEnS0zQkonxXjZjOzH8cb1aafNiaYgzphQoNiSHd7MffREg5dyOaj7QJprGkPHi
X7mM188VGsOQLI0QX8lzcS5vLyGsZlACSakwH7SlhNPxL2Oy07Vd+JcdS97xOyrs
qhN1dJNV7BzzPqVAQLASZ/sm5v+LKRxv+K0eDI0TwXG+ss7KRwxowjHtGLlcTd29
ySlwfCDIfwuM6I7hEh5E14jsFGjEgu1HRu/mC4+H42kTNaWjLD5Qdx5ENgaRIG7G
KhTabR5K3soZInuvZKGbKa0Kp4iVVszfv72uEU77FlrGjkbXubk=
=4/RW
-----END PGP SIGNATURE-----