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

Format: 3.0 (quilt)
Source: coq-stdpp
Binary: libcoq-stdpp
Architecture: any
Version: 1.7.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.6.1
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, debhelper-compat (= 13), dh-coq, dh-ocaml, libcoq-ocaml-dev
Package-List:
 libcoq-stdpp deb ocaml optional arch=any
Checksums-Sha1:
 a87bf282e29be7cb975fdfe7c16bcac2bfa5338e 237656 coq-stdpp_1.7.0.orig.tar.gz
 e512d9597345d322778505d0bbda3412d9e5164e 2272 coq-stdpp_1.7.0-2.debian.tar.xz
Checksums-Sha256:
 ff3b87190b1128c8628ca692e54f3cad6af43323ec6d3facb8507d43e541bb07 237656 coq-stdpp_1.7.0.orig.tar.gz
 58aaf2025f6bfdd6f9083fd7e1c3774aaffc76cc82321f8ac42583c885f86071 2272 coq-stdpp_1.7.0-2.debian.tar.xz
Files:
 06f68719797be09a97e5cb709fafc076 237656 coq-stdpp_1.7.0.orig.tar.gz
 2edafbcd93f9260b69617de748dfc7e4 2272 coq-stdpp_1.7.0-2.debian.tar.xz

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

iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmLZF9gSHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVR3voP/RXPSachtfs1z1KWn6H+pSsbIQpcTYoJ
GxsIgVOtR55wWdgDGhjrqrQks6mKZ86jeln9oLyrCon9PCOWuQKLhNM4hUMR+JyO
nMWq8LMFJOQeBd+SrmKA6zMctjridSCVg79+s4itzUVgJkdA8/cK8m7SGPjYdiuv
a+gaBXXd+003tvz5iwx/Na57Y+mlvkqHUESZnkc2vxFeG3IRq5g6/FXGgdfVKsLt
UfUSpX80rSSctV6RiuTxkpnNNQ6BKbQTCziUjNr5c7d0XDd5YGme+a8PbsdEcvgH
MceASr3lm1lEqkCYGkHUfVCBbHrvl5/YEmprGDa/DLZHr7NgxO62vfZooaO7R3ti
E8gYEZVhfbgKF+G2XU0hzZROt7XGloIYKZdhuO+CixzBsWuZzQWUPf60evn5GLY7
quoKxcO+7AvNb8jzQnFgtTQZjapRJyZd59oYEYJAfZd4789GAghI4O3zConJa5BO
O4oSzwsZoQf/4w97hUtRYhZB9Jlnmqxra6Fx7l8sbvakBKp9qutsEFwP4wdGJfso
chpR5HmvjvZIlpeNRuzAs9PKO7BK6qmqBri5bRMMRMrN4UXf+1WWHB1X7Ro13FwS
6Vltzs5Sw32HmhblQ8LKMpvbOLX9p0NDWACn9yAl21VJXHH4ic5s/2aHZadMmbSk
5AE0IUhgFPjd
=SCz6
-----END PGP SIGNATURE-----