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

Format: 3.0 (quilt)
Source: coq-relation-algebra
Binary: libcoq-relation-algebra
Architecture: any
Version: 1.7.8-2build2
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Uploaders: Julien Puydt <jpuydt@debian.org>
Homepage: https://github.com/damien-pous/relation-algebra
Standards-Version: 4.6.1
Vcs-Browser: https://salsa.debian.org/ocaml-team/coq-relation-algebra
Vcs-Git: https://salsa.debian.org/ocaml-team/coq-relation-algebra.git
Testsuite: autopkgtest
Testsuite-Triggers: coq
Build-Depends: coq, debhelper-compat (= 13), dh-coq, dh-ocaml, libcoq-aac-tactics, libcoq-mathcomp-ssreflect, libcoq-core-ocaml-dev, libcoq-stdlib
Package-List:
 libcoq-relation-algebra deb ocaml optional arch=any
Checksums-Sha1:
 11cba1bb51641de6b336ff5f1e18852d59551650 196590 coq-relation-algebra_1.7.8.orig.tar.gz
 ffcd45949d0de53a2c3dfee3e5679cfab218ac73 1744 coq-relation-algebra_1.7.8-2build2.debian.tar.xz
Checksums-Sha256:
 4125b11912f5d9cabc98b87487ae632f150682021108ecf7ee0b5e343387025b 196590 coq-relation-algebra_1.7.8.orig.tar.gz
 92e261e9ffd447b030665e48a4ee9edd3bf94d55074a7bfa77f952411dec9992 1744 coq-relation-algebra_1.7.8-2build2.debian.tar.xz
Files:
 5978961b75a58dc5dcd2458c69f3b57c 196590 coq-relation-algebra_1.7.8.orig.tar.gz
 65e39f7d0bd4f36ceecb268a767bd329 1744 coq-relation-algebra_1.7.8-2build2.debian.tar.xz

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

iQIzBAEBCAAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmPudpUACgkQ808JdE6f
Xdk9VBAAs0vo31nUjPoODlsafkDsqhBi21Rk3D03aq9Ck4lzM92ROkYDInequ6Pw
2MlSHWfN85XoGpdCqI5s2qdvd6pMVg5LPVvoLiTe6hFbD5ekyABULm7QZBrmNqhr
1Qm+LuVK3xE+WWr/3s+q3Yol4Nqj3h8LBNAL25l0hrro0BDVs4ByiRm4jpn14PIE
5+Zw8Dwub7TQamNFiZc30jjInstX75HdlTNoyyyDIpPcKpDX/FtBzizZaUSefx2H
B6sgH8XIiNSSnJua9ujnNOUvjSc0z6lIH8jY0vEYQYSrIrnx7USRTqdmVwcc5SZD
IO+olSl47kDdAseu4zEdokHVg9pMp3wFWKRjFIvfzpw/HIgR3zCp99N42U+bom4i
5lYLAoRijD0sc0gh/aUn1I28vHo4wKp7ha0w5eSdDHywLlZMEVTr/axG7LeA5IGh
fkAYh2X1fEU9h8sR+3tXlY79fR+8nDIum2NZgaWmD2WVm/NdamkS+zKUFYq95/V8
9VKwJiQPMswgF1QJbLHA/cEN9jHq0HdA2b2HZ0jCbLBZPK+Qsl9UTjfoK1l8xVl5
2nJb16i3AebqjDExoDHctT079r+r6L2SsvQ8kUgwj7ZNGa7owGXK4II/DnuKEgJm
p1ERARIOif0S6fdrqvthuKQZ5oeoZR8Zk0r3SZaY62uCp+oOOkI=
=zeGC
-----END PGP SIGNATURE-----