[ubuntu/oracular-proposed] coq-unicoq 1.6-8.19-2build2 (Accepted)

[Matthias Klose]

coq-unicoq (1.6-8.19-2build2) oracular; urgency=medium

  * No-change rebuild for OCaml ABIs.

Date: Sat, 07 Sep 2024 00:44:39 +0200
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.19-2build2
-------------- next part --------------
Format: 1.8
Date: Sat, 07 Sep 2024 00:44:39 +0200
Source: coq-unicoq
Built-For-Profiles: noudeb
Architecture: source
Version: 1.6-8.19-2build2
Distribution: oracular
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.19-2build2) oracular; urgency=medium
 .
   * No-change rebuild for OCaml ABIs.
Checksums-Sha1:
 887915ea2c41919d2ed20f1909fab08aac467786 2093 coq-unicoq_1.6-8.19-2build2.dsc
 f95b1df4386717bbe672acb576fe20bfe33c9152 2804 coq-unicoq_1.6-8.19-2build2.debian.tar.xz
 e256fbc404fcf9b2413a6d9f37b3c629fcec9052 5708 coq-unicoq_1.6-8.19-2build2_source.buildinfo
Checksums-Sha256:
 cf55dcf78a2235e013282697da22fbbfc56f04e24dcca8fef561aef2c9d6d0d0 2093 coq-unicoq_1.6-8.19-2build2.dsc
 3a4de17440957ff279d5ae0cac6c9c79a59a9f33ac655c26bdd8ec091dd87b3d 2804 coq-unicoq_1.6-8.19-2build2.debian.tar.xz
 846146463eb9a15d0f1151fc80031a6ef24728295957c26d343f40e1d59031d5 5708 coq-unicoq_1.6-8.19-2build2_source.buildinfo
Files:
 0e6caa08dc20fc71de4b3dddcdb998c1 2093 ocaml optional coq-unicoq_1.6-8.19-2build2.dsc
 2ca33c240ac4aedefe17686b31313190 2804 ocaml optional coq-unicoq_1.6-8.19-2build2.debian.tar.xz
 06b9f6d2a61a9f5b1f2b6dad04b0137b 5708 ocaml optional coq-unicoq_1.6-8.19-2build2_source.buildinfo