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

Format: 3.0 (quilt)
Source: coq-relation-algebra
Binary: libcoq-relation-algebra
Architecture: any
Version: 1.7.11-1build8
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.7.0
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:
 604c4995145c10e227d848ec6c0368f6b599ace9 196680 coq-relation-algebra_1.7.11.orig.tar.gz
 e0b02423f2fac00538a64de44856df4e8c5ed07e 2452 coq-relation-algebra_1.7.11-1build8.debian.tar.xz
Checksums-Sha256:
 6cb55e82941033a378f67fcec8bf16865463a3fde92b2b7c8871f23b0b4723d1 196680 coq-relation-algebra_1.7.11.orig.tar.gz
 1dc941e185c5c027b608699ee8dc0d595b009ab545c9eed1cf29c3a6aada8523 2452 coq-relation-algebra_1.7.11-1build8.debian.tar.xz
Files:
 5475a391967d8777aaf0da8920cdac1d 196680 coq-relation-algebra_1.7.11.orig.tar.gz
 6bda85cf0143779163762668d70476ec 2452 coq-relation-algebra_1.7.11-1build8.debian.tar.xz

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

iQIzBAEBCgAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmhUPG8ACgkQ808JdE6f
Xdm50w/9GBcLsAD0xuDjtLRi7dW7U2ZXA8iJ2NKxDG7LQJYeAi5Z/Np5UlAatBAn
bI/GAkxx3Rt0xsAAI3COuYGD59jbIx/lySpEE5yNUE58un4fG5+9EqzJzV/ZEXCn
Nn7lCuPdUMWmbTmPcZnPsiyiMFX090/MB6OFFauqPOe8VwMLHuqaR8oQzq+Fpf6F
n3n9YVF9+lQHc2SZ1dHHQudjLxbT7Ss5rnml+TOEyBCFeycrX3CUIC8hE/vAN44Y
0Yj5+gj6dZuPrp4TkirTCGKkPVJ7XwKtg3xE8e0nTRQ4HKkqlwwDlqcqcWGv3LK3
pzkWfx24mJ/uTvWLBAOpLO8ZgGwfuhJPAa+1iQwWmW88aNbH9tGaIe30FQxliDY3
yHtA6jKoMsjlMcBBdhtwwse/PNdsav70Zv9dv4Yf7s/diBmeTDBsVe/YLlxa8eF+
YN3WhnaCVku5kS0QRI2NtCNoRbed0TUGvZHa73hyZkel/y+3g//d+7DxqiM0iHIU
3tExdfgrbizJjgcQSk6xlQW5g4L4PrZnUg9Bt001phrMABRAEZeg5Wo7qG//htse
HcfXaoxBgSlxCptS8MJ8nYaQ4t0ZMDgGTMx5R5I6f6eWV0Zkpx0X2HcVFahnUb16
0g1x5OOE5mv8gqupJ2hqgfHNbnuVK5UjZxur2EES7XpW/GwbBSU=
=51s4
-----END PGP SIGNATURE-----