[ubuntu/mantic-proposed] coq-stdpp 1.8.0-4build1 (Accepted)

[Gianfranco Costamagna]

coq-stdpp (1.8.0-4build1) mantic; urgency=medium

  * Rebuild against new OCAML ABI.

Date: Wed, 26 Jul 2023 07:11:50 +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.8.0-4build1
-------------- next part --------------
Format: 1.8
Date: Wed, 26 Jul 2023 07:11:50 +0200
Source: coq-stdpp
Built-For-Profiles: noudeb
Architecture: source
Version: 1.8.0-4build1
Distribution: mantic
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-4build1) mantic; urgency=medium
 .
   * Rebuild against new OCAML ABI.
Checksums-Sha1:
 cd3b48ad9020ba5314aca56a5911c4ca5375c140 2055 coq-stdpp_1.8.0-4build1.dsc
 0146c0df8d316b931ed5fc5f06dc7fdd4cbf79de 2488 coq-stdpp_1.8.0-4build1.debian.tar.xz
 8f9bfcbbfa8a4e9b9c6567bda106a4c3deab1d4e 7778 coq-stdpp_1.8.0-4build1_source.buildinfo
Checksums-Sha256:
 5ee612c09ee04f5125867f7db3d30335a7b80b829c21bab7e86fa9b093d5837f 2055 coq-stdpp_1.8.0-4build1.dsc
 cd306d62d91a69bc2906aef0aefefb7304e601193f212ee1a729b1c9d72b3059 2488 coq-stdpp_1.8.0-4build1.debian.tar.xz
 8eb902e7538147ad9b8f39b0f856b2d4a4e6a956f96062c39c2147bf34944fce 7778 coq-stdpp_1.8.0-4build1_source.buildinfo
Files:
 ee9ab405e1927ed03535e4fdfce72d9f 2055 ocaml optional coq-stdpp_1.8.0-4build1.dsc
 8b112c597f9091a8761b6404b8655964 2488 ocaml optional coq-stdpp_1.8.0-4build1.debian.tar.xz
 8b100991bf01622b61df23d8e36f589d 7778 ocaml optional coq-stdpp_1.8.0-4build1_source.buildinfo