Format: 1.8
Date: Tue, 11 Aug 2026 11:29:04 +0200
Source: rocq-micromega-plugin
Binary: libcoq-micromega-plugin
Architecture: source amd64
Version: 1.1.1-1+ocaml1
Distribution: trixie-backports-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-1+ocaml1) trixie-backports-ocaml; urgency=medium
 .
   * Rebuild for transition ocaml-5.4.1
Checksums-Sha1:
 7247e6ac6ccb2ac9d2febde86d5ec314814cade7 1322 rocq-micromega-plugin_1.1.1-1+ocaml1.dsc
 f77e14bf651672de8bf2e8b601f537e67a93da6a 153653 rocq-micromega-plugin_1.1.1.orig.tar.gz
 0263261024190fb8a63e91fadc3062424b163b20 2560 rocq-micromega-plugin_1.1.1-1+ocaml1.debian.tar.xz
 875f0622c9bf5c3b6bbecf435f353781ff772329 3858016 libcoq-micromega-plugin_1.1.1-1+ocaml1_amd64.deb
 d9625474102c2a5e3b637797c858e79b9531ab0f 7101 rocq-micromega-plugin_1.1.1-1+ocaml1_amd64.buildinfo
Checksums-Sha256:
 6b5b67813c5e01554223ef6ae6b6ef39caa0941bccc56e6237cd3480d14ee845 1322 rocq-micromega-plugin_1.1.1-1+ocaml1.dsc
 4f98ddc6924211f5e9b8a7f153e6849b4ddd1e197a06410e88ce801cbdc4210d 153653 rocq-micromega-plugin_1.1.1.orig.tar.gz
 de7953288f3fe920152436098a4273519928ec495db3e92d0eb308e622172250 2560 rocq-micromega-plugin_1.1.1-1+ocaml1.debian.tar.xz
 ee39afc58c2e631509867ac6db8ae1f9ca6e2687b21a840abe5050c27c733f5c 3858016 libcoq-micromega-plugin_1.1.1-1+ocaml1_amd64.deb
 90950ff7dc6117f6f495d973efa33d8737ea67748f354300cae14460e7119bdf 7101 rocq-micromega-plugin_1.1.1-1+ocaml1_amd64.buildinfo
Files:
 3db8b19c2f34e2527cdb31cec8ce95a7 1322 math optional rocq-micromega-plugin_1.1.1-1+ocaml1.dsc
 21e0136a9bcd1596b65c2f7ca8ad7217 153653 math optional rocq-micromega-plugin_1.1.1.orig.tar.gz
 f7a9036422a1d5edb56fb059d2a4e02c 2560 math optional rocq-micromega-plugin_1.1.1-1+ocaml1.debian.tar.xz
 56605a41175e5727a62b486ef183800e 3858016 math optional libcoq-micromega-plugin_1.1.1-1+ocaml1_amd64.deb
 f848c9530fe681267aa67bd2f2812cc9 7101 math optional rocq-micromega-plugin_1.1.1-1+ocaml1_amd64.buildinfo