[ubuntu/oracular-proposed] coq-equations 1.3-8.19-1build2 (Accepted)

[Gianfranco Costamagna]

coq-equations (1.3-8.19-1build2) oracular; urgency=medium

  * Rebuild against new OCAML ABIs.

Date: Mon, 13 May 2024 20:22:42 +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.19-1build2
-------------- next part --------------
Format: 1.8
Date: Mon, 13 May 2024 20:22:42 +0200
Source: coq-equations
Built-For-Profiles: noudeb
Architecture: source
Version: 1.3-8.19-1build2
Distribution: oracular
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.19-1build2) oracular; urgency=medium
 .
   * Rebuild against new OCAML ABIs.
Checksums-Sha1:
 7300b6dcb5e43a82f5ab8584b27b6758ca949f4d 2165 coq-equations_1.3-8.19-1build2.dsc
 99a5ca8af1af59aa7e3f680cf50a041c1c903b28 2744 coq-equations_1.3-8.19-1build2.debian.tar.xz
 2eba084a6bf3e165d07b10944af5803fc57f32c2 7852 coq-equations_1.3-8.19-1build2_source.buildinfo
Checksums-Sha256:
 42a2776a22547881f774bb2f239a189930fa21420b7bd7d6e2d6cdcb9458b010 2165 coq-equations_1.3-8.19-1build2.dsc
 4d9f5cfd0ed20017c9ce712d32ae0acfb8c376b96313ae288fa14e2c42883b52 2744 coq-equations_1.3-8.19-1build2.debian.tar.xz
 066e66f150339f627da42009a4a51b0b1444d9440d20884c0f7216262985301c 7852 coq-equations_1.3-8.19-1build2_source.buildinfo
Files:
 ba1a55de3d5760d039838ca1b50fd406 2165 ocaml optional coq-equations_1.3-8.19-1build2.dsc
 a97e96890314bf6eb748d494ea864d9e 2744 ocaml optional coq-equations_1.3-8.19-1build2.debian.tar.xz
 8e1f2a32faf75e94094bf05a06b75c60 7852 ocaml optional coq-equations_1.3-8.19-1build2_source.buildinfo