[ubuntu/plucky-proposed] coq-extructures 0.5.0-1build5 (Accepted)

[Gianfranco Costamagna]

coq-extructures (0.5.0-1build5) plucky; urgency=medium

  * Rebuild against new OCAML ABI.

Date: Mon, 17 Feb 2025 06:31:01 +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-extructures/0.5.0-1build5
-------------- next part --------------
Format: 1.8
Date: Mon, 17 Feb 2025 06:31:01 +0100
Source: coq-extructures
Built-For-Profiles: noudeb
Architecture: source
Version: 0.5.0-1build5
Distribution: plucky
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.5.0-1build5) plucky; urgency=medium
 .
   * Rebuild against new OCAML ABI.
Checksums-Sha1:
 63e1d90dff3c8668e660baafb39a0be5269fb6f7 2165 coq-extructures_0.5.0-1build5.dsc
 406913a057d1b086acfdc571cacd193032f2680a 2540 coq-extructures_0.5.0-1build5.debian.tar.xz
 623534e079a43ddf61b3da489553398fbef54ae6 7319 coq-extructures_0.5.0-1build5_source.buildinfo
Checksums-Sha256:
 90eea5449eed4282e3de7cf441266a6797a14ad8b7a637aab979412f87fbe0d4 2165 coq-extructures_0.5.0-1build5.dsc
 6b85bd856cd588ff7bb1c44b95e8a89046697b9eb083a70ee032df841a8aafc4 2540 coq-extructures_0.5.0-1build5.debian.tar.xz
 f11e9272f8a12491aea48ad9c388ea6d867e55c582d7953f1ae230e8d2ba64a8 7319 coq-extructures_0.5.0-1build5_source.buildinfo
Files:
 850832d64170e155559c0a9a571fb29b 2165 ocaml optional coq-extructures_0.5.0-1build5.dsc
 37d4028a360838993d7ceac6aebd4ad7 2540 ocaml optional coq-extructures_0.5.0-1build5.debian.tar.xz
 eb6ac8f7c76330ed8015c8a4ae578187 7319 ocaml optional coq-extructures_0.5.0-1build5_source.buildinfo