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

Format: 3.0 (quilt)
Source: coq-reglang
Binary: libcoq-reglang
Architecture: any
Version: 1.2.1-4build10
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Uploaders: Julien Puydt <jpuydt@debian.org>
Homepage: https://github.com/coq-community/reglang
Standards-Version: 4.6.2
Vcs-Browser: https://salsa.debian.org/ocaml-team/coq-reglang
Vcs-Git: https://salsa.debian.org/ocaml-team/coq-reglang.git
Testsuite: autopkgtest
Testsuite-Triggers: coq
Build-Depends: coq, debhelper-compat (= 13), dh-coq, dh-ocaml, libcoq-core-ocaml-dev, libcoq-mathcomp-ssreflect, libcoq-stdlib, ocaml-dune
Package-List:
 libcoq-reglang deb ocaml optional arch=any
Checksums-Sha1:
 6eee3ed03aa03a1de243b3d76a2deafae5b6621c 69424 coq-reglang_1.2.1.orig.tar.gz
 4b9d5568b1d9213d40c660472c03f2c5f7f7341b 8908 coq-reglang_1.2.1-4build10.debian.tar.xz
Checksums-Sha256:
 0a0b853389651827ded42dd3ff21f61d1a1dbf262dd8aa1f71f4be96d9322a75 69424 coq-reglang_1.2.1.orig.tar.gz
 f40a60c4e61ed7d3b4866e99141a2b44bc17cb6491d4c5978b57f6dcf3993f3c 8908 coq-reglang_1.2.1-4build10.debian.tar.xz
Files:
 39b6d7cfd0237d44e4580bf13afaf6af 69424 coq-reglang_1.2.1.orig.tar.gz
 dbf95f5a1f840d88bae5bbadf6c98664 8908 coq-reglang_1.2.1-4build10.debian.tar.xz

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

iQIzBAEBCAAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmeb8tIACgkQ808JdE6f
Xdk6Fg//R3i1LQ2lGQRy5BhHYej50Sgjiv0ERV4HWn3rqevwPkvCKPglr6G/BCQ5
4pohOZhsUw5RmRV8J80ByPrvjXHi6pEoI5DaoiCwsN7/K7W1QKHa7ZzEaCY8ospM
9NqpVUDfhCjs99MQ7pFKuBPMEncdOBsubRxoI27j+FKSz2v/DS0NcnBKHGHIUcEP
710Jbi5xVPBG39RZq5JCLY8DCMZUupGz2Y03T5xW+24CiBsdmmqmsHZAebhsVNi/
LP/FZRQPINnJf6jQ6N+LmM4LldeG+dn/io0ADuTcgvRgY7luFbcczOecC0OXSFUV
I8sdP4BjzoU7FYeZ9YJErJ1jlRR23N0vDFvwsMjQfIXqFyzMH9PYnFpYkg7ncqCC
yi88jomMM1rE45SDKSy9VL+/KJuAt3ZULjKQLUStz4gR8BECkvgNiY6JnBVM1WFr
h1UUtfeRA+U78Atv2WeuNoGGpuuzQO0svGXm/uzbEDEEIBpLJop0gPIWNnown5LG
J18ePmqF0tOAZlIdfBK+DzzaaF3stDneYAE54pAPvLmARzKXwrbgEk/X00bxMnzM
UOu+0/Z2SES/9+OHkBsvldc8b/xKWWaKPWQ0HU+CYUH07bnsQOMtl5ggU8A+osYV
yAYwYkSD+tC1yrufc6tCaR5SQZ3nOwo1PkEhEDf/lVNGfhfDV5M=
=iVU2
-----END PGP SIGNATURE-----