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

Format: 3.0 (quilt)
Source: coq-corn
Binary: libcoq-corn
Architecture: any
Version: 8.18.0-1build1
Maintainer: Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
Uploaders: Julien Puydt <jpuydt@debian.org>
Homepage: https://github.com/coq-community/corn
Standards-Version: 4.6.2
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:
 368f7ae9a261cc96d90fe998cb0cddd90a70c503 1320047 coq-corn_8.18.0.orig.tar.gz
 e5cd012998e4bd7782def2c41a6e9dc1c7bbc8be 4240 coq-corn_8.18.0-1build1.debian.tar.xz
Checksums-Sha256:
 ec56d286a730d7102c428501014f3af6158e3c30440870f1a6f15918cb7c4ee7 1320047 coq-corn_8.18.0.orig.tar.gz
 ada2a3e532661154ed9d218a6eb5cdfa1ccf75b0627f4921c0127b2767240129 4240 coq-corn_8.18.0-1build1.debian.tar.xz
Files:
 f41418c9405fa9c3937c7f7611eb2206 1320047 coq-corn_8.18.0.orig.tar.gz
 1ec94a4b131576b0612aa7624a43ea17 4240 coq-corn_8.18.0-1build1.debian.tar.xz
Original-Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>

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

iQJOBAEBCgA4FiEErEg/aN5yj0PyIC/KVo0w8yGyEz0FAmX/b/UaHHN0ZXZlLmxh
bmdhc2VrQHVidW50dS5jb20ACgkQVo0w8yGyEz38ag//eOcwE2VNLPpISueEBgwh
GKEvtP1dGlDerU9RVQLhANk6k7Fhogvmzs8VELclreR0q2iZk5EKXftGIRHdYxFu
QSFT6eXgeL/oSxOKilPADBbK4uLmk+6zI5BYjmMGpBGKmi8kfaYCSSc8/8Z0cqEq
VPWS6u3wADkqAfITXMmI4mpXoXYiFJOE6fBytghQTmgu8mNcoGThLiuqGQEM8A6H
7Zz+7AdSpixvzGGJySyvw4wExAM6XQ822FmWI4ZIzmHn3YkNXIY8uTdcC+Z8TzSG
91QjkWbv0RA/4e3ps4tYfMy0E7idKqeSItTMNNOMeXpj3aSuGfTgS16TTLyrzhFn
l91PisvA4xX19+Ws9zIW+XMStwNn3s+z7xjAPLFK3YaqkP54CdunnNETdjXRSjfd
FpK9rJvSmr7Z3HEXLdMIFUi10XYjZfMoGqNutAwnwm9pHZaTF+uplv5DWeL/Ul3I
ySbhuole2NeCbrHL9tYBxoDrNJHP9FPszt0vwTAHxLt/HAxqUUA/CtxubH/rZUUL
+G01ikPymJSzSYRkpAfW6gUT0oxom/ZjyivZHzCS3kcDRN1HWCCypzqbTb+8Ucqr
MpKlFPZCz0MBEgBHUMp4L0JrbE1s4YE5c4zcaDgTHj7OIYuipowabB4Axh/87nc6
eh45NPl0IMxxuxT8PXeLtd0=
=EBVJ
-----END PGP SIGNATURE-----