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

[Gianfranco Costamagna]

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

  * Rebuild against new OCAML ABI.

Date: Wed, 18 Jan 2023 10:05:32 +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-1build2
-------------- next part --------------
Format: 1.8
Date: Wed, 18 Jan 2023 10:05:32 +0100
Source: coq-relation-algebra
Built-For-Profiles: noudeb
Architecture: source
Version: 1.7.8-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-relation-algebra (1.7.8-1build2) lunar; urgency=medium
 .
   * Rebuild against new OCAML ABI.
Checksums-Sha1:
 5f6a624d2a499e4fdd8b0a80cf313fe75ac7a4e7 2228 coq-relation-algebra_1.7.8-1build2.dsc
 9fba27759882eae91a946c7e97ec297f24912105 1704 coq-relation-algebra_1.7.8-1build2.debian.tar.xz
 3b4aeae66f62855f948906d3ac7a1d4cd1369291 7144 coq-relation-algebra_1.7.8-1build2_source.buildinfo
Checksums-Sha256:
 193baaa9b786f8be0cee4180b92b086560dd81204747355e93076c9063ae8673 2228 coq-relation-algebra_1.7.8-1build2.dsc
 3384c89a58c78a17dff47caebec058a30c6b14844e1a59dcbf870a085a384748 1704 coq-relation-algebra_1.7.8-1build2.debian.tar.xz
 17aa00e0217eddbbcc749d48dad335237a5a1cdca156af58f88023fe121f8796 7144 coq-relation-algebra_1.7.8-1build2_source.buildinfo
Files:
 26539c20c4eeabd3efc28d5d02f44a3a 2228 ocaml optional coq-relation-algebra_1.7.8-1build2.dsc
 df39bdc45c8dd35c9ff7d958e08eec18 1704 ocaml optional coq-relation-algebra_1.7.8-1build2.debian.tar.xz
 c696c783bf07e0342e7698f8362ff2fc 7144 ocaml optional coq-relation-algebra_1.7.8-1build2_source.buildinfo