[ubuntu/oracular-proposed] coq-ext-lib 0.12.1-1build2 (Accepted)

[Gianfranco Costamagna]

coq-ext-lib (0.12.1-1build2) oracular; urgency=medium

  * Rebuild against new OCAML ABIs.

Date: Mon, 13 May 2024 20:19:55 +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-ext-lib/0.12.1-1build2
-------------- next part --------------
Format: 1.8
Date: Mon, 13 May 2024 20:19:55 +0200
Source: coq-ext-lib
Built-For-Profiles: noudeb
Architecture: source
Version: 0.12.1-1build2
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-ext-lib (0.12.1-1build2) oracular; urgency=medium
 .
   * Rebuild against new OCAML ABIs.
Checksums-Sha1:
 3c3a1ceda912b52712ee45d7b1bca15a012da578 2088 coq-ext-lib_0.12.1-1build2.dsc
 5c62fb0267db78f0bf36b7fab46095d893a974fd 2352 coq-ext-lib_0.12.1-1build2.debian.tar.xz
 7d71fb04cd342776b3b32066597153122bb942a2 7836 coq-ext-lib_0.12.1-1build2_source.buildinfo
Checksums-Sha256:
 ee28b78da7f052348ee584ea97d2099dd762719819a9c036b6469890923cd416 2088 coq-ext-lib_0.12.1-1build2.dsc
 72c7381aad756529ae7bd09e5d019fe3d7278e5ade4890212b50488bc65dedb0 2352 coq-ext-lib_0.12.1-1build2.debian.tar.xz
 f5d0d5d8a63f8f2f41276afff16769a547d9d80cef6b597964c76fea294e8fbf 7836 coq-ext-lib_0.12.1-1build2_source.buildinfo
Files:
 aa710612d0f47fb479b74c272ed1b1db 2088 ocaml optional coq-ext-lib_0.12.1-1build2.dsc
 685c71ace8c9df3242cc8f06b094ad0e 2352 ocaml optional coq-ext-lib_0.12.1-1build2.debian.tar.xz
 a8b4386ebd390cd7b8aaf9bf63c9004a 7836 ocaml optional coq-ext-lib_0.12.1-1build2_source.buildinfo