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

Format: 3.0 (quilt)
Source: coq-reglang
Binary: libcoq-reglang
Architecture: any
Version: 1.2.1-3
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
 01417a30004f9593535387df438fba783775983c 8564 coq-reglang_1.2.1-3.debian.tar.xz
Checksums-Sha256:
 0a0b853389651827ded42dd3ff21f61d1a1dbf262dd8aa1f71f4be96d9322a75 69424 coq-reglang_1.2.1.orig.tar.gz
 bb8bc4002afde97375e9674e123c684e8f6a9b3b155366c3300229dfd32994e5 8564 coq-reglang_1.2.1-3.debian.tar.xz
Files:
 39b6d7cfd0237d44e4580bf13afaf6af 69424 coq-reglang_1.2.1.orig.tar.gz
 6dd3da0db15426d6214dde648c6e3317 8564 coq-reglang_1.2.1-3.debian.tar.xz

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

iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmYrstUSHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVRWQAP/2PlKXzzohXmbFcQ+cm637LZQmg17WWe
pIM3Z78ibco/tjH1O4acTxsBOykEUb9yI7N5ldhTTjI5tulp5YyciwXmCC3wxcz0
9wZLvzD8T54OjFG5ksbIztChEp2gow3n64g88GJNxbP+FQf68C99cIysq9nkVLjc
tTClNuqg4iJHgsbljwGKgjQFy3GIjKc/PIPEGhGb6nO7RXwuB3EpQPF59SSnv0Vb
cobwCahnoN/LMLHUAHVkrc3A9PdT1LUzZ5qNegISckpJyJ08W3KFBqQT10gKfohJ
HUcQRBurXmQmSH5ND408O6+LxVvkyWJEjJjRbsNLVwutPhTF0xXnUQZDpqIjhE8H
PKxJ2qFXEgeC7glUx0bnfYbaWlatpqeGPS8ScsAUbHq4uP/LBHLpkz5/WWuRBgPB
DlBHzCEg0f3FXR9tjBLkbtEOww7Ggj1UG8jbKoeoau1xr/I8XlhH0tEOvlP4PWDJ
qvsJw2zE7bVt0SODQcmTfzC2twF/G3qU/D+pKDlDrYQH2OBOiUXZF0Ts207+zn5F
rUlRBRT4wLt4vQ3taDXHrosOCaC96WjKuAKZPAg+s4bvWfxMBN9wi1ltJn5ry0Es
JZZ3tfTpIYlfmlL7wnzI0n/FnsBzYeAurQulO0bsr/hZiDYQDaxSEf5zL8Zceqva
+qUjnnW9a61o
=jVm4
-----END PGP SIGNATURE-----