[ubuntu/plucky-proposed] coq-unimath 20240923-1build2 (Accepted)

[Matthias Klose]

coq-unimath (20240923-1build2) plucky; urgency=medium

  * No-change rebuild for OCaml ABI changes.

Date: Thu, 21 Nov 2024 07:51:49 +0100
Changed-By: Matthias Klose <doko at ubuntu.com>
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint at lists.debian.org>
https://launchpad.net/ubuntu/+source/coq-unimath/20240923-1build2
-------------- next part --------------
Format: 1.8
Date: Thu, 21 Nov 2024 07:51:49 +0100
Source: coq-unimath
Built-For-Profiles: noudeb
Architecture: source
Version: 20240923-1build2
Distribution: plucky
Urgency: medium
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint at lists.debian.org>
Changed-By: Matthias Klose <doko at ubuntu.com>
Changes:
 coq-unimath (20240923-1build2) plucky; urgency=medium
 .
   * No-change rebuild for OCaml ABI changes.
Checksums-Sha1:
 795ea75d0194d3975add5fe7e8dbb880b21ae285 2108 coq-unimath_20240923-1build2.dsc
 3a4c242fce702118118a74abf191377c4ba37f98 2364 coq-unimath_20240923-1build2.debian.tar.xz
 d06690da286f65b6d9ee8303be52350078e63ef9 3837 coq-unimath_20240923-1build2_source.buildinfo
Checksums-Sha256:
 854cc0b1f979738b8acc2179ab206092c09d66846b1934b08b611f34b7aa4d0c 2108 coq-unimath_20240923-1build2.dsc
 0aa5d686aa696c2c67de861b80c3d689dacad5e84d07abe02130a7b80ac109a5 2364 coq-unimath_20240923-1build2.debian.tar.xz
 9aa8a34bfed6509ed46d87a923252acc42677a85b6907e284f671190630633ff 3837 coq-unimath_20240923-1build2_source.buildinfo
Files:
 74807b7504fe164e54f5c47114666bfe 2108 ocaml optional coq-unimath_20240923-1build2.dsc
 e408a607b1603496e58ab62c8033544d 2364 ocaml optional coq-unimath_20240923-1build2.debian.tar.xz
 ecb28d0fdaed4c4fc6222ddb8c63a6a0 3837 ocaml optional coq-unimath_20240923-1build2_source.buildinfo