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

Format: 3.0 (quilt)
Source: coq-corn
Binary: libcoq-corn
Architecture: any
Version: 8.20.0-1build10
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Uploaders: Julien Puydt <jpuydt@debian.org>
Homepage: https://github.com/coq-community/corn
Standards-Version: 4.7.0
Vcs-Browser: https://salsa.debian.org/ocaml-team/coq-corn
Vcs-Git: https://salsa.debian.org/ocaml-team/coq-corn.git
Testsuite: autopkgtest
Testsuite-Triggers: coq
Build-Depends: coq, debhelper-compat (= 13), dh-coq, dh-ocaml, libcoq-bignums, libcoq-elpi, libcoq-math-classes, libcoq-core-ocaml-dev, libcoq-stdlib
Package-List:
 libcoq-corn deb ocaml optional arch=any
Checksums-Sha1:
 2c48db39d3667975199bb1c65e9c168803cd01e7 1321158 coq-corn_8.20.0.orig.tar.gz
 4ac8fb0a81db84a132fe37ba07de907af6f65997 4552 coq-corn_8.20.0-1build10.debian.tar.xz
Checksums-Sha256:
 081042aa230a734f8ba292a91163110ad737126d6413f1f37cc2416b9acfb305 1321158 coq-corn_8.20.0.orig.tar.gz
 16d771aa8cc667584e2bde14918c10b1a8d3174e5f5128594fd379f624614161 4552 coq-corn_8.20.0-1build10.debian.tar.xz
Files:
 c88fddfbcb34b0b6522d29ba3cc7940b 1321158 coq-corn_8.20.0.orig.tar.gz
 720b73e09fac7d3f21e1306be83ba2d3 4552 coq-corn_8.20.0-1build10.debian.tar.xz

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

iQIzBAEBCgAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmlZWykACgkQ808JdE6f
XdkysxAAwYAFTIkBxxpAYqEsQ0kmIT2Wv1dmrv9LIeIkWts7q4j4fhPTlcEEhZ8O
uzjbVFF7oTgzbkFTTy0Gnfs1lI3EtLUX4EXJLTAvZVplg0rqCDOy2WWbCnum5znV
UtrIfrO5vnVPwptbk6I1+OL652EdFMpFP5L7DV0Qkoxy9KqVexIa9hEv1fLTQ04I
A4gI/fCF3atDt5z7syWs8cNmjjqOkqvlIcVPsbvmaKZI7VWvTFJb8kmxFD9MfNgt
x5ZEKmy5jUHl3cSXUpm1xb/nd+zRF7EePXWL/s0uS64qE/4giBVtvQJpk/mbGq5J
LoWDiyjuYpov0y62RqLwO4fuJbXcZGbO/q/LRz8wtDHzZUGPgBnyzyQMAGYkPpjU
ZL7VvCMPFj2tVpKzEUj7jijXAgs2y+BPTy2sU+DWFPwydCPAgrW8Amr2tj4DyPWB
aJe/y58XBLNDiECcobArjyxEW/drLCw574phaBH/iGWB+mZ4u4oSOgd+Ut3VYRhs
gxGWYy3DxZ0cIfX33rAipdH8cXtKdyg0Di/L1ghYPR+O9s3gU3pd7wa2hKQmjqTr
MqPnhwya5jvTKONFNtzYpWuS0N0ORto+ANSvFiBGlcm2SLKT9tC+27jy7HvbCOit
z5NADSewRN1+Z/mzFdTYSncSZdcGnEN05LZgUx/2dItoOjjznJE=
=TW7d
-----END PGP SIGNATURE-----