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

Format: 3.0 (quilt)
Source: rocq-micromega-plugin
Binary: libcoq-micromega-plugin
Architecture: any
Version: 1.1.1-1
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Uploaders: Julien Puydt <jpuydt@debian.org>
Homepage: https://github.com/rocq-community/micromega-plugin
Standards-Version: 4.7.4
Vcs-Browser: https://salsa.debian.org/ocaml-team/rocq-micromega-plugin
Vcs-Git: https://salsa.debian.org/ocaml-team/rocq-micromega-plugin.git
Build-Depends: coq, debhelper-compat (= 13), dh-coq, dh-ocaml, libcoq-core, libcoq-core-ocaml-dev, libcoq-stdlib, libppx-optcomp-ocaml-dev, ocaml-dune
Package-List:
 libcoq-micromega-plugin deb math optional arch=any
Checksums-Sha1:
 f77e14bf651672de8bf2e8b601f537e67a93da6a 153653 rocq-micromega-plugin_1.1.1.orig.tar.gz
 e16234e35ad4c4353656e177e5455f7b0d5ada43 2476 rocq-micromega-plugin_1.1.1-1.debian.tar.xz
Checksums-Sha256:
 4f98ddc6924211f5e9b8a7f153e6849b4ddd1e197a06410e88ce801cbdc4210d 153653 rocq-micromega-plugin_1.1.1.orig.tar.gz
 f3b5a3ec46feab2304a886d6d909263768f222c432deece19a0467038c1e2885 2476 rocq-micromega-plugin_1.1.1-1.debian.tar.xz
Files:
 21e0136a9bcd1596b65c2f7ca8ad7217 153653 rocq-micromega-plugin_1.1.1.orig.tar.gz
 d5f6a7970afa2034ecbb3ffa35ecb64c 2476 rocq-micromega-plugin_1.1.1-1.debian.tar.xz

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

iQJNBAEBCgA3FiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmpoeEIZHGp1bGllbi5w
dXlkdEBsYXBvc3RlLm5ldAAKCRAExTvX/gMFUSkyD/wKYd+860kjbLnVYUF93B8R
xF+wi6l9cbj2GVTBYTVCVShZo+y5AWLpLjfusemxiYlRaM4BvoQP2wTwokik/ftU
cmJGQi+rzgPm0b63FSU8KGmjErIant9vRw7sym5oBqgV3s/CroGzhN7RCBfxq4vc
3ac+zD1kW2eL3PuBzTNHt5dXXw+JS0Gx9cy/HNq1lye1g0QuYcCNlssYTEINObgM
AnzFIEg0R63xmSq4ne6l60uNWx6Snh0lowbj8o5G8oUQLHYCJTm3CzqgZUUCNRjH
tb4lc+tHc2zPyiz9QmzYKnooFnshw6aT9HPDnOIjGZ8gSUr+losf5ipWHaLr2nth
BQaT106rbox+YaFua1RBA3h/qaQ9jBdFQT8AOhotRjrMdJJUIklxtkaaIKMD7MQb
pZ3tfPO5oS4AXlh4T4UnLDE6o9mjn+dp/5+a8KQrnjwPjYcPqxhmRPu4rIIlYtv8
yqCigfYd1KRZIYba1LoHVoOyykLVfZX3Fud0bZkB0/72Dzt6a5Qnfanmvt5ZP4v2
fdEuqm+NReZzN8sfxRkEPpEsz2b/rm27UMIU9gwHmhxSpN6WiZlalNdcorf5jJaK
oJHvfa/WoELRVRBrJb8f3edsCt5A8HUKLA7/0pzuohNUs3vtByGsH5eW7fyhc6xW
Pfo/iRApkSyXY1F32MyXKg==
=tve4
-----END PGP SIGNATURE-----