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

[Matthias Klose]

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

  * No-change rebuild for OCaml ABIs.

Date: Sat, 07 Sep 2024 16:35:14 +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-2build3
-------------- next part --------------
Format: 1.8
Date: Sat, 07 Sep 2024 16:35:14 +0200
Source: coq-unicoq
Built-For-Profiles: noudeb
Architecture: source
Version: 1.6-8.19-2build3
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-2build3) oracular; urgency=medium
 .
   * No-change rebuild for OCaml ABIs.
Checksums-Sha1:
 3424aa73db8f518facafc3bded6f1525a99c52b7 2093 coq-unicoq_1.6-8.19-2build3.dsc
 7cb324108972eacd2cd951844bd1c4c5767478f7 2816 coq-unicoq_1.6-8.19-2build3.debian.tar.xz
 f10ec4d2495ee0678ecee317ab48f43e0e30850f 5708 coq-unicoq_1.6-8.19-2build3_source.buildinfo
Checksums-Sha256:
 e0774ed3354c7937d3527b4f011eec69655cb131f29a263ea7aa75c7b16f4cfd 2093 coq-unicoq_1.6-8.19-2build3.dsc
 a893bc8025726118e30260c2f4e54f42d4797b2c728796a8ae505cf66c3a6178 2816 coq-unicoq_1.6-8.19-2build3.debian.tar.xz
 a4679ec471c463802b78b43b2fa95073ea4a0d627f114524bc58d70076599a0d 5708 coq-unicoq_1.6-8.19-2build3_source.buildinfo
Files:
 7fb7da4da175cfa79aa282101b0cdb34 2093 ocaml optional coq-unicoq_1.6-8.19-2build3.dsc
 8513e92afe2aaf209678cf6088efc4c3 2816 ocaml optional coq-unicoq_1.6-8.19-2build3.debian.tar.xz
 9549f889dee5de1eda3ca3a723d7a8d7 5708 ocaml optional coq-unicoq_1.6-8.19-2build3_source.buildinfo