[ubuntu/lunar-proposed] coq-unicoq 1.6-8.16-2build1 (Accepted)

[Gianfranco Costamagna]

coq-unicoq (1.6-8.16-2build1) lunar; urgency=medium

  * Rebuild against new OCAML ABI.

Date: Thu, 26 Jan 2023 14:01: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.16-2build1
-------------- next part --------------
Format: 1.8
Date: Thu, 26 Jan 2023 14:01:10 +0100
Source: coq-unicoq
Built-For-Profiles: noudeb
Architecture: source
Version: 1.6-8.16-2build1
Distribution: lunar
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.16-2build1) lunar; urgency=medium
 .
   * Rebuild against new OCAML ABI.
Checksums-Sha1:
 38049ce91bddef14aff2246f0e8f36bd145fedf4 2083 coq-unicoq_1.6-8.16-2build1.dsc
 437204fc271ff8f145b4190f30c448a2368c7487 2428 coq-unicoq_1.6-8.16-2build1.debian.tar.xz
 acaada7997de61de45b8a0bce8274e684dae5492 7116 coq-unicoq_1.6-8.16-2build1_source.buildinfo
Checksums-Sha256:
 2497ec7fd1c4fd642f33072e51ad118e1a83ebd9509ba471f050f8740a254c8c 2083 coq-unicoq_1.6-8.16-2build1.dsc
 e3e79088682a8bbefa4da5fecc99ec751575d3742276af2e6153d17371a370e9 2428 coq-unicoq_1.6-8.16-2build1.debian.tar.xz
 06ae9f21be1fd3849403b9f13736489dffccf2ccf05a1aace714e9b1bbcc736e 7116 coq-unicoq_1.6-8.16-2build1_source.buildinfo
Files:
 0d71ac4cfd60a08130843ab2f6c918d4 2083 ocaml optional coq-unicoq_1.6-8.16-2build1.dsc
 e3c08e8b4141f84ac59f09bdadf0f70a 2428 ocaml optional coq-unicoq_1.6-8.16-2build1.debian.tar.xz
 8863e5d05e52790de5f921bd73ba38d7 7116 ocaml optional coq-unicoq_1.6-8.16-2build1_source.buildinfo