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

Format: 3.0 (quilt)
Source: coq-reglang
Binary: libcoq-reglang
Architecture: any
Version: 1.2.1-4build1
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
 913808b9876b764065274749ea0901f04a8b8237 8696 coq-reglang_1.2.1-4build1.debian.tar.xz
Checksums-Sha256:
 0a0b853389651827ded42dd3ff21f61d1a1dbf262dd8aa1f71f4be96d9322a75 69424 coq-reglang_1.2.1.orig.tar.gz
 367d0eed3ffb4ccb6a80b3eac843ee594ec052c1fcc51e0358816de96aaa8de3 8696 coq-reglang_1.2.1-4build1.debian.tar.xz
Files:
 39b6d7cfd0237d44e4580bf13afaf6af 69424 coq-reglang_1.2.1.orig.tar.gz
 fbb6f74dbdcf27b551808b5b8fff9f96 8696 coq-reglang_1.2.1-4build1.debian.tar.xz

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

iQIzBAEBCAAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAma2EOQACgkQ808JdE6f
XdknrRAApqCacmX4dFz1EQSAMr1iqRShlKEXgTTC9jf6nBAhthMSMgzgM54wq5+H
fW40jc/hmNODzlFUxXGHw7WYwfP6uYTci9vaN2KnBDKTjxWaA7yIDPm2vUwZeQ5o
1A2Zvy9YVPpy8rapR71ZgUjZqCMy1xdQSVQLqkuUdECjjolCibdNnAUjIpQlNRsp
scJRpgmGgq5edJyY7WQ6zAHEGzsvb1lE9U3G0XgHwjpjwESCKdNXcJ2LFr2anbKC
zUGMzza3oGG7xssM5UpN3fpEzJb9ru5MJ4UY+NHM3ClKz+Bb7ReMzEOkWoHLdnzM
J4IkATf0QFIG4f6zVbTq+Nm83k8ClbmAmUQjCWEi5MnmPWAe33NwXgy1Mnhd9Fa6
gjxx8Sg/HOXbvkrOhnTzXACbfhK179XaUSRiHecsO2YqD0vE59sYbXFZHQWXksQV
9xiKvdfRtN6KkaMxTSuE32+SzZrGE3kiDLeHh5iG81Z5c1OlqE3ix7v+Fs4/RrqO
U1ZAbXFa0gi39WJxLEoG6QbI6U8ADl7/3iGrvqncXKV0dSWmSfv+HXYcGn2hF+X0
N3bnnIuFCiXOVGzmn3Ui17QPKnW7xijaOv++RydjfdvxvyoRX3c3OYZPJ/p5cZ6w
3ohfdpgNkDKMvRr5tLa0HKNge0bAImBc/Li6Cz8PH1Xuev+AzLQ=
=8YJt
-----END PGP SIGNATURE-----