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

Format: 3.0 (quilt)
Source: coqeal
Binary: libcoq-coqeal
Architecture: any
Version: 2.1.2-2build1
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Uploaders: Julien Puydt <jpuydt@debian.org>
Homepage: https://github.com/coq-community/coqeal
Standards-Version: 4.7.4
Vcs-Browser: https://salsa.debian.org/ocaml-team/coqeal
Vcs-Git: https://salsa.debian.org/ocaml-team/coqeal.git
Testsuite: autopkgtest
Testsuite-Triggers: coq
Build-Depends: coq (>= 9), debhelper-compat (= 13), dh-coq, dh-ocaml, libcoq-bignums, libcoq-mathcomp-algebra, libcoq-mathcomp-multinomials (>= 1.6.0), libcoq-mathcomp-real-closed, libcoq-core-ocaml-dev, libcoq-stdlib
Package-List:
 libcoq-coqeal deb ocaml optional arch=any
Checksums-Sha1:
 db51fe2516ea1e69e6745f110bbf3ee64456db43 227558 coqeal_2.1.2.orig.tar.gz
 5c122b1f33fd0379ae0bb8af1599ccf45e8ae54a 2632 coqeal_2.1.2-2build1.debian.tar.xz
Checksums-Sha256:
 4cc9f8735dfe6b9eb62e1bde8d7bf50c98621daa012b97634b7aafca03a18b3f 227558 coqeal_2.1.2.orig.tar.gz
 2584f407b778044f6d66e941e47eaf1b08f6801b4a88361dec4a7e3dbc6afba3 2632 coqeal_2.1.2-2build1.debian.tar.xz
Files:
 dc9b861b87233f88030a94721bc1e53c 227558 coqeal_2.1.2.orig.tar.gz
 fb4783234f6d22ca123d2ca40b70a094 2632 coqeal_2.1.2-2build1.debian.tar.xz

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

iQIzBAEBCgAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmqvds4ACgkQ808JdE6f
Xdkb6A//X/wzBDp7NzTk9nHip3vmR6foeHq9vpeYsHbK5FBKPJpfWeuDB84wj/zU
0xasd3x/Shha1BJt4QUQDLkFxJwm1s6EaxbUYRgnoxoxZ0H488msZ2lin6/Zl5rk
unW3rEDOYeSyI+RQMRNXxGpzgwpK42viNoK1sU9WgBRXe+u3zw+qCwj6YCcKGbXa
6rXUuHrDdnMNmHhiaNaNrOJiIAN2IiVZgzFOe6AUUsoCGUUKqkYctnap7Nud14ws
3hypr1XAyk22b35uiEfiCn7uY+qrmXPIpV+7Sr+gT5CUw8jp8fI+81XGJYXO/Lk0
HSQmKdH1DIP4fWVM0va17r00NmxLW/R2XhbE+t/4JIyhpJa/b0mFkHABkgAC2zBC
ns/UI+MTdYepVhjWWw9rJe8kuII/iHSyf93Vfp69wEcCpAJ+daWAON5GstkN6JZ4
GalOcyem1v3SiXSYzIMbkz7QJagaUEmM+j8of4aCpEeRLsBReSIuGeooOwcHTjzI
woivxsYd2KjScIb8SwUNttnfRkB+4fL2qfO8BmZNz7IMZeEONMbh40B4PnCJbDzN
LXqo19CoNwgjYeAsiC5FKjs7m8KBhhIseKLMCdwSCUPrKg6WVzwQUJOr6Q6EolK0
7TgXGi4Cw3YA/QZFAd8lziIP8/khQoSpHi9UNrscrKS5wfWWYpA=
=t3wn
-----END PGP SIGNATURE-----