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

Format: 3.0 (quilt)
Source: coq-stdpp
Binary: libcoq-stdpp
Architecture: any
Version: 1.8.0-4build1
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Uploaders: Julien Puydt <jpuydt@debian.org>
Homepage: https://gitlab.mpi-sws.org/iris/stdpp
Standards-Version: 4.6.2
Vcs-Browser: https://salsa.debian.org/ocaml-team/coq-stdpp
Vcs-Git: https://salsa.debian.org/ocaml-team/coq-stdpp.git
Testsuite: autopkgtest
Testsuite-Triggers: coq
Build-Depends: coq, debhelper-compat (= 13), dh-coq, dh-ocaml, libcoq-core-ocaml-dev, libcoq-stdlib
Package-List:
 libcoq-stdpp deb ocaml optional arch=any
Checksums-Sha1:
 5fad69b07b70bd39cbf9d70f8debec53cc6b924d 254469 coq-stdpp_1.8.0.orig.tar.gz
 0146c0df8d316b931ed5fc5f06dc7fdd4cbf79de 2488 coq-stdpp_1.8.0-4build1.debian.tar.xz
Checksums-Sha256:
 dab131d35f5b647bc3f846d64d48c154dd999461561ad1d94b477249905f7328 254469 coq-stdpp_1.8.0.orig.tar.gz
 cd306d62d91a69bc2906aef0aefefb7304e601193f212ee1a729b1c9d72b3059 2488 coq-stdpp_1.8.0-4build1.debian.tar.xz
Files:
 b6202104a62a6f71a9416ba6ca1a380b 254469 coq-stdpp_1.8.0.orig.tar.gz
 8b112c597f9091a8761b6404b8655964 2488 coq-stdpp_1.8.0-4build1.debian.tar.xz

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

iQIzBAEBCAAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmTAqxgACgkQ808JdE6f
XdnF4w/9GYwldPkc8Qyt3hKxGJ0D7FwMhYIiThYRKTSacJISwvj8DDYNJqAvorUP
UI96b2tLRzyalM1QMolHSJ/Bed2v+IZue3QDelBBtzpYb+hT4kBUC3HL/cHP2dms
4hrCA2Pu9vqencfo5b8tSxtX4zCf2f3ptx/gyy3q1LTmltDMLv2aYjFjNzeXKjfQ
ktQC3js/DAFoYvIyhnNrDeu9PWpW97soDNGfPQY3LW7rGymKJJkiDhIczdQ2/Z2a
TnY5lRI1kRRFbWeU3716LmFIXCTl53rJvcnNprTZr1qunBx/djUXOVUWfC5klo09
1XC1OdOwWWcnqzUe9pDS0gwbkWgbWLPOapgN9MAes9CmsqFh2JHqFR/3pmphvRyJ
03V27bzAnflLC5D+2RoH1cdUUNJndMKGXHX8Qsa6yQ+z1+cJiHqceleJ7ktsnPzA
oz2bqFTrezZG5M4IOVbydLyp0bgH/EAFOQyT9JjpN6WNdw4BjR4+x3tgGAGHsgx3
kmU9zosSMrNQX2MdzYi9w8scA16jSeiwbMvpjCwWPPZ6v62vRkqXjdazn5KvhGWi
iZeyp1k3yxrF/8awPmq7QHsr2riqlL6EMRDMPoGXj95IWcnK4lyLoxvL7YZZrKfS
xgszdIUvjQNggMifSgZCCbCqkPCcB126OIJKihmRvTPrglu7eOM=
=/v4a
-----END PGP SIGNATURE-----