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

Format: 3.0 (quilt)
Source: rocq-micromega-plugin
Binary: libcoq-micromega-plugin
Architecture: any
Version: 1.1.1-2
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
 a7575d88e8afe76a9535b4c805fe4736919b208a 2552 rocq-micromega-plugin_1.1.1-2.debian.tar.xz
Checksums-Sha256:
 4f98ddc6924211f5e9b8a7f153e6849b4ddd1e197a06410e88ce801cbdc4210d 153653 rocq-micromega-plugin_1.1.1.orig.tar.gz
 760f32129d7f971286008c7fb4d3406a9d9a646ad6524e010396dc95014005ed 2552 rocq-micromega-plugin_1.1.1-2.debian.tar.xz
Files:
 21e0136a9bcd1596b65c2f7ca8ad7217 153653 rocq-micromega-plugin_1.1.1.orig.tar.gz
 ad104d3884c980546f1d0e9816190198 2552 rocq-micromega-plugin_1.1.1-2.debian.tar.xz
Dgit: ae67ed4b7c7af81931eb27000997fcbf8daa3e1d debian archive/debian/1.1.1-2 https://git.dgit.debian.org/rocq-micromega-plugin
Git-Tag-Info: tag=57be73a25488c121398be1dc6cb2374c81dc4b8d fp=6de24e97eca886cc56e6250e21b8eef1b1893081
Git-Tag-Tagger: Stéphane Glondu <glondu@debian.org>

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

iQIzBAEBCgAdFiEEN02M5NuW6cvUwJcqYG0ITkaDwHkFAmqPBOIACgkQYG0ITkaD
wHlUFw//QNF6AzWlgsAVcqCQMMacFtP/RPcq+wB9Fw/Ne6XTlciIguYMv42oP/nl
uY4oQhXVwlwp0Ts4VjiKSCRjz+C9jIsrlomFgc6QCH2O0d43RTEAyoFQlGdPa3Oe
4kJKyIr7+tubIIu8Wif1P/2BhZCDJMoyW4l0nBXhv9UqBjFFJ4y8z2eUAVm9Y36U
hnE74CaPJ1BHaTePayFMvsp1aoUXr4QJ8Q2ytW5zlH4idDLpGponb26gr067HIEu
1hQwlf1J2ptvNx63Lr/MepxAe6hyxmQ71iN2KktCJD0ClG+xJCl5Jb7cyekZf+Wb
MlOMwtM61QY6cw7CpvImXAnX6cJcSxHGf/fiY6ia/Qg2GTBq1xtdWa0ch6PrW3ua
FEy3QDnXkhJNDYpAWTfua2A1LGFJZQGyYuezJULlF9iB/PDv6UalyyPPhvckM5mf
vZIVmU56LNGZOb3z10xfEalKgMAtsQ7rk4euXjoB3sVoTOsFDRXMcdmEBoh4K6Of
vObbPOleCt5U3d7XpGHtdGI65gj3+Gx2y3aLvkOC2jG6ZmkbztB2i15mUE+Wq0Hq
LeQli2e+q0rjwySrssS4rxEdATKy60ZD63egMQGcoK6DELt+9p/cawBc021VHYed
YZ7sgFrmfiZLOyu3qoqDySO9VnVguqrmQdP2fQGpd+RGoj/SqpY=
=UVRb
-----END PGP SIGNATURE-----