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

Format: 3.0 (quilt)
Source: rocq-micromega-plugin
Binary: libcoq-micromega-plugin
Architecture: any
Version: 1.1.0-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:
 758e755a8458e3257901013e45e340d02cd2180e 153694 rocq-micromega-plugin_1.1.0.orig.tar.gz
 82a9db901fe1980bbb35d81e6821e1e46803b17c 1924 rocq-micromega-plugin_1.1.0-1.debian.tar.xz
Checksums-Sha256:
 13bcd75391119ac839da5e51306f403dd9ab4b1e7524cb1634b5724242a73148 153694 rocq-micromega-plugin_1.1.0.orig.tar.gz
 ff59241b6e2d3abf2fb1b5bebad42801d222c410b577a2b8e76130f010272fa6 1924 rocq-micromega-plugin_1.1.0-1.debian.tar.xz
Files:
 554985e322efe4e1a6e346097a1ef009 153694 rocq-micromega-plugin_1.1.0.orig.tar.gz
 58de3b3a1a74b91f2f443b2aa2799619 1924 rocq-micromega-plugin_1.1.0-1.debian.tar.xz

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

iQJNBAEBCgA3FiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmpY1W0ZHGp1bGllbi5w
dXlkdEBsYXBvc3RlLm5ldAAKCRAExTvX/gMFUaB8D/4oryFwNmIPQIMu8sdWg2pR
ANBEqxrj8N6F/591B5DezUZ454miEkBJ5t3cX7U6M41rdx8VvdHoELFheXeg7M1J
yNqyY48j/Vn0vSxEOvmdR5gZ0zB8cFyg9EV1HBh1QSu2cd0lxd/NFwIxZBqL+Z01
iEYJxkyCx+/yStdoz9pQUZWqohnWiNNutgZHQdxxxLHF2PfMTW7caFouY/bQh3iX
QRvsRfixC9gLnioTdEFcKsmEnx+jy9XHBJBNgDqhY2KI/XeF0nPHwz3X0pC1qRXy
S3dVkU9pUDM6uSUBAAmeEL9d8Gy+OqFVPEY5o8lmnw3/O5Rwzi04XrxhNL/I3WVP
juQfCYrtS2D7fYUmpTXSYsnbvaHDRzn3vtVuNcUNyaZZ0p96tkOHqfSsbcm0oNbG
3uz+QtoY3PyGza93u+zEdkOIiYf0L+d4IKjJcvmKJyCuEGkVQFbfuaQ+icYeMTU1
DJcAoIEzb+jo4atZun1YBcebj2FppXp8m/Y/Si1BoEQk6z1kWaUJYoBZereAuWla
IFBiviPYJp3lwS61IR7Y9OFOyiHy/3fmeiYJlGsyNsWnzSsxX54C+IX7q0+8Xoa2
O7u54PgwaCNtsF3sh36ft/tacV3Pg8WvhvLxoPXudRzeRcRiUOXnBtoADhD9T661
o6T4aVVNv/bANjRSPSAbUw==
=IKEj
-----END PGP SIGNATURE-----