[ubuntu/oracular-proposed] coq-unimath 20240331-2build3 (Accepted)

[Matthias Klose]

coq-unimath (20240331-2build3) oracular; urgency=medium

  * No-change rebuild for OCaml ABIs.

Date: Sat, 07 Sep 2024 16:35:01 +0200
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/20240331-2build3
-------------- next part --------------
Format: 1.8
Date: Sat, 07 Sep 2024 16:35:01 +0200
Source: coq-unimath
Built-For-Profiles: noudeb
Architecture: source
Version: 20240331-2build3
Distribution: oracular
Urgency: medium
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint at lists.debian.org>
Changed-By: Matthias Klose <doko at ubuntu.com>
Changes:
 coq-unimath (20240331-2build3) oracular; urgency=medium
 .
   * No-change rebuild for OCaml ABIs.
Checksums-Sha1:
 549a9d71eed331097fb66b400375d386db242006 2108 coq-unimath_20240331-2build3.dsc
 0779d792df01bbd9f04a10989d4b68173aaeae77 2356 coq-unimath_20240331-2build3.debian.tar.xz
 376ceb7bfc33abfa5e066dea2eae81c0f0977467 5712 coq-unimath_20240331-2build3_source.buildinfo
Checksums-Sha256:
 3a6385876799a264f3d94dd81eedb646b050a59b107335e56d4ed2c26b366aff 2108 coq-unimath_20240331-2build3.dsc
 f8658f83e26046934111469588877c3d31a35e8a75abf046fdca891b5bafec7c 2356 coq-unimath_20240331-2build3.debian.tar.xz
 b39e22f0d01cc57d4f34f156826f22c794e9580160fea78523562792f2ff88f5 5712 coq-unimath_20240331-2build3_source.buildinfo
Files:
 50f226e73174b531a95ba69f5ac60f9b 2108 ocaml optional coq-unimath_20240331-2build3.dsc
 8c5882f4eee0a5e83674d5ea74917793 2356 ocaml optional coq-unimath_20240331-2build3.debian.tar.xz
 3f8e46638e4220c19ee5e3ec24010df9 5712 ocaml optional coq-unimath_20240331-2build3_source.buildinfo