[ubuntu/plucky-proposed] coq-unicoq 1.6-8.20-1build3 (Accepted)

[Matthias Klose]

coq-unicoq (1.6-8.20-1build3) plucky; urgency=medium

  * No-change rebuild for coq ABI changes.

Date: Tue, 18 Feb 2025 21:04:25 +0100
Changed-By: Matthias Klose <doko at ubuntu.com>
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint at lists.debian.org>
https://launchpad.net/ubuntu/+source/coq-unicoq/1.6-8.20-1build3
-------------- next part --------------
Format: 1.8
Date: Tue, 18 Feb 2025 21:04:25 +0100
Source: coq-unicoq
Built-For-Profiles: noudeb
Architecture: source
Version: 1.6-8.20-1build3
Distribution: plucky
Urgency: medium
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint at lists.debian.org>
Changed-By: Matthias Klose <doko at ubuntu.com>
Changes:
 coq-unicoq (1.6-8.20-1build3) plucky; urgency=medium
 .
   * No-change rebuild for coq ABI changes.
Checksums-Sha1:
 a05e20386cfb61c916047aae6ba3a8f83375c9d5 2093 coq-unicoq_1.6-8.20-1build3.dsc
 648f494e6038dd9b69f8c427cef7b40a9ced030b 2884 coq-unicoq_1.6-8.20-1build3.debian.tar.xz
 7a6abef8e1ba23f0618442af16ce9b19b632b4e0 3839 coq-unicoq_1.6-8.20-1build3_source.buildinfo
Checksums-Sha256:
 9743bb480e9eaa2f33537706d8d4fc8bbdb776f7d77c2c3efbd908a290e30819 2093 coq-unicoq_1.6-8.20-1build3.dsc
 55d0fed1885f45cc43ce1f2331c9c41b3f4c79ac8f5c47e7f541d9976b664241 2884 coq-unicoq_1.6-8.20-1build3.debian.tar.xz
 7ee647a47d99a8aa033107a8dfc54db44cb3a0ccefaff1841ab98d3df24d2360 3839 coq-unicoq_1.6-8.20-1build3_source.buildinfo
Files:
 6659facd9aaee98a4431f411aec6637d 2093 ocaml optional coq-unicoq_1.6-8.20-1build3.dsc
 9be6de85ac4a4bce81b96eab3b42b685 2884 ocaml optional coq-unicoq_1.6-8.20-1build3.debian.tar.xz
 c57bcfb75b28e89c6b0cc92070eb598b 3839 ocaml optional coq-unicoq_1.6-8.20-1build3_source.buildinfo