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

[Gianfranco Costamagna]

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

  * Rebuild against new OCAML ABI.

Date: Fri, 25 Nov 2022 19:14:10 +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-1build1
-------------- next part --------------
Format: 1.8
Date: Fri, 25 Nov 2022 19:14:10 +0100
Source: coqprime
Built-For-Profiles: noudeb
Architecture: source
Version: 8.15-1build1
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-1build1) lunar; urgency=medium
 .
   * Rebuild against new OCAML ABI.
Checksums-Sha1:
 7e4b5e49b28b47aa2266f6e83d3bd717ca0ce309 2143 coqprime_8.15-1build1.dsc
 90dbfe75d495d9fdc2c1d66beeb633bb7207a340 3600 coqprime_8.15-1build1.debian.tar.xz
 38054c9a3670b4311ab9ad58526ec5850c4b003e 7869 coqprime_8.15-1build1_source.buildinfo
Checksums-Sha256:
 0578057605a234569c1b19874c883299d5281b6106eeb1969e520d4257755ace 2143 coqprime_8.15-1build1.dsc
 55194443c0b12cda27839cb3606dc8c8ed08d7a3c977bfe8991195f6a9dd1afe 3600 coqprime_8.15-1build1.debian.tar.xz
 990696f63b2f7cd7ca8f7bf86c92bbb6e65bd334afde240f62ff4b3f5e4a5bfe 7869 coqprime_8.15-1build1_source.buildinfo
Files:
 a85b42734dddf6a1e2381fa47db57281 2143 ocaml optional coqprime_8.15-1build1.dsc
 a2489e39a44035da174a43a9515dd0be 3600 ocaml optional coqprime_8.15-1build1.debian.tar.xz
 03e77f2c0d87c97cf35fdb2fddcb318f 7869 ocaml optional coqprime_8.15-1build1_source.buildinfo