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

Format: 3.0 (quilt)
Source: coq-stdpp
Binary: libcoq-stdpp
Architecture: any
Version: 1.11.0-1build2
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:
 93333a7b6ebf025618fa0dd8a1ffd9861905deba 257015 coq-stdpp_1.11.0.orig.tar.bz2
 2c55cfd67de667a8d016aa38e7793571ada58e50 2864 coq-stdpp_1.11.0-1build2.debian.tar.xz
Checksums-Sha256:
 05160d77c982c6786815b0322efe783b7e297f8bfaabbccd04feff7a0ddbafee 257015 coq-stdpp_1.11.0.orig.tar.bz2
 1121f9dd20c86c22075e45be07a06198f1c6e7e96ef2845ec2f66a98dd0fd676 2864 coq-stdpp_1.11.0-1build2.debian.tar.xz
Files:
 4cfe674a29ad567f8bd58556f304516b 257015 coq-stdpp_1.11.0.orig.tar.bz2
 bebbcd8f28cf1ea9349f159a61ca027f 2864 coq-stdpp_1.11.0-1build2.debian.tar.xz

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

iQIzBAEBCgAdFiEETQvhLw5HdtiqzpaW5mx3Wuv+bH0FAmeex7MACgkQ5mx3Wuv+
bH0esg//W5n26wKZViI7VJFFYC0DLPEFplMbMcquGInrzUWdZgDArgsq3KYCiQRL
JW5geLe4OJC/k+033fiYDQTqXVl7PYZFCzJW5nHdRbxkxlnWUR8tyguRXl3dRD7y
FpTqXA28Qjp6tBfj9ZSPsa1xIp1JsVpDnM39Zp2etDuk9hj6ShvVaLKj4e11tiwF
SsGcDrGwfucRmy2Wa7LSCoOHfbM/tFR+Jqpp+f3tV+XEwtzdH6WJ8VbNsgKcwU9n
xlMeiVUlW3Qtz8WGKKLt2RkyLcCT59r8HCt5f3+sCpygknTOv2Ed8nkMtuvPd0Mk
6aT7AxADJnuRRSHJ1VXyHwbsOtK/gqvh5cDY+5acMOmzgHR9w1oQuy494FElpRH4
5JYP32g8H8vKRKW6GIinUHoPBW6cuWUsnSDA0XqoQ6KF6E5SHPcQEoXzjPq2YNq6
viQ1lmVNLLOzqWObAmUwbAP8JrOTw1k51OT/XH8e/5Z10NBHxVW2JYtKKARsunEp
Hluw2V4KOSQHRDZZQ6dP24fXAEfxIQ7RsNcKX/g5iMmSUcbOlPctu/td+iGDfZAF
FG6IwqSh05L+9mKYG/kdBrDKkMAgrZs0nGK8dxQ2pS1HISCuj+BW37QmeZn2bR0b
IXF90aUiE8WNM871mag1aZaTeF+0tNX9ezWtY+ZBOcz23WaJP/U=
=iL9l
-----END PGP SIGNATURE-----