Format: 1.8
Date: Fri, 06 Nov 2026 23:45:14 +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:
 0794aac7863229343514f033a3c62ca7f142e1d9 1322 rocq-micromega-plugin_1.1.1-2+ocaml1.dsc
 f77e14bf651672de8bf2e8b601f537e67a93da6a 153653 rocq-micromega-plugin_1.1.1.orig.tar.gz
 f3405768ca1f19fe8c8e311dcad032e43b96bd5e 2628 rocq-micromega-plugin_1.1.1-2+ocaml1.debian.tar.xz
 8bb74c210ca275c87b1a96de738d21a8ef234c69 3979916 libcoq-micromega-plugin_1.1.1-2+ocaml1_amd64.deb
 64bf3cd75b3f5bd7f5549e9386bf1d69615d90e8 6976 rocq-micromega-plugin_1.1.1-2+ocaml1_amd64.buildinfo
Checksums-Sha256:
 fcec065fbde1129992ebde4526a4d2f17a59adda23bebaf4ff2fa3e6187a7b6c 1322 rocq-micromega-plugin_1.1.1-2+ocaml1.dsc
 4f98ddc6924211f5e9b8a7f153e6849b4ddd1e197a06410e88ce801cbdc4210d 153653 rocq-micromega-plugin_1.1.1.orig.tar.gz
 c66dcddecd40013a363fb6a82f610f5f4f881947a0f54e52e1a486ea976117ee 2628 rocq-micromega-plugin_1.1.1-2+ocaml1.debian.tar.xz
 7ea3afcb2c33699f713bbef32bf849362e1fb12e16424a41cb5c3ddf30833d11 3979916 libcoq-micromega-plugin_1.1.1-2+ocaml1_amd64.deb
 3272d1867cc2bf8e621ca72e6fb47071c30ac235e30d811a8069471087ec8f02 6976 rocq-micromega-plugin_1.1.1-2+ocaml1_amd64.buildinfo
Files:
 fbc8fa13a6e41b3ad30adb9b0d992f70 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
 36dc76d5c29f0eefc91e27806e2dfd90 2628 math optional rocq-micromega-plugin_1.1.1-2+ocaml1.debian.tar.xz
 846a198dc4430bfa1a6d1f92a4cc123b 3979916 math optional libcoq-micromega-plugin_1.1.1-2+ocaml1_amd64.deb
 2d2923a5acb7eb840b1d29bd4838408a 6976 math optional rocq-micromega-plugin_1.1.1-2+ocaml1_amd64.buildinfo