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

Format: 3.0 (quilt)
Source: coq-stdpp
Binary: libcoq-stdpp
Architecture: any
Version: 1.10.0-2build2
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
 19fe7ef109bf5b73b85c7d5389eecdf01d82b69c 2884 coq-stdpp_1.10.0-2build2.debian.tar.xz
Checksums-Sha256:
 c53b8cd58f778d610a010520929ebf61942cce950391ebca67fdcb3abebd5ee7 303203 coq-stdpp_1.10.0.orig.tar.gz
 2c3166023071654636a1e4b30d658e5ff71049ba10af8c3cd1feb8c079f77d5e 2884 coq-stdpp_1.10.0-2build2.debian.tar.xz
Files:
 d8bc7abe369a1bb18e9c37133712ff90 303203 coq-stdpp_1.10.0.orig.tar.gz
 2211a7956d5b73b7dff0283a02f96b54 2884 coq-stdpp_1.10.0-2build2.debian.tar.xz

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

iQIzBAEBCgAdFiEEVovyKmYzfL/Jprm3LIPbyOm9DjcFAmbbhcwACgkQLIPbyOm9
DjfasA/+KiSu1+omg03m0i1vbOsJkumj5yCzErZu59NNzZIworFdQDtxZfOifZiz
482JnrHjFhcQwBafZsSOi8qutO0xdfKdwbsdPEBS2we9WFy6LOHWcR3C9fSJCuIW
76vPRlcoeNuAPyyrvNgcvkMPxlQVfEYOCWIJ/lb+v+8GuJ4Ssi1w0M9KIC7N/fV+
0W82fxgPOgy922lig6Cz+gQ0UNSGzxc3knG0C21KSt1sZo314QVrP8znCxhYgKxV
c2+3W9oIBdllqm9wr3eQH8B3kYxa3U4ijg7/iIU/jFnDZBlB5OVCmaaGkhMipuHn
+c1L63aIbGuaRaGyftsEOdnhoqBnt9RXDLsPR6B70qG/GRCz1GVKJJTx538af/T5
uD9OhlZhPobdwXu+idPzFhh4NHWS/A92xWFLFAiygJLC51U8WT6wEZMvx2KBwmr6
kLny1a54/40K8wdCwoFYk+HyXDPgFTZmr8VcYX1GaP//rMaJIo87XjD7KSrTD6iq
rk5jceyBSCO9s9ZiISmU0+r7dLqSas79p3ZLDRkUHlJlX6wbjYh2kjN/vnFar/kD
bJwhXRjRQO02r0yIjsYbnt1mZolHg/inzbkAT+8W/Jv+jkH0L5BSKhseRyhVwYBa
BE5xggjYH8qhZGT9im4Xxqf/Vgxhna0D1R+rF/6HLBii2LD2nEc=
=U2jU
-----END PGP SIGNATURE-----