[ubuntu/lunar-proposed] coq-stdpp 1.8.0-3build1 (Accepted)

[Gianfranco Costamagna]

coq-stdpp (1.8.0-3build1) lunar; urgency=medium

  * Rebuild against new OCAML ABI.

Date: Thu, 26 Jan 2023 14:01:04 +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-3build1
-------------- next part --------------
Format: 1.8
Date: Thu, 26 Jan 2023 14:01:04 +0100
Source: coq-stdpp
Built-For-Profiles: noudeb
Architecture: source
Version: 1.8.0-3build1
Distribution: lunar
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-3build1) lunar; urgency=medium
 .
   * Rebuild against new OCAML ABI.
Checksums-Sha1:
 edd0d5ffa49ff83403ce17e6bb8060cb0a070cbb 2055 coq-stdpp_1.8.0-3build1.dsc
 036e880a3bab0b9b4c7212bf141e1a1e0efdab22 2456 coq-stdpp_1.8.0-3build1.debian.tar.xz
 e1afa402ba3adb479bcc585ee6f96b166bb17480 7100 coq-stdpp_1.8.0-3build1_source.buildinfo
Checksums-Sha256:
 171fc6a6456ffeec7350ffa5a3d131084e3d220b4166fb4a54e685a007088823 2055 coq-stdpp_1.8.0-3build1.dsc
 586c158ed3f29b6c747311089259b37b9d5556ea9f84bb36697e48828ae00ad3 2456 coq-stdpp_1.8.0-3build1.debian.tar.xz
 4225da53800c5700d8a89a32be843be8253f2c7f47ccc802f70e18320222ac49 7100 coq-stdpp_1.8.0-3build1_source.buildinfo
Files:
 b29b287f9ed9fe19f13cd5492866865b 2055 ocaml optional coq-stdpp_1.8.0-3build1.dsc
 cf8c0f244a7ab1e25710701d248d4b01 2456 ocaml optional coq-stdpp_1.8.0-3build1.debian.tar.xz
 0afd324605ae36837d27030b15a03bf6 7100 ocaml optional coq-stdpp_1.8.0-3build1_source.buildinfo