[ubuntu/noble-proposed] coq-unimath 20230420-4build3 (Accepted)

[Gianfranco Costamagna]

coq-unimath (20230420-4build3) noble; urgency=medium

  * Rebuild against new OCAML ABIs.

Date: Thu, 23 Nov 2023 00:42:34 +0100
Changed-By: Gianfranco Costamagna <locutusofborg at debian.org>
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint at lists.debian.org>
https://launchpad.net/ubuntu/+source/coq-unimath/20230420-4build3
-------------- next part --------------
Format: 1.8
Date: Thu, 23 Nov 2023 00:42:34 +0100
Source: coq-unimath
Built-For-Profiles: noudeb
Architecture: source
Version: 20230420-4build3
Distribution: noble
Urgency: medium
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint at lists.debian.org>
Changed-By: Gianfranco Costamagna <locutusofborg at debian.org>
Changes:
 coq-unimath (20230420-4build3) noble; urgency=medium
 .
   * Rebuild against new OCAML ABIs.
Checksums-Sha1:
 8dd2142e4aa1a7571ccb11ac502c5b3d4755fe53 2108 coq-unimath_20230420-4build3.dsc
 6103ee73117fb76b1cd218ebbac1987f8de7ffb3 3420 coq-unimath_20230420-4build3.debian.tar.xz
 bdaba309d63020a70c986d193bc6ee1de8c81030 7824 coq-unimath_20230420-4build3_source.buildinfo
Checksums-Sha256:
 eba34a5e1440afc07fe6c0e436eae8493ad95378fa907b9fd491205130a5a215 2108 coq-unimath_20230420-4build3.dsc
 7a8767cd8fc15425567087defe8cc62180419bf2876e985c0eec21aa959e0e79 3420 coq-unimath_20230420-4build3.debian.tar.xz
 3d323166fcf5d5b2c083b111d09ed595151975998443b4eaf2faee45226f75b1 7824 coq-unimath_20230420-4build3_source.buildinfo
Files:
 1e4fe374a03c557247115a230700ce77 2108 ocaml optional coq-unimath_20230420-4build3.dsc
 0b84e6ffc5e4537c84331c87cd6ea84b 3420 ocaml optional coq-unimath_20230420-4build3.debian.tar.xz
 4785654e2563991d46b3bc453861b51d 7824 ocaml optional coq-unimath_20230420-4build3_source.buildinfo