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

[Gianfranco Costamagna]

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

  * Rebuild against new OCAML ABI.

Date: Sat, 03 Dec 2022 12:57:08 +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-1build2
-------------- next part --------------
Format: 1.8
Date: Sat, 03 Dec 2022 12:57:08 +0100
Source: coqprime
Built-For-Profiles: noudeb
Architecture: source
Version: 8.15-1build2
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-1build2) lunar; urgency=medium
 .
   * Rebuild against new OCAML ABI.
Checksums-Sha1:
 0b5ca46db89865385533312e8090a6f1e9f275d8 2143 coqprime_8.15-1build2.dsc
 aa2a89b64038072a76a4d5f1a355a0744f92e256 3616 coqprime_8.15-1build2.debian.tar.xz
 d9a291ccf9c8c30325afcd94ea108bf19ac633b2 7871 coqprime_8.15-1build2_source.buildinfo
Checksums-Sha256:
 a13f78ba770b55024d2ab4aa2e9f3f03597965728e33aa36692bcc496f3929a3 2143 coqprime_8.15-1build2.dsc
 49f0572f6a703c9a6bcb06e75b6c180cf8b51edb367c29b82c493b155460d75c 3616 coqprime_8.15-1build2.debian.tar.xz
 b3202d91b60ad7d8e865722ecef4ac860f1b646c9aa49eddd735e50746493ade 7871 coqprime_8.15-1build2_source.buildinfo
Files:
 89c2e452037a48d369c27bf70e661e83 2143 ocaml optional coqprime_8.15-1build2.dsc
 40310158cc6c6b5f8a937581156ff8d6 3616 ocaml optional coqprime_8.15-1build2.debian.tar.xz
 c43a3529cfed0c9e4fa12d5e7eacd432 7871 ocaml optional coqprime_8.15-1build2_source.buildinfo