-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA256

Format: 3.0 (quilt)
Source: coq-record-update
Binary: libcoq-record-update
Architecture: any
Version: 0.3.1-1build3
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Uploaders: Julien Puydt <jpuydt@debian.org>
Homepage: https://github.com/tchajed/coq-record-update
Standards-Version: 4.6.1
Vcs-Browser: https://salsa.debian.org/ocaml-team/coq-record-update
Vcs-Git: https://salsa.debian.org/ocaml-team/coq-record-update.git
Testsuite: autopkgtest
Testsuite-Triggers: coq
Build-Depends: coq, debhelper-compat (= 13), dh-coq, dh-ocaml, libcoq-ocaml-dev, libcoq-stdlib
Package-List:
 libcoq-record-update deb ocaml optional arch=any
Checksums-Sha1:
 9c646fdcc7f09a24cd5d4d06f8f61a263c2050c4 13484 coq-record-update_0.3.1.orig.tar.gz
 8198a15bcb3b99402cb3e4eb5bc13ae40a7874a5 1936 coq-record-update_0.3.1-1build3.debian.tar.xz
Checksums-Sha256:
 88b80b70351feac665d3e794cf6f41d1fe245e4e8602ba80f6dfa69d0e96669f 13484 coq-record-update_0.3.1.orig.tar.gz
 ab6abdf9451f76b2b2bdff72fad99b3f766d17973b00b01fd82433a1ec2d1264 1936 coq-record-update_0.3.1-1build3.debian.tar.xz
Files:
 beddb631abb92a10c87d80799ca66e2f 13484 coq-record-update_0.3.1.orig.tar.gz
 ae0dd85d58bde06540b8055bea09df30 1936 coq-record-update_0.3.1-1build3.debian.tar.xz

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

iQIzBAEBCAAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmOLGrcACgkQ808JdE6f
XdmxgA//QEEafCS0aN/Uz9L0tisZSvYNVvewxOkuVseG+BarxDOme2AcQ/ilnp5K
gB2zANsIByTICYFVQpyNjTaxFhq0MsPRv6kckQnPxAB5Q8JD92ZKgLqVRFU7uOPj
BXr8oRxtLErkOUEi0irUJ1OCMt0G3MsonVErFRXoXogc0ogZcvh9k3iqZPU/N0i1
MS26ABW4HR577dUODa8HG1k4EPS4xsZB9Sv3Om28npsipnCda9Rwyk8JzrtmuDIW
Muv5SnmCN4OJakkqfMprcanYysuyHlVxyu/TL+RZ34Kpt0NZ5rCycDzz0phTSRIf
ilrbG+LfYfRincTdn7U7UlUy9s7WcG/u5IhN/8+F8fL/Af0Jd/AIwGPHD3uuyQqR
GOOLh4eD2H1O4vkvv24HoUCcIO1K/JXBKJG4EVBGtu6TAn3TxMZzP1qFltVhcJqf
1M2OcbTuYo/7BtCbqWi6V/CwypGC78mCGkWKJOGZvMnevon8PXU53j4cf3foe9TP
ReYCIDHPukdxb7a8luCt0hmCySQ2txAEbfY9mF5IbMP6WKBn0NLriFjTFZSycIBA
ryE0Cob/OG0oLFjaXTgCgu9D1Hh/1gjnqK6GaXAmCX8QAU51ENB+WS/LJ9T2Emqq
qgALUTExlBQkYv1rBXia28hZ39FJ7KG30dl72ny0ekJF6eL4OS8=
=68j3
-----END PGP SIGNATURE-----