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

[Gianfranco Costamagna]

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

  * Rebuild against new OCAML ABI.

Date: Fri, 25 Nov 2022 19:14:56 +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-1build1
-------------- next part --------------
Format: 1.8
Date: Fri, 25 Nov 2022 19:14:56 +0100
Source: coq-equations
Built-For-Profiles: noudeb
Architecture: source
Version: 1.3-8.16-1build1
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-1build1) lunar; urgency=medium
 .
   * Rebuild against new OCAML ABI.
Checksums-Sha1:
 2e9cae148f45df04cd6b73f297bcd2b75e330e29 2160 coq-equations_1.3-8.16-1build1.dsc
 dab51f0a78be477690208e4d1fa55f2123cc2f72 2252 coq-equations_1.3-8.16-1build1.debian.tar.xz
 adb45f01db6e549369b30a90697987be5ec140e6 7905 coq-equations_1.3-8.16-1build1_source.buildinfo
Checksums-Sha256:
 0e2675f62efa98051327fbe676b8ba70c528048aff59dd1088311ba7f889236a 2160 coq-equations_1.3-8.16-1build1.dsc
 baf2f24810b364d67dd5cf89fd130d5d587b967182b87f464644f3a876bac617 2252 coq-equations_1.3-8.16-1build1.debian.tar.xz
 564eb74fccb150236521612434f4e83995b9827c5fd1f6ae38e10fe749e07e95 7905 coq-equations_1.3-8.16-1build1_source.buildinfo
Files:
 8053e76f8908a0e40d25a8dd78ca1d18 2160 ocaml optional coq-equations_1.3-8.16-1build1.dsc
 61c5b94fc3987b0e714c1b7cde81ff2b 2252 ocaml optional coq-equations_1.3-8.16-1build1.debian.tar.xz
 221bbff9872bd7d049c1ef34bd6138a9 7905 ocaml optional coq-equations_1.3-8.16-1build1_source.buildinfo