[ubuntu/oracular-proposed] coq-stdpp 1.10.0-2build1 (Accepted)

[Gianfranco Costamagna]

coq-stdpp (1.10.0-2build1) oracular; urgency=medium

  * Rebuild against new OCAML ABI.

Date: Thu, 15 Aug 2024 08:39:02 +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-2build1
-------------- next part --------------
Format: 1.8
Date: Thu, 15 Aug 2024 08:39:02 +0200
Source: coq-stdpp
Built-For-Profiles: noudeb
Architecture: source
Version: 1.10.0-2build1
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-2build1) oracular; urgency=medium
 .
   * Rebuild against new OCAML ABI.
Checksums-Sha1:
 3aaeffcc758f1077dba4b2d735482b0b9ed3b08d 2072 coq-stdpp_1.10.0-2build1.dsc
 8c88f6973fed3c6c5d9369169d1df345e9cd1c80 2828 coq-stdpp_1.10.0-2build1.debian.tar.xz
 9d2ba23c13cf61fa8999fc14f4c59756774c1337 7852 coq-stdpp_1.10.0-2build1_source.buildinfo
Checksums-Sha256:
 ed854da005e3610c2e0c8120f39a1cab6bcc0df4231f2c2fa1a4ab2dcdb5c70c 2072 coq-stdpp_1.10.0-2build1.dsc
 f487a279ba38749cb3a3e78e547b7a487050f0075bb9d2cce316d12b6c335b32 2828 coq-stdpp_1.10.0-2build1.debian.tar.xz
 0875bfc884164c2c6095136469df7c6540d06b7de47ff7b8bffbc46f4a14c0de 7852 coq-stdpp_1.10.0-2build1_source.buildinfo
Files:
 fd8054100c33b8103598bd1bfbbb72ed 2072 ocaml optional coq-stdpp_1.10.0-2build1.dsc
 6ca25b7859a0e8f5acd6473772e41e08 2828 ocaml optional coq-stdpp_1.10.0-2build1.debian.tar.xz
 01fd220eb05724f5d36d9fcc9b5e402c 7852 ocaml optional coq-stdpp_1.10.0-2build1_source.buildinfo