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

Format: 3.0 (quilt)
Source: coqeal
Binary: libcoq-coqeal
Architecture: any
Version: 2.0.1-1build5
Maintainer: Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
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:
 e6eb31d3e47d2477602571503e607ef8df4f73bc 216810 coqeal_2.0.1.orig.tar.gz
 37b11c9bd6efee9bcb452abdb4ebccb28507b03b 2560 coqeal_2.0.1-1build5.debian.tar.xz
Checksums-Sha256:
 89bfa95165541042756c0bfdc82c9733b777b7129072b06624bbd2df7d1e4385 216810 coqeal_2.0.1.orig.tar.gz
 09dc41cd09c011b60d8b4c2ba358a096474cf48d655d7d8833cf38bb0f94b4f4 2560 coqeal_2.0.1-1build5.debian.tar.xz
Files:
 41a4c791dd853a36f1a74a60f7a1b776 216810 coqeal_2.0.1.orig.tar.gz
 171ef374232c4aa92d54f7989038ca15 2560 coqeal_2.0.1-1build5.debian.tar.xz
Original-Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>

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

iQIzBAEBCAAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmYTmn8ACgkQ808JdE6f
Xdme6g//WaHyJ7qBArDkX+xL2kHCMsnoG2i8PnQwG1VRVZkep8KOKMklXfLoU2lQ
RlMlZUKLZjMw76eYZZbhT8t85cbbq/IaWKsr6cE48WBPi6syxfzEwFBB5biIz/QR
cBbLuQUOew9OjS8ZDzA6oEFjRFTPyP7TAg3wJjtPT93RE2E/whrH+kqubXZyWL4M
V47cjoPvIBmR7AcR8MPas3Cx5Fz8P4JC7mlGwWrGpjHDfUHI/J91JnCszsQzIZD/
G1xVs5k1ojhWF3YjNfWzbhsSEU+qpdGviSYIDOF9Pm9iT5X6nRFmob6OkUe7YHVr
J0q8VS24w8kh2KagsCnwTt6kdFtIbxAkxzIvLw8ncUIH9ncFK99TV1gG/XfR9Udn
ofaeMLNLaTqCIav/kkDVqYByWaSyPhZnL4emyJ03XbB6lvDbmlhXXGWgBo/f0YUG
H/0a0YNTn1/RG3CiEeGf4IuSWXVhPjIDfRxdlZWSkMDqPPBHsbQl334D/5Dnrf8o
63w3Jl13qb0IYyWddalAav1WpZf7gU/dzIrO2aPozzgXTeUzgrxIgLKICKNF2Rdr
a3OBaYDRzxbAODE7NgEU37TOlntYfXu79+iQoQenKhKYcZVwbVLIRtxTG/g+9v1w
BRt0fjDZVi4wDugqDMTVYtsHtcbPlCDjy+DmajnmgMmuS9rY1dY=
=37uk
-----END PGP SIGNATURE-----