[ubuntu/oracular-proposed] coq-stdpp 1.10.0-1build3 (Accepted)

[Gianfranco Costamagna]

coq-stdpp (1.10.0-1build3) oracular; urgency=medium

  * Rebuild against new OCAML ABIs.

Date: Sat, 15 Jun 2024 16:35:12 +0200
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-stdpp/1.10.0-1build3
-------------- next part --------------
Format: 1.8
Date: Sat, 15 Jun 2024 16:35:12 +0200
Source: coq-stdpp
Built-For-Profiles: noudeb
Architecture: source
Version: 1.10.0-1build3
Distribution: oracular
Urgency: medium
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint at lists.debian.org>
Changed-By: Gianfranco Costamagna <locutusofborg at debian.org>
Changes:
 coq-stdpp (1.10.0-1build3) oracular; urgency=medium
 .
   * Rebuild against new OCAML ABIs.
Checksums-Sha1:
 949c2a07a40cc5a23364721b9d6b098836c6c026 2072 coq-stdpp_1.10.0-1build3.dsc
 e4bebe0a3bb78e06db92aacd733eac8c0d8ac062 2732 coq-stdpp_1.10.0-1build3.debian.tar.xz
 68cbafc87037a83e68e998c0c35f53b61481876c 7828 coq-stdpp_1.10.0-1build3_source.buildinfo
Checksums-Sha256:
 e998258b6dba4471fad0474e71c5d1fa0cc589cbb83d1bccb1260c559f27030b 2072 coq-stdpp_1.10.0-1build3.dsc
 34c4ada6c0855ce5a35dd6f2a9c17367ea027497f2279af5670c59055cab698d 2732 coq-stdpp_1.10.0-1build3.debian.tar.xz
 76f40f49dc56f2597c7f1dd4764248a6120287aa0c5666233e309cedf3ccdbea 7828 coq-stdpp_1.10.0-1build3_source.buildinfo
Files:
 c1aca99433b3ff053fe424bc99bfe35e 2072 ocaml optional coq-stdpp_1.10.0-1build3.dsc
 f10ed4349fa1b8cf6d82784bbcfde04d 2732 ocaml optional coq-stdpp_1.10.0-1build3.debian.tar.xz
 39d26edf45da279cf30223ff91942134 7828 ocaml optional coq-stdpp_1.10.0-1build3_source.buildinfo