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

[Gianfranco Costamagna]

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

  * Rebuild against new OCAML ABI.

Date: Thu, 16 Feb 2023 10:56: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-relation-algebra/1.7.8-2build1
-------------- next part --------------
Format: 1.8
Date: Thu, 16 Feb 2023 10:56:10 +0100
Source: coq-relation-algebra
Built-For-Profiles: noudeb
Architecture: source
Version: 1.7.8-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-relation-algebra (1.7.8-2build1) lunar; urgency=medium
 .
   * Rebuild against new OCAML ABI.
Checksums-Sha1:
 95a0b1f6085094fd55da8dc0f20d92a1e07349db 2233 coq-relation-algebra_1.7.8-2build1.dsc
 e347e8a8339f04c931ac7ba6f46f56c931500855 1740 coq-relation-algebra_1.7.8-2build1.debian.tar.xz
 9b6ad12dd78019c318d78866f82f76ea58a18f03 7188 coq-relation-algebra_1.7.8-2build1_source.buildinfo
Checksums-Sha256:
 6c17332540df98db6690868cddb2b6497b98e2c9d1df7f0fe2d4ea59d9439141 2233 coq-relation-algebra_1.7.8-2build1.dsc
 5cb5bc2e4cf73285878696ca54919b87d828cf18ea3e9dd858674866999d8bc8 1740 coq-relation-algebra_1.7.8-2build1.debian.tar.xz
 706f4f882d2cc8f538775897cb2e19a9f27b8f9be6f2d5102e36000fdbcba0bc 7188 coq-relation-algebra_1.7.8-2build1_source.buildinfo
Files:
 bd3d466ea8ea03a160161ec89a7af8a3 2233 ocaml optional coq-relation-algebra_1.7.8-2build1.dsc
 6800838112a141b70d857e6adc4f1d4a 1740 ocaml optional coq-relation-algebra_1.7.8-2build1.debian.tar.xz
 6d3626ac112bef6164e6b70e9bb5436f 7188 ocaml optional coq-relation-algebra_1.7.8-2build1_source.buildinfo