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

Format: 3.0 (quilt)
Source: coq-relation-algebra
Binary: libcoq-relation-algebra
Architecture: any
Version: 1.7.8-1build2
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-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
 9fba27759882eae91a946c7e97ec297f24912105 1704 coq-relation-algebra_1.7.8-1build2.debian.tar.xz
Checksums-Sha256:
 4125b11912f5d9cabc98b87487ae632f150682021108ecf7ee0b5e343387025b 196590 coq-relation-algebra_1.7.8.orig.tar.gz
 3384c89a58c78a17dff47caebec058a30c6b14844e1a59dcbf870a085a384748 1704 coq-relation-algebra_1.7.8-1build2.debian.tar.xz
Files:
 5978961b75a58dc5dcd2458c69f3b57c 196590 coq-relation-algebra_1.7.8.orig.tar.gz
 df39bdc45c8dd35c9ff7d958e08eec18 1704 coq-relation-algebra_1.7.8-1build2.debian.tar.xz

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

iQIzBAEBCAAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmPHtl0ACgkQ808JdE6f
Xdlmfw/8DGDo+GZnCJq5C0NdjalxVYdx1uW9U0YqMGz76WQbHWu/8y0IzvzSPmJz
mefaO4alvFNaIwM8RtmW6tQpSOi1E41F7MjZiO8maV5fM0otdKR+zr0Axq9OCwEn
btqN2RXhd/lwfxVJ0jGUrqajSmUBfYLAugoIWymJQ39v8e1q2tBaC4Xnb2s/Ii/V
iV1cZlb/3xLC/nljztyl6j5pWSSk7b002uvR1NtLIeeJx3qFBgBk20p9srqgKNzG
VClSfNcRPg8x1N2jffvFvxmOPT+/sEocD4acL74w4NnNqrD1AjqydBxdh1lEsFpb
lwwOL9k5CDTP8CgF4I8tPbMVe6Dun1UCV6OvHdXfHdhQlOXfKO+mmyHWGUn6jIG+
hnRwJCqjdSb5gD6dTn2zVm1xbiitlvCKP77DKk2SwgHKjabvK4Br4RzU6dOv/klH
21FXrhIPd1sPAPy6OKXok6qAIP+bA6OdSCSG9vvwqOD8x9EZrmOizQhOxmr2NTP4
OMjCmX+64rUiMqxNEFgtquH/OtC3ucGiBpkhDHWm/WNzu008N6+BI0SZVJ1twruY
U5hw8SKDr+ok44fKp02mRYAWCyBQYeAK34Dj9CZmOo1/Qt9pO9HESBsv2ZAdU/jb
pOOCqOfycdycjvdXOOkzJjOX6W/IgMNMcJetHqihH94QOTVa+Wk=
=vvf2
-----END PGP SIGNATURE-----