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

Format: 3.0 (quilt)
Source: coq-corn
Binary: libcoq-corn
Architecture: any
Version: 8.19.0+ds1-2
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
 ad34d278524da0cf006d127f54658edef91e94d8 4264 coq-corn_8.19.0+ds1-2.debian.tar.xz
Checksums-Sha256:
 93278dd07b52966741beee3e7a98d8b8ef808bf619e6427f93f66b5bd59f0cac 1321010 coq-corn_8.19.0+ds1.orig.tar.gz
 3bc157c60819c3e821e1fb57c4222dec2a7ac4b8cd5697a71a30ce1d01796407 4264 coq-corn_8.19.0+ds1-2.debian.tar.xz
Files:
 1d4581910322a18aa965740c300ac1cd 1321010 coq-corn_8.19.0+ds1.orig.tar.gz
 d5a4932474397eadfd36b55f21c774ef 4264 coq-corn_8.19.0+ds1-2.debian.tar.xz

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

iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmc9skQSHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVRJwsQAIZRnWCumkx9tUbWOAL3ORb8C7WqrG6C
Qz7Z3JUVJ+YkexfbFoMzVieOsCrLs68mrUpqDoGthdxh3bHsAv1grXbrpquFn1p9
SVkvEGjL+dYwNPe9FSAc9VklNYh0ai/pf2tpzzmdjjNSX0QNKCbooLyMK1g8md/N
a5/ImFVhwhkxrtzMJMX5HnG28rh0pPr+5+qkhOCWmPXeiwxByfER9DfZ54DvO1+z
01hSA9VCHyCxWrLJOtYn/VND0dVEgekCJKUca7VEhu7yqLmdP6lmGDrOD1AZV+bc
JGz43MX/Ds3MSRJGJK6yQomKx6R3XSgzDBlTqQTLoaPm4KvO9Pc667/UFDS3a/pz
YoQjDp/DlpPnhA04IHiLp5gVxF/87eUXyK8b8CToeyR9gbqWuo1MvlugzNJv2HHA
Od2r8ZEkb08ubrDZIg7vlJbOSqwecZAjCZFNLR9nIpXYGvcP0B9QYEJE/zzycR3v
pGoIhi+1TCC2o/+yE8GoXWaeZRKLs01PR2vjZB/UPfB8DQnbrwOtKm1uNLcu9kLa
ifB9NbTo3FNvfjS3s3QOGo57PsiinhloK8TWd/k1ZcyXlAYOVrBNjovYA7yC3tpS
Akw0IfSo2/cDamKwQQXaNpaVNbvUwyuEBQy183eyoEMB3qpwRtMsCrHR9pkCOjZV
UZzo6Y6pwBBB
=8vWC
-----END PGP SIGNATURE-----