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

[Gianfranco Costamagna]

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

  * Rebuild against new OCAML ABI.

Date: Sat, 31 Dec 2022 12:10:07 +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-1build3
-------------- next part --------------
Format: 1.8
Date: Sat, 31 Dec 2022 12:10:07 +0100
Source: coqprime
Built-For-Profiles: noudeb
Architecture: source
Version: 8.15-1build3
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-1build3) lunar; urgency=medium
 .
   * Rebuild against new OCAML ABI.
Checksums-Sha1:
 ffb7df19b307a1fbe2c2f83eea0d52a17aaf88cf 2143 coqprime_8.15-1build3.dsc
 be090b57fb0194f91824dbd461878bf00d750260 3624 coqprime_8.15-1build3.debian.tar.xz
 1bd0606060523ad38fdd804c3d6938bb0418cf82 7068 coqprime_8.15-1build3_source.buildinfo
Checksums-Sha256:
 654505f6d3b034e7f831da52da1091df95d75e8bba11e4c750107a89e10572a4 2143 coqprime_8.15-1build3.dsc
 11f52f60e0f733794ad3da9bef8304b213522a57a1410827e9332c547dd77f54 3624 coqprime_8.15-1build3.debian.tar.xz
 829c87570cc540f16682178b56f538242ecfb21d76a6b855fc9b5275243b5942 7068 coqprime_8.15-1build3_source.buildinfo
Files:
 62df59d93b5e3dba58761b8c0848c58c 2143 ocaml optional coqprime_8.15-1build3.dsc
 7ae573eef00c05e884627f7d205bb0da 3624 ocaml optional coqprime_8.15-1build3.debian.tar.xz
 41a0849487c3876e9eda945b16d926c1 7068 ocaml optional coqprime_8.15-1build3_source.buildinfo