[ubuntu/oracular-proposed] coq-extructures 0.4.0-4build5 (Accepted)

[Gianfranco Costamagna]

coq-extructures (0.4.0-4build5) oracular; urgency=medium

  * Rebuild against new OCAML ABI.

Date: Tue, 17 Sep 2024 17:49:08 +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-extructures/0.4.0-4build5
-------------- next part --------------
Format: 1.8
Date: Tue, 17 Sep 2024 17:49:08 +0200
Source: coq-extructures
Built-For-Profiles: noudeb
Architecture: source
Version: 0.4.0-4build5
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-extructures (0.4.0-4build5) oracular; urgency=medium
 .
   * Rebuild against new OCAML ABI.
Checksums-Sha1:
 59255ceaeb77c6ed4c505fe2fb60e9ee1532a44a 2165 coq-extructures_0.4.0-4build5.dsc
 cd4773a6327227829483c95e3e690a3170014292 2512 coq-extructures_0.4.0-4build5.debian.tar.xz
 e4bbc99b96f7d81243f907adadb7285edc42c3ba 7872 coq-extructures_0.4.0-4build5_source.buildinfo
Checksums-Sha256:
 fb621d5d1d52e6fc10fe9e065068a2e47da8fad307405a39c402b7f3ed36d681 2165 coq-extructures_0.4.0-4build5.dsc
 3fb3ad5ae8ac374d3570cbdf4cf3545a5d04b830e1cf9a25aa95d9255a0247ac 2512 coq-extructures_0.4.0-4build5.debian.tar.xz
 72d0b310ac6cbe71da85ba681b4ec8b19c716bfb47ec6d2bb46f9699c3d4be1e 7872 coq-extructures_0.4.0-4build5_source.buildinfo
Files:
 c8565385c245060b2982ed10190b0c35 2165 ocaml optional coq-extructures_0.4.0-4build5.dsc
 87901d178ecd768c822f012cbc2e0e00 2512 ocaml optional coq-extructures_0.4.0-4build5.debian.tar.xz
 84ab198c1f24d8033fa22f5bcaca6887 7872 ocaml optional coq-extructures_0.4.0-4build5_source.buildinfo