[ubuntu/noble-proposed] coq-unimath 20231010-1build3 (Accepted)

[Gianfranco Costamagna]

coq-unimath (20231010-1build3) noble; urgency=medium

  * Rebuild against new OCAML ABIs.

Date: Mon, 08 Apr 2024 09:15:36 +0200
Changed-By: Gianfranco Costamagna <locutusofborg at debian.org>
Maintainer: Ubuntu Developers <ubuntu-devel-discuss at lists.ubuntu.com>
https://launchpad.net/ubuntu/+source/coq-unimath/20231010-1build3
-------------- next part --------------
Format: 1.8
Date: Mon, 08 Apr 2024 09:15:36 +0200
Source: coq-unimath
Built-For-Profiles: noudeb
Architecture: source
Version: 20231010-1build3
Distribution: noble
Urgency: medium
Maintainer: Ubuntu Developers <ubuntu-devel-discuss at lists.ubuntu.com>
Changed-By: Gianfranco Costamagna <locutusofborg at debian.org>
Changes:
 coq-unimath (20231010-1build3) noble; urgency=medium
 .
   * Rebuild against new OCAML ABIs.
Checksums-Sha1:
 71067e0a0e121e0e333399d58c2f814f281a0b9b 2187 coq-unimath_20231010-1build3.dsc
 eee8a549852ecdea83d1134948f96df34fee014d 2296 coq-unimath_20231010-1build3.debian.tar.xz
 d2e8be01a6cd7a6e7c84ee8cd063c84f260a6c17 7844 coq-unimath_20231010-1build3_source.buildinfo
Checksums-Sha256:
 d07542ebb4beed9b49868de214155edccd791f6b5da182e7155062a0ab80b10f 2187 coq-unimath_20231010-1build3.dsc
 3e05d758233dbe7c3d136966d3970b2b629d818b12b2b9d6a5fc0a4c05d2e0e2 2296 coq-unimath_20231010-1build3.debian.tar.xz
 7db569495158bcf19d9873c457bf4e0906b1aed07584f3cee2e4aefcc13707e4 7844 coq-unimath_20231010-1build3_source.buildinfo
Files:
 f364048d8f1e1bc44263aa0a3473b1c5 2187 ocaml optional coq-unimath_20231010-1build3.dsc
 cec5472a0845b29379699257c660d053 2296 ocaml optional coq-unimath_20231010-1build3.debian.tar.xz
 4d3c33f9650877d685c999f71f6312cd 7844 ocaml optional coq-unimath_20231010-1build3_source.buildinfo
Original-Maintainer: Debian OCaml Maintainers <debian-ocaml-maint at lists.debian.org>