[ubuntu/resolute-proposed] coq-unicoq 1.6-8.20-1build6 (Accepted)

[Gianfranco Costamagna]

coq-unicoq (1.6-8.20-1build6) resolute; urgency=medium

  * Rebuild against new OCAML ABIs.

Date: Thu, 29 Jan 2026 20:24:10 +0100
Changed-By: Gianfranco Costamagna <locutusofborg at debian.org>
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint at lists.debian.org>
https://launchpad.net/ubuntu/+source/coq-unicoq/1.6-8.20-1build6
-------------- next part --------------
Format: 1.8
Date: Thu, 29 Jan 2026 20:24:10 +0100
Source: coq-unicoq
Built-For-Profiles: noudeb
Architecture: source
Version: 1.6-8.20-1build6
Distribution: resolute
Urgency: medium
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint at lists.debian.org>
Changed-By: Gianfranco Costamagna <locutusofborg at debian.org>
Changes:
 coq-unicoq (1.6-8.20-1build6) resolute; urgency=medium
 .
   * Rebuild against new OCAML ABIs.
Checksums-Sha1:
 3c75d49a2f6688977916acbe9624d5c17363442a 2093 coq-unicoq_1.6-8.20-1build6.dsc
 fa3100b19dda1227da9617ad8c9e6ac47e0c4d48 2944 coq-unicoq_1.6-8.20-1build6.debian.tar.xz
 e17ff85f1004adfc647ba0012e3c4208c052c4cb 7871 coq-unicoq_1.6-8.20-1build6_source.buildinfo
Checksums-Sha256:
 b39f7fd72d8aa962d88dec87961a7ce6df342f116e740dca66574dc1c8e2324a 2093 coq-unicoq_1.6-8.20-1build6.dsc
 3264002106361aeaff450bf778424e427a95c347ad80f8dd005b1ec9dbcd70e9 2944 coq-unicoq_1.6-8.20-1build6.debian.tar.xz
 31b291b0bad7c86ba80c11002aebf37595bb3918deaebdd9ec095c0709a94d12 7871 coq-unicoq_1.6-8.20-1build6_source.buildinfo
Files:
 7e4bcc700d3f42922797246f0b8fe007 2093 ocaml optional coq-unicoq_1.6-8.20-1build6.dsc
 12ed62bde297f7070967a9559b3034df 2944 ocaml optional coq-unicoq_1.6-8.20-1build6.debian.tar.xz
 e64a0ee0caf205163a2a3b4aa95263a7 7871 ocaml optional coq-unicoq_1.6-8.20-1build6_source.buildinfo