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

Format: 3.0 (quilt)
Source: coq-stdpp
Binary: libcoq-stdpp
Architecture: any
Version: 1.11.0-1build8
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
 a7b16f91752e38b454d7b96f172239c82fadbf00 3072 coq-stdpp_1.11.0-1build8.debian.tar.xz
Checksums-Sha256:
 05160d77c982c6786815b0322efe783b7e297f8bfaabbccd04feff7a0ddbafee 257015 coq-stdpp_1.11.0.orig.tar.bz2
 d5e08ebb44f672b434f8a9fb0703c887bf1740d54587f374218cc2b7098e135f 3072 coq-stdpp_1.11.0-1build8.debian.tar.xz
Files:
 4cfe674a29ad567f8bd58556f304516b 257015 coq-stdpp_1.11.0.orig.tar.bz2
 b9679e18530bc832e6f8cd4d211c703f 3072 coq-stdpp_1.11.0-1build8.debian.tar.xz

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

iQIzBAEBCgAdFiEEkv5Pi0DK3E7M1gwfWWH9vpxhmAkFAmmnOA0ACgkQWWH9vpxh
mAlB8Q/+LFcwCPQMGIp+5N20+JlUMOBLKp6g5Lw+Gpx+KnGZd5XBQrVeHmmrBwYd
H5DcbnZ59mQTiaSd4VCP2LYiIolBoePMghERUNXG3AuFD2j3MkEbMhdV63Y/OmgE
+HE+RBr7LaMUz2OeI7tP8xC2qvU1WaD0jQcitAhrDnUjBDyuwtM3jKuc7Lr6bGI0
hvXxdL54NmUtAm1znGBDO5r7ouO5CJaunAgFB6//YLKJWZhRMCxueVEutbjDc4fq
9Mxx5EZOjfjDefrgrHUjOM8JT63FZztH9BihHgdUwvuTsnnYOQLoCX0rKDAv7umK
s4jbFB+4Gi/ig8ZoqlpfkHrN6sDJv96/SSTJDb3zooGDzYmB4XIrKRThAHOa89V1
0S6ycp1UnqRnsP8LB+DgdT60S66xbhNLzZj2p3g4qBDJiNtzLpWqLLWrNQzwGWvz
U2o8N+mDsKtrOO3/ZMOVdWtaTsxgy7wlpA0KHbh4Saq2KZ4kVfE+c7mIm2HwVM7q
HYPXyS1PouAm7fYrJ5reRjH8+5E7wIqZIeFNrxdBeiqPaDPEaUfX2v6vyYCODNl6
+ajtMFw+N3ytcuk8KbFs2gwR6eeTNqv7MhE2nJATJJ1JlfMnfXN5SiKu/UFjsmTW
seToTO2FzOIFBVcpZYSN5Kje247BMp9loT+QDjNxp2e5WMcqZwI=
=r10k
-----END PGP SIGNATURE-----