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

[Matthias Klose]

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

  * No-change rebuild for OCaml ABIs.

Date: Sat, 07 Sep 2024 00:44:23 +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-2build2
-------------- next part --------------
Format: 1.8
Date: Sat, 07 Sep 2024 00:44:23 +0200
Source: coq-unimath
Built-For-Profiles: noudeb
Architecture: source
Version: 20240331-2build2
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-2build2) oracular; urgency=medium
 .
   * No-change rebuild for OCaml ABIs.
Checksums-Sha1:
 4e8421da042f8fcf4a202c53b25f458dc3636cd8 2108 coq-unimath_20240331-2build2.dsc
 531358d778f2cd024f3c522e533d85dc1c20a4c7 2356 coq-unimath_20240331-2build2.debian.tar.xz
 0964f86e633a926921be557ee3267b19b7e6e80b 5712 coq-unimath_20240331-2build2_source.buildinfo
Checksums-Sha256:
 11aff25772aa4247dc5287440c843afb9d0dcd629d5fb40e1e5d6242b062f925 2108 coq-unimath_20240331-2build2.dsc
 38024648cbd2a27670959ad38a076ec2525075cb8d5645c4dc29a3fe51395f44 2356 coq-unimath_20240331-2build2.debian.tar.xz
 68b542c0904d82cc342ef78008449e4934ae154572903f42104e9da92f8f2265 5712 coq-unimath_20240331-2build2_source.buildinfo
Files:
 ef5c40541b8110a8d0f6e9b4f19fac3c 2108 ocaml optional coq-unimath_20240331-2build2.dsc
 4da58c9dd84f7bb27111e581cf4c3876 2356 ocaml optional coq-unimath_20240331-2build2.debian.tar.xz
 fac8ccb7a4b310f6eb11ff66c7a04414 5712 ocaml optional coq-unimath_20240331-2build2_source.buildinfo