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

Format: 3.0 (quilt)
Source: coq-corn
Binary: libcoq-corn
Architecture: any
Version: 8.19.0+ds1-1build5
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-math-classes, libcoq-core-ocaml-dev, libcoq-stdlib
Package-List:
 libcoq-corn deb ocaml optional arch=any
Checksums-Sha1:
 372a19facf0f02611f0f553764ed124c3e811ab3 1321010 coq-corn_8.19.0+ds1.orig.tar.gz
 2ebe028e12d9cf9267238b8837eca562d67b678f 4428 coq-corn_8.19.0+ds1-1build5.debian.tar.xz
Checksums-Sha256:
 93278dd07b52966741beee3e7a98d8b8ef808bf619e6427f93f66b5bd59f0cac 1321010 coq-corn_8.19.0+ds1.orig.tar.gz
 84c4896edafe37286316b9444c3ad64fcf1ac8a6ab46d7e567647bd6aaa44663 4428 coq-corn_8.19.0+ds1-1build5.debian.tar.xz
Files:
 1d4581910322a18aa965740c300ac1cd 1321010 coq-corn_8.19.0+ds1.orig.tar.gz
 bab52fb495c90452979a73b00cae8039 4428 coq-corn_8.19.0+ds1-1build5.debian.tar.xz

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

iQIzBAEBCgAdFiEEVovyKmYzfL/Jprm3LIPbyOm9DjcFAmbdD6YACgkQLIPbyOm9
DjdPEw/7BJDctaDtYv4RxFBx9cCYqrAkzYpVDEeN5TgFPi9u106TgGXxR0qkL1qk
s9Y3YoGl/zW9u3LMJmk/I/u3xmf1t+x/hKmXQGqkwHPU3+3i5qj0aM4F3E5YG6d7
5B96k+2/yMNefBuq+rNsGYkEkYf533S7i/95xoTohg6K0KR7BkPZTltXkKbpARRJ
7ImqFANXk5phTzQOg8yrV790G0WBLTDCyqa5TDBS6Agz/ZSr2LuEe+QECGxXTasZ
fRZybNwRGlvbRFCPB5zYzCffEFDsMo8Qt/aMBAuwqf3mPyftkyUP19v5DRh8SNgo
AZrdqlalnzzWCoCXka0Pa7HROkk6k+hXknGVhkMIiTkSaAuEhlcc4ype8GrXZtlv
dmenv34lI+PkKCDdiJzcsXPhHhytihdNh/oZG2MLCpkl7tvsd3IhWg21qnsN+2Gy
49Q/Vce8vrTccoQiSn+r7khpfz6OVFU178cuJY7bRuQTXW0ChFDKWCLy4Tkx1+oh
oHU3Tv64GWsW+AqglNaGt8UQ/ORN6xTnTX4cM7yxuSwBLpB6MO+5beeoUB1uCD+H
bCDhQnSDCJQ9ayy2A3oP69Hr2hbRAdts3Q1QPfmT5uzO4HguNb4x6TyjtyyfCotd
3S5niz2v5oFUmPRwMTEuNveXrMi8c4IWmFBY/To4KQjuVqTU+g0=
=xJo1
-----END PGP SIGNATURE-----