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

[Gianfranco Costamagna]

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

  * Rebuild against new OCAML ABI.

Date: Wed, 11 Sep 2024 21:50:06 +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-4build4
-------------- next part --------------
Format: 1.8
Date: Wed, 11 Sep 2024 21:50:06 +0200
Source: coq-extructures
Built-For-Profiles: noudeb
Architecture: source
Version: 0.4.0-4build4
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-4build4) oracular; urgency=medium
 .
   * Rebuild against new OCAML ABI.
Checksums-Sha1:
 3ef5fa9808d721559d834099319c0c19b0dfe18c 2165 coq-extructures_0.4.0-4build4.dsc
 8c2e1dffb5aa0b93f81279269d321d0ed3fb3e45 2504 coq-extructures_0.4.0-4build4.debian.tar.xz
 c99e279d6a98bbef97405076dfcad8275e1ed8ae 7872 coq-extructures_0.4.0-4build4_source.buildinfo
Checksums-Sha256:
 b89f7f3a6fe98fc30ae0af846d0a034ca5b53c0ae4d871cdeda5fda7540bec80 2165 coq-extructures_0.4.0-4build4.dsc
 ac8585d54f753108d5b9ac4c4181459c772233786969b575ce0dc2122071c714 2504 coq-extructures_0.4.0-4build4.debian.tar.xz
 0aeaf68d4ebbe411bedfb71e2f55b0a13452f54350eeb5d1216911ee79d57750 7872 coq-extructures_0.4.0-4build4_source.buildinfo
Files:
 ae1125528b291756d99c030d31ad4d7e 2165 ocaml optional coq-extructures_0.4.0-4build4.dsc
 ea9c2a047fb4694616c6b2d6697c69a6 2504 ocaml optional coq-extructures_0.4.0-4build4.debian.tar.xz
 9a0bbec44f7aaae9b1b35a43b80fdffc 7872 ocaml optional coq-extructures_0.4.0-4build4_source.buildinfo