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

Format: 3.0 (quilt)
Source: coq-stdpp
Binary: libcoq-stdpp
Architecture: any
Version: 1.13.0-2build3
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.7.4
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 (>= 9), debhelper-compat (= 13), dh-coq, dh-ocaml, libcoq-core-ocaml-dev, libcoq-stdlib
Package-List:
 libcoq-stdpp deb ocaml optional arch=any
Checksums-Sha1:
 f7858a70cf82cb2868495b032d67c2a5610c6947 342787 coq-stdpp_1.13.0.orig.tar.gz
 42b4a053af34991ebc3a39464b7eef55a56b3ae3 2984 coq-stdpp_1.13.0-2build3.debian.tar.xz
Checksums-Sha256:
 f5e99bf211d8a0508a4bdc83072fad07d65789016c1c7ae7e29b5392056d3ed6 342787 coq-stdpp_1.13.0.orig.tar.gz
 972a45343df618454d2e229b7688aa5833b8d80a2651e823cb973d20d5449f31 2984 coq-stdpp_1.13.0-2build3.debian.tar.xz
Files:
 45ee699801c8697aa5a623694a55b1b0 342787 coq-stdpp_1.13.0.orig.tar.gz
 776f86210de0aa6ba07cb416432f7551 2984 coq-stdpp_1.13.0-2build3.debian.tar.xz

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

iQIzBAEBCgAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmqiVVQACgkQ808JdE6f
XdmCZw//YlafMkxVQY3lcNuzSSNk1kYA3iU9jYOTKlVsOj8U1uhoDMm6NS1zDFV5
gsAAfWt20dc4MHB3DsBHHJ/so/1mPf5T5r0fNfkcB/wEwFJy06AEFF6UMLsWae4m
/gpsrxkWlRv/iu46+Z7+1w8tE7PeEc3xqXQzVY295AFLOm74wlseJjODpbxeUxi1
gNua6sGVYkC+taz0Mh4LflhL8TLtCRx6vEs2ld6wHpINWY5fvqSRNJzJTW6lx8P8
2+uyDLtz+HlkS5BdCEGm7XCTKJIHcXEdjod/LRD5PaxWCH4Bp1bs/M2d1JSIeMnS
Y6iQLxwGKr/lB2x/A0+vukpUMT6kAPNfyvEpfUMTZwEiiBMaxpdVUh1EnlOKIyE+
ic3Su2JV0qGI5ttFBu4GT7EQhOZvTx4HzO+5MEYnFcBsPv5Ra9Z0XWiCzosa89l2
StYYZ00P7VGVT94we2/nf/v/pDJ3RyhxWZ4FzRYzlBLjxTvMpFwmDSYRGsoPq7pv
aleuzPD14iSSytiiwQOe3QGT0gQ2mf5TCD0hnG3OVLJZoRPyGnh/Uo/JIBjCJ4/o
xnwDmSZDL1DndRzRLVz3bNDTLPzEiqtv38tf/ALLkspztFj8Aa7Y+T/Ay/f5/eIi
TafJtrOuC23vXCSuWN9/qoXKaRfKNLeVX9xjftCTgvDVeM8gOVA=
=UgpZ
-----END PGP SIGNATURE-----