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

Format: 3.0 (quilt)
Source: coqeal
Binary: libcoq-coqeal
Architecture: any
Version: 2.0.1-1build2
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:
 e6eb31d3e47d2477602571503e607ef8df4f73bc 216810 coqeal_2.0.1.orig.tar.gz
 d30d5f2334a8f9a9a0038c27b6e0ec0a44a73037 2428 coqeal_2.0.1-1build2.debian.tar.xz
Checksums-Sha256:
 89bfa95165541042756c0bfdc82c9733b777b7129072b06624bbd2df7d1e4385 216810 coqeal_2.0.1.orig.tar.gz
 0ef968e915fa061fc0949614fa17b990a458522dbf826edd4d2a179f52c0f115 2428 coqeal_2.0.1-1build2.debian.tar.xz
Files:
 41a4c791dd853a36f1a74a60f7a1b776 216810 coqeal_2.0.1.orig.tar.gz
 6d38ae253e5f962646ee37ef02d3a15e 2428 coqeal_2.0.1-1build2.debian.tar.xz

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

iQIzBAEBCAAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmXP/X4ACgkQ808JdE6f
Xdk5IA//fITZuEd4sbAyWTqmr63euh81KbF8JUu3YpsGSLU/SLGq+8LMEEFjeDXP
RfGhCEWkxfFdzw6mEJhTh4MyvUiYnEkLN7fc9iW+3J7n6348Ybi5QB/Xzy4KIiKh
orRVEEdgvcFoKDh4wdQVzDyu3LJaXfzFZmdUJ/tJ+kNdhFo9fw81hfA54bPSlDtT
pATnYGpbtG79glMmnwUQFIkvicQde9u27afM/Gwom/5EyF42N5cNAnqDetkGi7BS
wp5zKJulmAEJIAsr2pmMdDmVOMo4MXqOtqphEZwpYpoIYqC9xMS/J09Ycw6BJsT6
Tmcsb/ne1/SVdxeXQoEs6WY/qvasSqY2ZEj5PvQf1MF3gUE1qxsgmchvmpG5bLmo
6Hbkr/G0RhQOWC8dhPbtgX5lIstE9U9PPxe7mFaRpBe8bWc/5J2WHP+GhJKvo1Cc
t+dDvwTk83YZ9nuqCgAIeUjwHr/iNYLhlelXJ9yZtSN14G2qQ7igoEN8cKdjyoCR
mV2Nj8Gz/m5sKHXQKdiis/cwY6UnesjSRxDIxdFGX0uNery7udQuQqUAtZ9DU2F1
9JYnCQUaUxNyUIPcBTZHfsoX9LXgzRk9xLP6A0eHNtZlnC0P+2DwR/lsUp/zYpH4
MGFxsi5RR3NaEIWTNLGHMf3KVXPLu/iycWDbqtYOxNPnWn+/ROI=
=gw+9
-----END PGP SIGNATURE-----