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

[Gianfranco Costamagna]

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

  * Rebuild against new OCAML ABI.

Date: Thu, 16 Feb 2023 19:32:06 +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-2build1
-------------- next part --------------
Format: 1.8
Date: Thu, 16 Feb 2023 19:32:06 +0100
Source: coqprime
Built-For-Profiles: noudeb
Architecture: source
Version: 8.15-2build1
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-2build1) lunar; urgency=medium
 .
   * Rebuild against new OCAML ABI.
Checksums-Sha1:
 b4947481ba3430acebfe9b1b0f8fb44a8a06f4bf 2148 coqprime_8.15-2build1.dsc
 2e1ef3a22e686816d3ed3fab34a55cec3f7c86aa 3648 coqprime_8.15-2build1.debian.tar.xz
 0c3917fccb8a2001427c30789a0199d187ae28f8 7136 coqprime_8.15-2build1_source.buildinfo
Checksums-Sha256:
 4999cdef99c6dfd1a3192fc49b6c0c44da39211d18ae7d612b29379640482c84 2148 coqprime_8.15-2build1.dsc
 5c124fef6efc28dd5bcddbf0963ac7b3023febe3e60617f139dfd8bf9b94b750 3648 coqprime_8.15-2build1.debian.tar.xz
 cdf63a769205324b34baed847be99ebab317156ae58c3d62a9fcab0a5827106b 7136 coqprime_8.15-2build1_source.buildinfo
Files:
 4a9a7f2d70d1aa1236ca63456bd05877 2148 ocaml optional coqprime_8.15-2build1.dsc
 15690e9fc3e107969749ff0fe8c5c4e7 3648 ocaml optional coqprime_8.15-2build1.debian.tar.xz
 ed7ad984d8fea4ba061a64835556c8d2 7136 ocaml optional coqprime_8.15-2build1_source.buildinfo