[ubuntu/kinetic-proposed] coq-equations 1.3-8.15-2build1 (Accepted)

[Gianfranco Costamagna]

coq-equations (1.3-8.15-2build1) kinetic; urgency=medium

  * Rebuild against new OCAML ABIs.

Date: Tue, 30 Aug 2022 12:20:26 +0200
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.15-2build1
-------------- next part --------------
Format: 1.8
Date: Tue, 30 Aug 2022 12:20:26 +0200
Source: coq-equations
Built-For-Profiles: noudeb
Architecture: source
Version: 1.3-8.15-2build1
Distribution: kinetic
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.15-2build1) kinetic; urgency=medium
 .
   * Rebuild against new OCAML ABIs.
Checksums-Sha1:
 bef1caba4c6cb0c2bf71a6da69f4d1153ffbc9c2 2160 coq-equations_1.3-8.15-2build1.dsc
 a4bd4df0b1b0997ab8a4bbf6857d29ddf6c11557 2224 coq-equations_1.3-8.15-2build1.debian.tar.xz
 265e2dce65687178d0ad625b5f1978bcc8c61a8a 7378 coq-equations_1.3-8.15-2build1_source.buildinfo
Checksums-Sha256:
 27f4162ba3014b3f6a17526e22aeee79418adde8b8b02b1dc53fa94718c9e266 2160 coq-equations_1.3-8.15-2build1.dsc
 da0fef5846d728360e842904bc4d4921870635dfce49c4be6425b0ca3e8a5361 2224 coq-equations_1.3-8.15-2build1.debian.tar.xz
 88b17408b99afe86d3f6e517c8be3a3271960d77faba2ca520aac4873ad5b392 7378 coq-equations_1.3-8.15-2build1_source.buildinfo
Files:
 4b3b88716f502daa67d327e36a91b0e1 2160 ocaml optional coq-equations_1.3-8.15-2build1.dsc
 98d86d88a6242dc6f18c8702191b88d5 2224 ocaml optional coq-equations_1.3-8.15-2build1.debian.tar.xz
 4734aea2cdcd7b024759a7d7f5f6cfde 7378 ocaml optional coq-equations_1.3-8.15-2build1_source.buildinfo