-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA512 Format: 1.8 Date: Thu, 16 Jul 2026 14:47:45 +0200 Source: rocq-micromega-plugin Binary: libcoq-micromega-plugin Architecture: source amd64 Version: 1.1.0-1 Distribution: experimental Urgency: medium Maintainer: Julien Puydt <jpuydt@debian.org> Changed-By: Julien Puydt <jpuydt@debian.org> Description: libcoq-micromega-plugin - Semi-decision procedures for arithmetic in Rocq Closes: 1142096 Changes: rocq-micromega-plugin (1.1.0-1) experimental; urgency=medium . * Initial release. (Closes: #1142096) Checksums-Sha1: 40d919596aa32a4f466beee57b8e8cbabfd1b61b 2214 rocq-micromega-plugin_1.1.0-1.dsc 758e755a8458e3257901013e45e340d02cd2180e 153694 rocq-micromega-plugin_1.1.0.orig.tar.gz 82a9db901fe1980bbb35d81e6821e1e46803b17c 1924 rocq-micromega-plugin_1.1.0-1.debian.tar.xz 93a983f348e98288863cf32f444ff937fbe8d962 4140304 libcoq-micromega-plugin_1.1.0-1_amd64.deb 49b785f539ba5a9c50423afbd21b95502f54bf67 7652 rocq-micromega-plugin_1.1.0-1_amd64.buildinfo Checksums-Sha256: ce44e9c34b3391d65319fe8c632c230ae7be15ce94d55ccbef1654f6e2767b41 2214 rocq-micromega-plugin_1.1.0-1.dsc 13bcd75391119ac839da5e51306f403dd9ab4b1e7524cb1634b5724242a73148 153694 rocq-micromega-plugin_1.1.0.orig.tar.gz ff59241b6e2d3abf2fb1b5bebad42801d222c410b577a2b8e76130f010272fa6 1924 rocq-micromega-plugin_1.1.0-1.debian.tar.xz 54d2c8cfc932ed32ac92381964b2904b4631b75c44f2ec3eae59f343cd3dbeac 4140304 libcoq-micromega-plugin_1.1.0-1_amd64.deb e15afa88128cc43c07a5b5992a7906e868335a6f40a6ce3e36bb54cbbff1c4f6 7652 rocq-micromega-plugin_1.1.0-1_amd64.buildinfo Files: 32b5d4e0b9d08a10440ba48741f52c06 2214 math optional rocq-micromega-plugin_1.1.0-1.dsc 554985e322efe4e1a6e346097a1ef009 153694 math optional rocq-micromega-plugin_1.1.0.orig.tar.gz 58de3b3a1a74b91f2f443b2aa2799619 1924 math optional rocq-micromega-plugin_1.1.0-1.debian.tar.xz ac2d636ad09bf8a9c3df7726cb1b3a1d 4140304 math optional libcoq-micromega-plugin_1.1.0-1_amd64.deb a4b13f09a96387324d5721df9662f883 7652 math optional rocq-micromega-plugin_1.1.0-1_amd64.buildinfo -----BEGIN PGP SIGNATURE----- iQJNBAEBCgA3FiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmpY1W0ZHGp1bGllbi5w dXlkdEBsYXBvc3RlLm5ldAAKCRAExTvX/gMFUcGqD/9jA9KWUya59baiEnYHDArM DaZ7idJp9XZoHLeKtj9Ypo4G0uCChKccfiZ1Oniy8OgJk52wKL73DmxxNAzICtoV 3AL/HXo5fEvBLLh1iz7CKChqp6FwFAiH5BfcSEdvyVIq39+mFuWGinzRXe+S1Z2e G0tmGeP4ZRb61GPJRm7zuP9V0ETckztGPiBVXzQ3gohZ5jNoy0uetAjZXKMMkhXG WUJiPvrS2sSbx1so8hONhZEZWuKeaDyKmtXboy245OpWc2id+VDg88+PLrLemRVs 84Kgzd6jp10+iL7YWzln48LMRAzdnEZ7tfyaML4n83V0AX8IiXI2ar1Eu1Q0MNHt bUAzgMz7cNkcID0jH3GocTqNSmBPdExi9SQ8t8jcK3VbDLMrdn29Nx+O/XOSSyaG Jqb/5G2sxYHub0ayKLV2uTiCp+qFA0vQgBwTaIU8bMLEZ6/Mz+T44v9ElAqJFhVW OlXyih7B05DwMxl7W7OYBrxKdHa++OHI5gTNJ1UC0HVSTJAiCl1ZnSNnr3T6Ex06 +jMCFQ3kvKwFJmyYerq7RXnKYDUPUWr7F6vvQEMT448LZr9FoGw7z/CWY63ChOn8 UjV3lKrDCE01rUGlB5vh1hiDnj+LzFa5o6Q4vFMjubTCFTehyO/EWykvTPqhMqPb BQCji910s1/0IMjn9wgQgw== =Cbds -----END PGP SIGNATURE-----
