[ubuntu/noble-proposed] coq-ext-lib 0.12.0-1build4 (Accepted)

[Gianfranco Costamagna]

coq-ext-lib (0.12.0-1build4) noble; urgency=medium

  * Rebuild against new OCAML ABIs.

Date: Mon, 08 Apr 2024 09:14:05 +0200
Changed-By: Gianfranco Costamagna <locutusofborg at debian.org>
Maintainer: Ubuntu Developers <ubuntu-devel-discuss at lists.ubuntu.com>
https://launchpad.net/ubuntu/+source/coq-ext-lib/0.12.0-1build4
-------------- next part --------------
Format: 1.8
Date: Mon, 08 Apr 2024 09:14:05 +0200
Source: coq-ext-lib
Built-For-Profiles: noudeb
Architecture: source
Version: 0.12.0-1build4
Distribution: noble
Urgency: medium
Maintainer: Ubuntu Developers <ubuntu-devel-discuss at lists.ubuntu.com>
Changed-By: Gianfranco Costamagna <locutusofborg at debian.org>
Changes:
 coq-ext-lib (0.12.0-1build4) noble; urgency=medium
 .
   * Rebuild against new OCAML ABIs.
Checksums-Sha1:
 e940950b15d3e6d882e441f92b4ccd0649f05198 2167 coq-ext-lib_0.12.0-1build4.dsc
 f11f2acd7f262d9e6c9a2107a24afdb04ffacdd0 2492 coq-ext-lib_0.12.0-1build4.debian.tar.xz
 42697102a2370b651bd51058ba08f105407c2490 7836 coq-ext-lib_0.12.0-1build4_source.buildinfo
Checksums-Sha256:
 ed68800847a37d0ccc413cd1780c238713e299b75fca1ee01e7b7969bcc777b7 2167 coq-ext-lib_0.12.0-1build4.dsc
 fe3cea201e094d5e645c35273ef92f509d36619c95618d16148bf8fe3930e03f 2492 coq-ext-lib_0.12.0-1build4.debian.tar.xz
 c30873ce06cdd35fe221e1d5ac84d0fc14c1e15874d2a098e5abaeafc383aa6a 7836 coq-ext-lib_0.12.0-1build4_source.buildinfo
Files:
 e1f415fb1078465b4bcd0b61b3cbdb6b 2167 ocaml optional coq-ext-lib_0.12.0-1build4.dsc
 0ed7accd527dc33d7490fc86b2d0c2ed 2492 ocaml optional coq-ext-lib_0.12.0-1build4.debian.tar.xz
 eed1b0a8828a38b49cb84e52741a56c1 7836 ocaml optional coq-ext-lib_0.12.0-1build4_source.buildinfo
Original-Maintainer: Debian OCaml Maintainers <debian-ocaml-maint at lists.debian.org>