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

Format: 3.0 (quilt)
Source: coq-ext-lib
Binary: libcoq-ext-lib
Architecture: any
Version: 0.12.1-1build1
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Uploaders: Julien Puydt <jpuydt@debian.org>
Homepage: https://github.com/coq-community/coq-ext-lib
Standards-Version: 4.6.2
Vcs-Browser: https://salsa.debian.org/ocaml-team/coq-ext-lib
Vcs-Git: https://salsa.debian.org/ocaml-team/coq-ext-lib.git
Testsuite: autopkgtest
Testsuite-Triggers: coq
Build-Depends: coq, debhelper-compat (= 13), dh-coq, dh-ocaml, libcoq-core-ocaml-dev, libcoq-stdlib
Package-List:
 libcoq-ext-lib deb ocaml optional arch=any
Checksums-Sha1:
 742b9f4837564033942150a71878b484f4d17657 84299 coq-ext-lib_0.12.1.orig.tar.gz
 38db577c41b7fb366ca266a5b06ac8b9c5be8b94 2336 coq-ext-lib_0.12.1-1build1.debian.tar.xz
Checksums-Sha256:
 e1f994e261cf57502c8aaa74513c35f9ba82b97f380da1cc0708c02cd7b5964d 84299 coq-ext-lib_0.12.1.orig.tar.gz
 9eb20443595a6e62f383e364afb71f1b13b23d27de2a321aad9cf681cb57ce1c 2336 coq-ext-lib_0.12.1-1build1.debian.tar.xz
Files:
 ad2ba3b94f2d86c45e89d9a681ea2a6d 84299 coq-ext-lib_0.12.1.orig.tar.gz
 3aad6c0464ff7ab24ac0fe95417c00df 2336 coq-ext-lib_0.12.1-1build1.debian.tar.xz

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

iQIzBAEBCAAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmYz8vQACgkQ808JdE6f
Xdnx0BAAp5/q47IkhodGFoQe61cGZ5uaN6RdyWp17ry7iuhivoTTiQADhsPsEk++
yKMfNlSXt98tw11QbHfYXwNRdUAiJjskkgMs+QbQjXKfog/fudMGL+Fwp+64gjOb
U6ELwecvsZ2QalHyezvuBx3l9dRvvOx95oVvazCLeFkWKxx5NnrPl7hpVNRUnzu/
uWmTp2zSY1cd/MJ0mHKIjA9sm2xk1Av/vdxmDsu8ae0fM9IKHTI69+hgnwKW2PbK
Zq/yWuRnBQ66emtZQ04kcC9ItiDAiO2d9UhwwHPWwpuwxkEsF3enYu0Pj9efQQkF
rpoc6ii/qOFuyLMrPEhI3dTWoZa77JHGR7Cq0DYP6JugPxO6aYDUAW2eVTRA1OP4
gygbfnWJjBH87SWskUI7RTF/GA7BxFy9S35gP9jA7mKVHs1+kI5a6tWRfAi7iM9y
7PrT/aUIB+2WquORDP5UfaBKUfdS4CXfa263gOyfd8M85jXs5ZS7H7XVMd78+dNi
RQXbFsWEZx9bzUsCFG4LHd/TevzXYTwsmC+7oPTDlPHRC5cus9oC9UyZuDwugFSc
//PuAtYlfgEsweQt2p4i46ArAoYK9fxmXd5OUwqLHQL8gVzBd421NXa4FIsnZqMX
wG6urotwbey7dfvuoCx66nm1LGK0Ai6k+cf93qgINob/L1ZNTeI=
=9n06
-----END PGP SIGNATURE-----