[ubuntu/lunar-proposed] coq-relation-algebra 1.7.8-2build2 (Accepted)

[Gianfranco Costamagna]

coq-relation-algebra (1.7.8-2build2) lunar; urgency=medium

  * Rebuild against new OCAML ABI.

Date: Thu, 16 Feb 2023 19:31:48 +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-relation-algebra/1.7.8-2build2
-------------- next part --------------
Format: 1.8
Date: Thu, 16 Feb 2023 19:31:48 +0100
Source: coq-relation-algebra
Built-For-Profiles: noudeb
Architecture: source
Version: 1.7.8-2build2
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-relation-algebra (1.7.8-2build2) lunar; urgency=medium
 .
   * Rebuild against new OCAML ABI.
Checksums-Sha1:
 c3d1e4665a6025460dcd92c3e42ab7f76c3dd7af 2233 coq-relation-algebra_1.7.8-2build2.dsc
 ffcd45949d0de53a2c3dfee3e5679cfab218ac73 1744 coq-relation-algebra_1.7.8-2build2.debian.tar.xz
 b59cad607aff55c04f3d939efbc080f78c9b1bf1 7188 coq-relation-algebra_1.7.8-2build2_source.buildinfo
Checksums-Sha256:
 599de661d50c2fb6d69e8a3a54736914184acd7c72ec3b4dd8847e607bf7cdb0 2233 coq-relation-algebra_1.7.8-2build2.dsc
 92e261e9ffd447b030665e48a4ee9edd3bf94d55074a7bfa77f952411dec9992 1744 coq-relation-algebra_1.7.8-2build2.debian.tar.xz
 695cc91cd526e98c62f4ca81fa6b11281824263776c92ccd1d8ce562f2d46d42 7188 coq-relation-algebra_1.7.8-2build2_source.buildinfo
Files:
 d9ee36f52a7d5b507fe6c5fb839fc608 2233 ocaml optional coq-relation-algebra_1.7.8-2build2.dsc
 65e39f7d0bd4f36ceecb268a767bd329 1744 ocaml optional coq-relation-algebra_1.7.8-2build2.debian.tar.xz
 344ab9667417446b7a2d005eba90e8c8 7188 ocaml optional coq-relation-algebra_1.7.8-2build2_source.buildinfo