Format: 1.8
Date: Wed, 11 Nov 2026 14:42:28 +0100
Source: rocq-micromega-plugin
Binary: libcoq-micromega-plugin
Architecture: source amd64
Version: 1.1.1-2+ocaml1
Distribution: unstable-ocaml
Urgency: medium
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Changed-By: Anonymous Builder <builder@example.org>
Description:
 libcoq-micromega-plugin - Semi-decision procedures for arithmetic in Rocq
Changes:
 rocq-micromega-plugin (1.1.1-2+ocaml1) unstable-ocaml; urgency=medium
 .
   * Rebuild for transition ocaml-5.5.2
Checksums-Sha1:
 93b6ff3c5afe4566b0deae3428e81fa9eccf0701 1322 rocq-micromega-plugin_1.1.1-2+ocaml1.dsc
 f77e14bf651672de8bf2e8b601f537e67a93da6a 153653 rocq-micromega-plugin_1.1.1.orig.tar.gz
 f7c3f667e464891ee4b737da3736843769ca3baf 2632 rocq-micromega-plugin_1.1.1-2+ocaml1.debian.tar.xz
 dce41e9849d75c2395db0f8ed7fbbe325b6f47fc 3981668 libcoq-micromega-plugin_1.1.1-2+ocaml1_amd64.deb
 dae54a12099de9fe562ba611da1cd42da1c7b812 6979 rocq-micromega-plugin_1.1.1-2+ocaml1_amd64.buildinfo
Checksums-Sha256:
 528432ae21434b7de7ddf31abf8e399be15b0ab355f8cca793c46d13869dce1e 1322 rocq-micromega-plugin_1.1.1-2+ocaml1.dsc
 4f98ddc6924211f5e9b8a7f153e6849b4ddd1e197a06410e88ce801cbdc4210d 153653 rocq-micromega-plugin_1.1.1.orig.tar.gz
 132be44873bd14eafc361119b12e613939db538fc8adb267200e87351ce2c381 2632 rocq-micromega-plugin_1.1.1-2+ocaml1.debian.tar.xz
 cfc0c2f76013cad73252c657e3ef426ca9dd982e27d0f28fa0dad262684eff76 3981668 libcoq-micromega-plugin_1.1.1-2+ocaml1_amd64.deb
 7ab1a0064947f2ff3129d69d704c9fdd3616300dc02f9ed914766b0cfb2bddef 6979 rocq-micromega-plugin_1.1.1-2+ocaml1_amd64.buildinfo
Files:
 e63cd51e5dbd38c914b28c1f1b3afaba 1322 math optional rocq-micromega-plugin_1.1.1-2+ocaml1.dsc
 21e0136a9bcd1596b65c2f7ca8ad7217 153653 math optional rocq-micromega-plugin_1.1.1.orig.tar.gz
 4019130d9c247fa558604bfb2ef265b9 2632 math optional rocq-micromega-plugin_1.1.1-2+ocaml1.debian.tar.xz
 df3ed54e3987b852c8c5c0f04e781143 3981668 math optional libcoq-micromega-plugin_1.1.1-2+ocaml1_amd64.deb
 6f288216a452a3933ead98eb0ff691f2 6979 math optional rocq-micromega-plugin_1.1.1-2+ocaml1_amd64.buildinfo