Format: 1.8
Date: Fri, 23 Oct 2026 19:40:02 +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.2
Checksums-Sha1:
 a1dd44887d888ba3a865ccb679c3cfe75958aea3 1322 rocq-micromega-plugin_1.1.1-2+ocaml1.dsc
 f77e14bf651672de8bf2e8b601f537e67a93da6a 153653 rocq-micromega-plugin_1.1.1.orig.tar.gz
 3ffbba6ceb3b9cd19a08792ec14890cd841071b3 2624 rocq-micromega-plugin_1.1.1-2+ocaml1.debian.tar.xz
 1a50bee10ba317e7b210cfe77d257a3128104e6c 3979932 libcoq-micromega-plugin_1.1.1-2+ocaml1_amd64.deb
 505a70bf8e8a75a250afe05f5efd391239ef184e 6922 rocq-micromega-plugin_1.1.1-2+ocaml1_amd64.buildinfo
Checksums-Sha256:
 4cbbaa5e0681bd4c4493071ea12a9d7978ffc36ad6cf1a1c4b9c73ca5c9b05a2 1322 rocq-micromega-plugin_1.1.1-2+ocaml1.dsc
 4f98ddc6924211f5e9b8a7f153e6849b4ddd1e197a06410e88ce801cbdc4210d 153653 rocq-micromega-plugin_1.1.1.orig.tar.gz
 88ee6f035c66cdee3c4b94e16e260c4b72921e566bc730f41e4577d5008a65db 2624 rocq-micromega-plugin_1.1.1-2+ocaml1.debian.tar.xz
 61c785e4ed766b21d8b44342e933723f79b18da5d0a574025a3c8a476c911c30 3979932 libcoq-micromega-plugin_1.1.1-2+ocaml1_amd64.deb
 4b8fcf11596a29abd15269e532f23b6ff5aaedf6d90775b9fc9b3c15dbc3e2f1 6922 rocq-micromega-plugin_1.1.1-2+ocaml1_amd64.buildinfo
Files:
 7ada02208a919fa3df2169e7b88158de 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
 9cf8d39dd26fc35ad97d3ddd40fa24a0 2624 math optional rocq-micromega-plugin_1.1.1-2+ocaml1.debian.tar.xz
 514d093203b2fe8664aade1ca629f19d 3979932 math optional libcoq-micromega-plugin_1.1.1-2+ocaml1_amd64.deb
 bf584b16d4ac7cf019d7ff5a1096c928 6922 math optional rocq-micromega-plugin_1.1.1-2+ocaml1_amd64.buildinfo