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

Format: 3.0 (quilt)
Source: coq-stdpp
Binary: libcoq-stdpp
Architecture: any
Version: 1.10.0-2
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.0
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 (>= 8.18), debhelper-compat (= 13), dh-coq, dh-ocaml, libcoq-core-ocaml-dev, libcoq-stdlib
Package-List:
 libcoq-stdpp deb ocaml optional arch=any
Checksums-Sha1:
 bd61652950b198edfbc710821c3048da7aa05826 303203 coq-stdpp_1.10.0.orig.tar.gz
 a4d719396520dccd5fdce6d74cb2c6aea529f402 2760 coq-stdpp_1.10.0-2.debian.tar.xz
Checksums-Sha256:
 c53b8cd58f778d610a010520929ebf61942cce950391ebca67fdcb3abebd5ee7 303203 coq-stdpp_1.10.0.orig.tar.gz
 dd22c510c4622bbbc68da21bd9cd1e336202af528e9a79279cbcc240233638bf 2760 coq-stdpp_1.10.0-2.debian.tar.xz
Files:
 d8bc7abe369a1bb18e9c37133712ff90 303203 coq-stdpp_1.10.0.orig.tar.gz
 7571710b85913427772047a776610c06 2760 coq-stdpp_1.10.0-2.debian.tar.xz
Dgit: e98f6ef420aa8daf096a46ca0ca585d189d7586e debian archive/debian/1.10.0-2 https://git.dgit.debian.org/coq-stdpp

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

iQFGBAEBCgAwFiEEbeJOl+yohsxW5iUOIbju8bGJMIEFAmau+K0SHGdsb25kdUBk
ZWJpYW4ub3JnAAoJECG47vGxiTCBMzUH/2P4DucnnKF8YwM8DLRoTkuSj/tTH4rM
nJYayviQST+SjKURWmbEgJyn0LvKT2QdDNIt9o1IhDbYa56wMC63YN1c2xK7hCo+
Nz2N5cNtO97lXku73YohPAJt7F9DuIaQ0Em2izUvPBXonJmcZT7eRUi31Og1DMPy
7EISSXQGEGqDsjxvicWnca8JqqhM7AUeQ7Stf0L2XzAWCcTWuHzagzxOhYv87zYV
jOHbX29kNAWf6eNmN+Ixqnu3bMh6t0KwRHrnUVdqE4elS095lXMaBUIYr1MVxNJs
JyOr/gxv0nacGRYoCV5dpsW1MAUe/gRtL5hEKO5VIV7o55KxJ7MG3n4=
=Hryd
-----END PGP SIGNATURE-----