-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512

Format: 3.0 (quilt)
Source: coq-relation-algebra
Binary: libcoq-relation-algebra
Architecture: any
Version: 1.7.9-2
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.2
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 (>= 8.18), 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:
 bde84cbe3434e3c46dd454536c7752ae2ddc0075 196660 coq-relation-algebra_1.7.9.orig.tar.gz
 6102023b65f0d1166a413e30d8dfdbb31750fcb6 2300 coq-relation-algebra_1.7.9-2.debian.tar.xz
Checksums-Sha256:
 5bafbf7083c0723514230c6c787e6a4545f9b45d1053e7ce4c0f177899d87625 196660 coq-relation-algebra_1.7.9.orig.tar.gz
 27fb3f870aeed59d07f60f163486be578844f87bc67315e384fa2fb41f0cc175 2300 coq-relation-algebra_1.7.9-2.debian.tar.xz
Files:
 7b402eae531a30924964b690e83f5644 196660 coq-relation-algebra_1.7.9.orig.tar.gz
 4a8d05361d08193a054dcebfa91d45a9 2300 coq-relation-algebra_1.7.9-2.debian.tar.xz

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

iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmWFY3oSHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVRrw4P/ikNLu0dz2aP2sGhjW4H4sktNosyj13w
IFlfZqUcIYG6eb5DMNh0xw2zraRxejFPViBwY3VRAcdUJ5Ju+ZJ5gW7hqJwq9snH
kPmgvJDphkqFAjAbgvhP+ecKGtSSAS64LOEh/RMyulrjovRi8CdNbrBj7as3MJPw
dRQT+93xW1o52v9B0tK3QWaAw17Y+BSb0BDie5waucaUCkTR0slEsglDLuN0Zx8X
WEc3GzRSyDa9Wd16Ld8ZFSHjd/XKXSVJjg6jeZf/F8LYm4bNqc2KNae2bQ+E7ANc
HWHNnyVubwfvsDS71XH1N+Vc/+7DX6Pmvd4GYn09UascJqc2rPZje3RStvFuG6D9
vvQP34E3RUqB9/O4DUrZ/kd+BCArnhZHq4LVeHeGNtGW6MQCAtYe65VSETcnZ5px
SnEa1Xz6HzEbaa3MAtEpMgTTxLJU+EiZ3eWYR5Q4fPPygyZNVh7dTYd+dSkvP/QK
OuzVMYszDY8Lg7UIdYO/HJZVU4uSXMW5w7XL5fQjSGYWJ8dUAC0X8aVGsUGryYXw
2BN9hSjn5rBVeWyt0ZYGafv25frwvVtPX/FUEJNRg8Z+BTuK44bG3sjUN0qYkVkX
xoYzQ9ivj7ywhWjmQKt/2hCUpPA3kxCbgk/w1p/HK2O+s86NWr/Svi3NBMUhH4O8
DfyQntQZ5SXY
=tilX
-----END PGP SIGNATURE-----