[ubuntu/noble-proposed] coqprime 8.18-1build1 (Accepted)

[Steve Langasek]

coqprime (8.18-1build1) noble; urgency=medium

  * No-change rebuild for new libcoq-stdlib ABI

Date: Sun, 24 Mar 2024 00:15:59 +0000
Changed-By: Steve Langasek <steve.langasek at ubuntu.com>
Maintainer: Ubuntu Developers <ubuntu-devel-discuss at lists.ubuntu.com>
https://launchpad.net/ubuntu/+source/coqprime/8.18-1build1
-------------- next part --------------
Format: 1.8
Date: Sun, 24 Mar 2024 00:15:59 +0000
Source: coqprime
Built-For-Profiles: noudeb
Architecture: source
Version: 8.18-1build1
Distribution: noble
Urgency: medium
Maintainer: Ubuntu Developers <ubuntu-devel-discuss at lists.ubuntu.com>
Changed-By: Steve Langasek <steve.langasek at ubuntu.com>
Changes:
 coqprime (8.18-1build1) noble; urgency=medium
 .
   * No-change rebuild for new libcoq-stdlib ABI
Checksums-Sha1:
 3e9942478854ca741cce38c1f021ec9fd47733cb 2264 coqprime_8.18-1build1.dsc
 c8cccd5cfd416e23c31c3e47a04386aea72f9d5b 3408 coqprime_8.18-1build1.debian.tar.xz
 586b7717791212ec0f09e69bcdfde60c496f0a5d 6702 coqprime_8.18-1build1_source.buildinfo
Checksums-Sha256:
 6c512ed537a7d670f518c150aa179bba697d7216c49253ad33815495d5889b13 2264 coqprime_8.18-1build1.dsc
 92f626b1b7188f8e695065ed0257fecf4e31019063e9f0c7f9186517ce8bcae8 3408 coqprime_8.18-1build1.debian.tar.xz
 161cd0d045fd1a4801dba74ab64a87c7623f4dfdeb822f62e7d325b00318ad87 6702 coqprime_8.18-1build1_source.buildinfo
Files:
 0f2bd1694c19c85c1319d6ff60363e6f 2264 ocaml optional coqprime_8.18-1build1.dsc
 78cdfdc7a4a662dd117a727117ccbd88 3408 ocaml optional coqprime_8.18-1build1.debian.tar.xz
 8d8a01772cae9045e4075001ea88823e 6702 ocaml optional coqprime_8.18-1build1_source.buildinfo
Original-Maintainer: Debian OCaml Maintainers <debian-ocaml-maint at lists.debian.org>