[ubuntu/noble-proposed] coq-unicoq 1.6-8.18-1build1 (Accepted)

[Steve Langasek]

coq-unicoq (1.6-8.18-1build1) noble; urgency=medium

  * No-change rebuild for new libcoq-stdlib ABI

Date: Sun, 24 Mar 2024 00:15:33 +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-unicoq/1.6-8.18-1build1
-------------- next part --------------
Format: 1.8
Date: Sun, 24 Mar 2024 00:15:33 +0000
Source: coq-unicoq
Built-For-Profiles: noudeb
Architecture: source
Version: 1.6-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:
 coq-unicoq (1.6-8.18-1build1) noble; urgency=medium
 .
   * No-change rebuild for new libcoq-stdlib ABI
Checksums-Sha1:
 b1556732edb9d79ab8d741d6bec9c174158074c4 2209 coq-unicoq_1.6-8.18-1build1.dsc
 42c6f016547dbbc9820e2d331885f2ba728f6155 2708 coq-unicoq_1.6-8.18-1build1.debian.tar.xz
 ae9c27ee767b258471a0335ec4a91c0b4107128a 6726 coq-unicoq_1.6-8.18-1build1_source.buildinfo
Checksums-Sha256:
 7d8f6b76464f4cc15b1144b5df6b36f64500156c6f9afb99c03dc2d4e40a0951 2209 coq-unicoq_1.6-8.18-1build1.dsc
 6405d0fc7dc3d1ba32711e2338a7714982c57dc1ac1c613ed3c9e5604100d730 2708 coq-unicoq_1.6-8.18-1build1.debian.tar.xz
 a294503b2f6b28028a1f342b1c7d39e7b8496c231b6c6b2a3aee25925d9b48b7 6726 coq-unicoq_1.6-8.18-1build1_source.buildinfo
Files:
 c184edbe8b60ed8c8001995af5c2426b 2209 ocaml optional coq-unicoq_1.6-8.18-1build1.dsc
 0cabb213bf3338d811493f657e277f4d 2708 ocaml optional coq-unicoq_1.6-8.18-1build1.debian.tar.xz
 ab181ba09fb4c5d861504941081325c5 6726 ocaml optional coq-unicoq_1.6-8.18-1build1_source.buildinfo
Original-Maintainer: Debian OCaml Maintainers <debian-ocaml-maint at lists.debian.org>