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

Format: 3.0 (quilt)
Source: coqeal
Binary: libcoq-coqeal
Architecture: any
Version: 2.0.1-1build3
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
 0b139016ff73e1d5968d627ea1b5460eb0c7ce88 2516 coqeal_2.0.1-1build3.debian.tar.xz
Checksums-Sha256:
 89bfa95165541042756c0bfdc82c9733b777b7129072b06624bbd2df7d1e4385 216810 coqeal_2.0.1.orig.tar.gz
 022e708d546c35da5794a7559da63b4fe30fe217bd25c7cbc2999e9c6cf2eeaf 2516 coqeal_2.0.1-1build3.debian.tar.xz
Files:
 41a4c791dd853a36f1a74a60f7a1b776 216810 coqeal_2.0.1.orig.tar.gz
 643d0e33b088018f913dc0d7f8bf49a6 2516 coqeal_2.0.1-1build3.debian.tar.xz
Original-Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>

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

iQJOBAEBCgA4FiEErEg/aN5yj0PyIC/KVo0w8yGyEz0FAmX/cLgaHHN0ZXZlLmxh
bmdhc2VrQHVidW50dS5jb20ACgkQVo0w8yGyEz1o5Q//ViU23bJ9lhGd+CfWM6F9
NyF7ehFrrT4beZnT+Vrq21WwAO2J1saVkLsY4/BOiwXDsJyvJIcLOz+it5ScFfVI
ia4Jt/QgFRb8nssLHkXo9L0EtaHJxn0yPy0ZBjagVpfWSoD7z/eYMywq/EoF36qS
OFg4tCNTpBefMqXYcGfRa6MajAY+vyZI3S4xkr/tpU/i83dXRBeU1IdZ/F00kckf
eCyJvDjBRBuz73YLc75NjzCb9MIwiFI0aoPTeSSZtdG1Ol5in0tlA15yhhFemSMq
qmaEeFvcBlgQkD92stqlP+LgooBy+Enf5gbd+QOiTbuFPTQwGuSQWENN33+w5386
1OkF2VGBY0w3bgUMu13BG5TplwKqkusN2HYoNf2e6YuBmZ2/qInKc+/yq76zTZHd
3Htvkp6GE+tdtQnmx66cCZAFt8gEFHCkeLJVYL2lXTyc4gJRkJKhDWT19VRkhzbO
HylOaCTYLZmzx5jE4FG5qdR3+/zeNaXatz1Z2dOrq0Km9/tigNYWk253kAAX3VcX
HV1z4FbGd9spgzrKZN1DNCF35Xw50y7ovtR1IB9qMpizbaZ2FwknqrV/RLNEW34d
Fi9paJujXgRIzJuuKb3UPLgdKZGqESOsdOK9AVivrRZee8mapW3KdCO5rOXElpQM
LF46P/Gc5isMig2wdb/BTrU=
=U3Oy
-----END PGP SIGNATURE-----