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

[Gianfranco Costamagna]

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

  * Rebuild against new OCAML ABIs.

Date: Thu, 02 May 2024 22:09:23 +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-1build1
-------------- next part --------------
Format: 1.8
Date: Thu, 02 May 2024 22:09:23 +0200
Source: coq-ext-lib
Built-For-Profiles: noudeb
Architecture: source
Version: 0.12.1-1build1
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-1build1) oracular; urgency=medium
 .
   * Rebuild against new OCAML ABIs.
Checksums-Sha1:
 18d0b03419bfb11dbdc865f6fd58fec47d472e0a 2088 coq-ext-lib_0.12.1-1build1.dsc
 38db577c41b7fb366ca266a5b06ac8b9c5be8b94 2336 coq-ext-lib_0.12.1-1build1.debian.tar.xz
 b728de9fef8024327e37d6604b216f74def5925e 7836 coq-ext-lib_0.12.1-1build1_source.buildinfo
Checksums-Sha256:
 143264320b3076676d1fb61cdf8a0cdb2283f048e1512caf9f7befacb3ac34ed 2088 coq-ext-lib_0.12.1-1build1.dsc
 9eb20443595a6e62f383e364afb71f1b13b23d27de2a321aad9cf681cb57ce1c 2336 coq-ext-lib_0.12.1-1build1.debian.tar.xz
 12b83ef4bd3390ceceb1c47eeb8b7aac03428a260d9e7b1fa15ff99e598288b2 7836 coq-ext-lib_0.12.1-1build1_source.buildinfo
Files:
 ae7c508306631e74ac26969278437b06 2088 ocaml optional coq-ext-lib_0.12.1-1build1.dsc
 3aad6c0464ff7ab24ac0fe95417c00df 2336 ocaml optional coq-ext-lib_0.12.1-1build1.debian.tar.xz
 fed19f800bb20fdce1b9da0fe4c2dbf7 7836 ocaml optional coq-ext-lib_0.12.1-1build1_source.buildinfo