[ubuntu/plucky-proposed] coq-unimath 20240923-2build3 (Accepted)

[Matthias Klose]

coq-unimath (20240923-2build3) plucky; urgency=medium

  * No-change rebuild for coq ABI changes.

Date: Tue, 18 Feb 2025 21:04:19 +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-2build3
-------------- next part --------------
Format: 1.8
Date: Tue, 18 Feb 2025 21:04:19 +0100
Source: coq-unimath
Built-For-Profiles: noudeb
Architecture: source
Version: 20240923-2build3
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-2build3) plucky; urgency=medium
 .
   * No-change rebuild for coq ABI changes.
Checksums-Sha1:
 6203702c27b1c9b065018ab55eac9736ab005ac1 2108 coq-unimath_20240923-2build3.dsc
 f5a3031078ef566ea6794b567fbadf040beb31d0 2456 coq-unimath_20240923-2build3.debian.tar.xz
 e57fe8614ee3d3b5c367f3f20a8aa0064fe60db6 3843 coq-unimath_20240923-2build3_source.buildinfo
Checksums-Sha256:
 c418a9bf5be65291192d2755a7d5654d8bd37ac42d05501435652f85ea5ca3d3 2108 coq-unimath_20240923-2build3.dsc
 6da9f53209a6e1ff1f4360d45732b8c3b178ed31c703cbf6577509ab489cf3f8 2456 coq-unimath_20240923-2build3.debian.tar.xz
 cb7a256d4210f4e2075abe08ac6876ad52d9689d138155515ef6c8d59cf8e4d8 3843 coq-unimath_20240923-2build3_source.buildinfo
Files:
 d7ff29bd3ad2fbbc57671b9b7e32a4d5 2108 ocaml optional coq-unimath_20240923-2build3.dsc
 8aca3513037c42bc7cce2e09b75caa64 2456 ocaml optional coq-unimath_20240923-2build3.debian.tar.xz
 1e0f2684dbb5d51af93952a4686600ae 3843 ocaml optional coq-unimath_20240923-2build3_source.buildinfo