[ubuntu/lunar-proposed] coq-equations 1.3-8.16-1build2 (Accepted)

[Gianfranco Costamagna]

coq-equations (1.3-8.16-1build2) lunar; urgency=medium

  * Rebuild against new OCAML ABI.

Date: Sat, 03 Dec 2022 20:31:52 +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-equations/1.3-8.16-1build2
-------------- next part --------------
Format: 1.8
Date: Sat, 03 Dec 2022 20:31:52 +0100
Source: coq-equations
Built-For-Profiles: noudeb
Architecture: source
Version: 1.3-8.16-1build2
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-equations (1.3-8.16-1build2) lunar; urgency=medium
 .
   * Rebuild against new OCAML ABI.
Checksums-Sha1:
 ac116d6ce2d93dad95e88b914a6475e0f5b792cd 2160 coq-equations_1.3-8.16-1build2.dsc
 d556e570ebb50e95b4cfad25c0787c60dfb7d314 2268 coq-equations_1.3-8.16-1build2.debian.tar.xz
 4ac9e77d550166395ea6dd32fe12e3091009ee89 7907 coq-equations_1.3-8.16-1build2_source.buildinfo
Checksums-Sha256:
 094fceb1265176f91558a9934b9802db41fe9c7e8bd466236325cbe93eb28ed0 2160 coq-equations_1.3-8.16-1build2.dsc
 8171f8b50556458b13c2d87aaa9f4103df1d234e8f0934fa6b27783d273a098e 2268 coq-equations_1.3-8.16-1build2.debian.tar.xz
 18926760c7415d3759c76de5164f7849fd57727ac79de1813abe8fb8736a443e 7907 coq-equations_1.3-8.16-1build2_source.buildinfo
Files:
 2028a4dafa6f6ca5fdae708cedacf43a 2160 ocaml optional coq-equations_1.3-8.16-1build2.dsc
 1b2448647bcacc23dcecdea9bdeb4eef 2268 ocaml optional coq-equations_1.3-8.16-1build2.debian.tar.xz
 298919dd9d6c78fdf89fc8f9d4f432bb 7907 ocaml optional coq-equations_1.3-8.16-1build2_source.buildinfo