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

Format: 3.0 (quilt)
Source: coq-stdpp
Binary: libcoq-stdpp
Architecture: any
Version: 1.11.0-1
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
 60b8c9c085e1a2513efc0afe2c59ef5ef8f5d7c4 2772 coq-stdpp_1.11.0-1.debian.tar.xz
Checksums-Sha256:
 05160d77c982c6786815b0322efe783b7e297f8bfaabbccd04feff7a0ddbafee 257015 coq-stdpp_1.11.0.orig.tar.bz2
 f1b2c1a7b365d70c5530df961bf3cc001ffd9dca73d1925e2b5e474bc174c2de 2772 coq-stdpp_1.11.0-1.debian.tar.xz
Files:
 4cfe674a29ad567f8bd58556f304516b 257015 coq-stdpp_1.11.0.orig.tar.bz2
 97a7269b0d7c8bfe05870a86e2382bb2 2772 coq-stdpp_1.11.0-1.debian.tar.xz

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

iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmc9sJ4SHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVRiqkP/ibSXcazZYxzkIE6YGqdxMlLXrXcohxH
rGduRzlkD8esZjpeAPy8bXMIWM4A0gCGGNKdIsLDjiPcCD8EpK6konubey4ZabTM
8Zxl2Y9o1Gjp/v1MQMmsOTuOTlm9pulgdC02QdVFylFZ2O3o9UtIvm7rkLHHgBK+
WngjUyHDUwq12T/Ljcp2EXbhueZXvZv/4d9Q7yuZLVlsDAYaM/Oy+Bm9hKMKoumo
sFqWLIwtme7BB+/To2nQZWWkBM9WyLkDBbaEM9q/y39ewLqqh2FwtAyjDH2v0yuO
w6yD5xUk3Dhv6Ws5bltn72fqUiH63vAK6iZuBr8KmjpOwRZdhAYAsr2zLj3zZ2TC
oUI/UGWakMhjva3oYDkuNEp9lvC/8+IX2T3m8TvUKBkM5DcGPh/P/a8at/JbXzLu
xqkgrlQxH8fdbTRrDu1qHytbPrtbNejOeW8mPtSpGbkKAU1TwBhSgVVCOJym/Dz2
nkRXXtUw2RuclewCubrB/qIdo3Wh2t+yNtnR5EBWCvdV8I1YiNTnu6t3eVaj3rLS
zwdLAEe5CZHN5G6EzlUnzm3q/2bGw6n8VfuuEtjfeBhzpTLhKgNfOnUuUu6GzcLn
RSSY+1/i1A1YsBbXG+Dy4BaOhWPDhJ0rNd/+cw4OFdUQIJtG2s/YQS3v8vlUq6qd
k1NOpwZtxkPA
=lsp9
-----END PGP SIGNATURE-----
