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

Format: 3.0 (quilt)
Source: coq-ext-lib
Binary: libcoq-ext-lib
Architecture: any
Version: 0.12.2-1
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:
 a8844fbe6ae8a72f81fdb6d833bb34f434149c76 85093 coq-ext-lib_0.12.2.orig.tar.gz
 ed371b3966118a2a6441f4830db07409bb7de7a5 2348 coq-ext-lib_0.12.2-1.debian.tar.xz
Checksums-Sha256:
 075439309775c804e8ff01a134871dbb4fba4654bdd068832b21bb5145f11bd7 85093 coq-ext-lib_0.12.2.orig.tar.gz
 b484b4dd25267c2ffd8c69ab27cbbfa47fbec33c31166d4dd6ca66c5989f9acd 2348 coq-ext-lib_0.12.2-1.debian.tar.xz
Files:
 5ec0acf1cece75511ffa7dab5ed35e73 85093 coq-ext-lib_0.12.2.orig.tar.gz
 9a0f4c9f34a6638cc5d590f93a4ccbed 2348 coq-ext-lib_0.12.2-1.debian.tar.xz

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

iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmc9r4USHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVRR1wP/R9wDx3wcDah2M/3Yc0Rfffa5iKxIp3U
1HlFGir+EvDNCjL3AerCQ9hYVebNnWC1U9ptw93X6t9x02BzP+3/eiMbP7rnW0kS
aEgUqNq/Rbc+x8apMk8tcloBGNzOX6LOUYKqkBFmr6WjF/nFOag+J4CuwrCm2MYo
piUFHY7DX+Oaq4aqd7Wtt2t7KK+r5n2I9UNqV12uCtU1+k1C8OEvXn4Iug+gr3fZ
mufobhfIdWP1O0qZFTpEMYMuqc1zdZ7qaITSXhy8OeEn24HUX1vkFjrIlEMRoR2J
xCWj0zD7T6eDMhjHcpKEI+6NKTJlgLJjBeBfatX7/81kzoXm6y+TYerXtixrOzLj
powqnua2DryoS2ePKtaGNI1+m1ZMTchEY+w5eMSnz37m36O36MU9u1mFx5fN2L/1
lvEDlizUQQaG6DhmwdNnUXBMGkEGRGfMg+n79tDTWEcCSKIUfu/YL8jXmtYvguDt
0EeNFVhhGnsItEqx3EWtArP1xh1GxjvHiPtiUbAe4/Is3BP94VyNyzmzaZLSFin3
DY7n1460QNc5Vu3R6HCl/8m9X4h1w2LKgTBqogPdB/abAaAeinwtmq0CyUhxYpyx
simBhilADVdQ12poeTHTXJteDs2jm2g5d67Ci8ZVMYXT2EQ7ZDlN6uERSrEBJpCV
B9o739bxljeK
=5l3Z
-----END PGP SIGNATURE-----