Format: 1.8
Date: Mon, 07 Sep 2026 20:28:04 +0200
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.1
Checksums-Sha1:
 fae4880ff80525785aeee3b60780650488a8045a 1322 rocq-micromega-plugin_1.1.1-2+ocaml1.dsc
 f77e14bf651672de8bf2e8b601f537e67a93da6a 153653 rocq-micromega-plugin_1.1.1.orig.tar.gz
 8c13193020bc71ae57502063a6602850396015d8 2620 rocq-micromega-plugin_1.1.1-2+ocaml1.debian.tar.xz
 ba946bacc23b5707384e804833609e62053525d5 3979876 libcoq-micromega-plugin_1.1.1-2+ocaml1_amd64.deb
 faf1f9e73a9f2c1c7383e15ddf48c51e2760ac6a 6828 rocq-micromega-plugin_1.1.1-2+ocaml1_amd64.buildinfo
Checksums-Sha256:
 9a728ea04585f381421a931db5951c188c84ddc6823d2b900a13f203a641e601 1322 rocq-micromega-plugin_1.1.1-2+ocaml1.dsc
 4f98ddc6924211f5e9b8a7f153e6849b4ddd1e197a06410e88ce801cbdc4210d 153653 rocq-micromega-plugin_1.1.1.orig.tar.gz
 67e3182baef20a570d4cb4e61769b585467b0fd9f9ea18a05151ec92bdfae5ae 2620 rocq-micromega-plugin_1.1.1-2+ocaml1.debian.tar.xz
 e337910edbec2e94932de84b025b21240ad7aa68d54c0bc39d0f7211f86b839a 3979876 libcoq-micromega-plugin_1.1.1-2+ocaml1_amd64.deb
 a752989022b31589e05111a72f6d827a727498b42b3136faa0008f9291a67cf8 6828 rocq-micromega-plugin_1.1.1-2+ocaml1_amd64.buildinfo
Files:
 4315c3e86ff6a8179bf7ab00fdbf0c21 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
 7c57fcb08fe192e2406956bd48669058 2620 math optional rocq-micromega-plugin_1.1.1-2+ocaml1.debian.tar.xz
 b4484d412ba9b90ec021748745580c30 3979876 math optional libcoq-micromega-plugin_1.1.1-2+ocaml1_amd64.deb
 4b9a99ba10dc21594a502622dc5aa7a6 6828 math optional rocq-micromega-plugin_1.1.1-2+ocaml1_amd64.buildinfo