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

Format: 3.0 (quilt)
Source: coqeal
Binary: libcoq-coqeal
Architecture: any
Version: 2.0.2-2
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.6.2
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 (>= 1.17), 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-paramcoq, libcoq-stdlib
Package-List:
 libcoq-coqeal deb ocaml optional arch=any
Checksums-Sha1:
 fb950462de2db1231958f913cfae36dfc25d7f3f 217033 coqeal_2.0.2.orig.tar.gz
 60bf08a0d8c0dfbb6c64131306c2e74c17ebef0e 2372 coqeal_2.0.2-2.debian.tar.xz
Checksums-Sha256:
 db2a26aee493f1cbcacbde9e7d88f778407ddf0f197d7c65a7ec1c3e411f2c21 217033 coqeal_2.0.2.orig.tar.gz
 55da18b4f09e0c78a06abc953ed8b85e4690d5e40db0c47a42ba24025245880e 2372 coqeal_2.0.2-2.debian.tar.xz
Files:
 d2a05f683295d62dd3d03428a679e01b 217033 coqeal_2.0.2.orig.tar.gz
 f05568197d2df0e75be96f325add5e74 2372 coqeal_2.0.2-2.debian.tar.xz
Dgit: f7721261666d10a54bb73b7367f0af366fe35182 debian archive/debian/2.0.2-2 https://git.dgit.debian.org/coqeal

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

iQFGBAEBCgAwFiEEbeJOl+yohsxW5iUOIbju8bGJMIEFAmavIuISHGdsb25kdUBk
ZWJpYW4ub3JnAAoJECG47vGxiTCBf64IAKezOB5OwTb8+Zjt3LS//onMVKS9iuWp
794Py3K0PTIQlCOeZqt3eU/Hz/fNjl0pT4sqd+bqbXxqkcm8KLU+RpoD+r8wAxOS
kgj/6siYS2Q4evjPGVZirPJgr8HDNap4+EFUpfehvHcbtFrAVNMiKB3QlIlUtT5s
POYRoy9vVG0JNXuqRFpmfhghA6IH723fYJo4phMFqu7r1sWDbNA/EBYFOD5T2El3
PZE0CF1RO4RHa3jD2iJkNhSa6hJmedwZ5cnjCzJUblOu/3qzgphEgMYEcW71eih3
oqVEA3VNqpXCR7XM4Qw8EONy6zGo1mUMoGa33kWGpPMqJb9L8CwpGkU=
=N5v7
-----END PGP SIGNATURE-----