[ubuntu/noble-proposed] coq-relation-algebra 1.7.9-2build3 (Accepted)

[Steve Langasek]

coq-relation-algebra (1.7.9-2build3) noble; urgency=medium

  * No-change rebuild for new libcoq-stdlib ABI

Date: Sun, 24 Mar 2024 00:15:09 +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/coq-relation-algebra/1.7.9-2build3
-------------- next part --------------
Format: 1.8
Date: Sun, 24 Mar 2024 00:15:09 +0000
Source: coq-relation-algebra
Built-For-Profiles: noudeb
Architecture: source
Version: 1.7.9-2build3
Distribution: noble
Urgency: medium
Maintainer: Ubuntu Developers <ubuntu-devel-discuss at lists.ubuntu.com>
Changed-By: Steve Langasek <steve.langasek at ubuntu.com>
Changes:
 coq-relation-algebra (1.7.9-2build3) noble; urgency=medium
 .
   * No-change rebuild for new libcoq-stdlib ABI
Checksums-Sha1:
 ca6f2aac295d502f5644c37e8a997080f362bbf5 2359 coq-relation-algebra_1.7.9-2build3.dsc
 254351c8f6280f6af88db66648b644c62441e6b0 2524 coq-relation-algebra_1.7.9-2build3.debian.tar.xz
 8e5f84aa59e457f6d494c0693f3c6c3cf4049835 6754 coq-relation-algebra_1.7.9-2build3_source.buildinfo
Checksums-Sha256:
 049e5f18c6fed395985cb657e7ca96758d7f5e33471d968721c60aa7996134dd 2359 coq-relation-algebra_1.7.9-2build3.dsc
 f072551c9bab859afe46aff62f282efda03f8c7da2ee6475845a3df2fe461041 2524 coq-relation-algebra_1.7.9-2build3.debian.tar.xz
 8c328f91375e68dc64451305b891f556634243ae5fcfcac55f0dbf5f8c9a8b34 6754 coq-relation-algebra_1.7.9-2build3_source.buildinfo
Files:
 36a130e84541be882bcdc737f38cd17b 2359 ocaml optional coq-relation-algebra_1.7.9-2build3.dsc
 c8f19fd5a6ee1dcdd5947ddf31f37082 2524 ocaml optional coq-relation-algebra_1.7.9-2build3.debian.tar.xz
 d3eb408302e86e91da394119afc63391 6754 ocaml optional coq-relation-algebra_1.7.9-2build3_source.buildinfo
Original-Maintainer: Debian OCaml Maintainers <debian-ocaml-maint at lists.debian.org>