[ubuntu/lunar-proposed] coqprime 8.15-2build2 (Accepted)

[Gianfranco Costamagna]

coqprime (8.15-2build2) lunar; urgency=medium

  * Rebuild against new OCAML ABI.

Date: Fri, 17 Feb 2023 08:07:15 +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/coqprime/8.15-2build2
-------------- next part --------------
Format: 1.8
Date: Fri, 17 Feb 2023 08:07:15 +0100
Source: coqprime
Built-For-Profiles: noudeb
Architecture: source
Version: 8.15-2build2
Distribution: lunar
Urgency: medium
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint at lists.debian.org>
Changed-By: Gianfranco Costamagna <locutusofborg at debian.org>
Changes:
 coqprime (8.15-2build2) lunar; urgency=medium
 .
   * Rebuild against new OCAML ABI.
Checksums-Sha1:
 ca31f7527d40cd443eff467f2202db8753ab0622 2148 coqprime_8.15-2build2.dsc
 7bc2be1348e7da813984ac9f37deabaaa6a0126e 3660 coqprime_8.15-2build2.debian.tar.xz
 24fc1b69bdda395d3d1df20121b0c1b3558f6170 7136 coqprime_8.15-2build2_source.buildinfo
Checksums-Sha256:
 56b7db2313df0825b16bed8ee7aeb8cf27007794b8eed51b53e8aa8830454c68 2148 coqprime_8.15-2build2.dsc
 15857091e9fbf9d99c1617dffaba594960c411f8545e72e5a4f9f2d040648332 3660 coqprime_8.15-2build2.debian.tar.xz
 e6dcfa191729fdf7d13fc2ce7059efe5cbc7fd5563c52b3e280979286ba02cf3 7136 coqprime_8.15-2build2_source.buildinfo
Files:
 95ef2c293f506de911ff32e9006c66a8 2148 ocaml optional coqprime_8.15-2build2.dsc
 e87bd8bfd6f162f336fe0144ed1ff218 3660 ocaml optional coqprime_8.15-2build2.debian.tar.xz
 fa76d47bf5c6fcd4e06ab60afe9d7a10 7136 ocaml optional coqprime_8.15-2build2_source.buildinfo