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

Format: 3.0 (quilt)
Source: rocq-micromega-plugin
Binary: libcoq-micromega-plugin
Architecture: any
Version: 1.1.1-2build1
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
 cb3a61587db7efcccb9d5a84c9f57f6bc5a3a2ed 2628 rocq-micromega-plugin_1.1.1-2build1.debian.tar.xz
Checksums-Sha256:
 4f98ddc6924211f5e9b8a7f153e6849b4ddd1e197a06410e88ce801cbdc4210d 153653 rocq-micromega-plugin_1.1.1.orig.tar.gz
 b724b09078d41c2e473c89e7ab0bdbbb61455a3f3b9f187629c7138eac6194f5 2628 rocq-micromega-plugin_1.1.1-2build1.debian.tar.xz
Files:
 21e0136a9bcd1596b65c2f7ca8ad7217 153653 rocq-micromega-plugin_1.1.1.orig.tar.gz
 c4469dcb6e348b166e10f51e6186f20c 2628 rocq-micromega-plugin_1.1.1-2build1.debian.tar.xz

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

iQIzBAEBCgAdFiEEVovyKmYzfL/Jprm3LIPbyOm9DjcFAmqtDAUACgkQLIPbyOm9
DjfSORAAq+HGOwfacOei3XnZq4jxExOsoqIK6VlOWS3gKgH8Bueaq7GbPvqbnCsP
ghMJnd8+hIZVVuEEby1QO5XAe/iFsgsEaeUdCubm81AT1dqNVPZPOPynKqpLxUWl
7DBee+nnoy9SPWILgG2T2IUwlWPzlLSrnbM1GAO87r1bME/39irVPwhg0A1q+8gM
BlXOFHLTLGG2YOs2UGqcPZAEHmuYD96k1U4TSdfcnJzPsOWRrZEeNdumcBQ/dV3E
mUkL5vPovFJ/Tdn3fEGti18Feos/G146XdH2k4F6j3HQFEgJxDrlEjsG22izDeq0
n/Hkw1nSe4DE6R5RMfuOPkAPX6+ShHjK/skI3/7MHdy4DxU920/Nch49lAvYLwlZ
nfQWx+iDQ35MYwPf9DOPBmSccp7YdRYCtxza/+anAQ5HYvrFEC7i7IWRu1zrFAxw
o118lgZGxqIOAANR1eFDlPjCV7dWOCVS1GDh47YjF9MoCttETMvJRqZwEgnqfwc4
VzJ7TjFr8BecFPCEYixbD87NLXWblLnfdq6k8eezfotUgplQx6XolEopGmmLHt0z
7oB3nN1aqnufxS+9UHKZ8aZALIcOzj142aeR/s5v677QkOlxgvjmf+0hNgl2ESqZ
Uss9rPTR4hZOMzMj/cjUcEsAScC+TD1etlk8igjTLJRtkV3qU9I=
=YFwJ
-----END PGP SIGNATURE-----