[ubuntu/noble-proposed] coq-stdpp 1.8.0-4build3 (Accepted)

[Gianfranco Costamagna]

coq-stdpp (1.8.0-4build3) noble; urgency=medium

  * Rebuild against new OCAML ABIs.

Date: Thu, 23 Nov 2023 00:42:16 +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-stdpp/1.8.0-4build3
-------------- next part --------------
Format: 1.8
Date: Thu, 23 Nov 2023 00:42:16 +0100
Source: coq-stdpp
Built-For-Profiles: noudeb
Architecture: source
Version: 1.8.0-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-stdpp (1.8.0-4build3) noble; urgency=medium
 .
   * Rebuild against new OCAML ABIs.
Checksums-Sha1:
 0687239e12fdc0bbce8aaad070d2f51f890f7c8d 2055 coq-stdpp_1.8.0-4build3.dsc
 cdf08a3cf649b5a840c9bb8e6dd79cbd5ef999e8 2524 coq-stdpp_1.8.0-4build3.debian.tar.xz
 c034576090f4c03f09372e3d8c6b3471fec1241b 7804 coq-stdpp_1.8.0-4build3_source.buildinfo
Checksums-Sha256:
 6c655d688855e19ddff4da93128a755dedb812015558690d2a6b261de85399ce 2055 coq-stdpp_1.8.0-4build3.dsc
 b549c2920a2462c5483430f8a96a89a3abb0980e4a488408ac658ea5ebd7598c 2524 coq-stdpp_1.8.0-4build3.debian.tar.xz
 5e54527a6e682c5fcd773cb1f05a2d64b7bfadda11f025a7a95c00ed25f549ff 7804 coq-stdpp_1.8.0-4build3_source.buildinfo
Files:
 c58c6febe3edbf733a800843897f33f3 2055 ocaml optional coq-stdpp_1.8.0-4build3.dsc
 0e6b0f9e702043b6026e9c4d8925d5f7 2524 ocaml optional coq-stdpp_1.8.0-4build3.debian.tar.xz
 6ec30a7f129ca96693b5494579d5d779 7804 ocaml optional coq-stdpp_1.8.0-4build3_source.buildinfo