[ubuntu/mantic-proposed] coq-equations 1.3-8.17-2build2 (Accepted)

[Gianfranco Costamagna]

coq-equations (1.3-8.17-2build2) mantic; urgency=medium

  * Rebuild against new OCAML ABIs.

Date: Mon, 04 Sep 2023 15:20:41 +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.17-2build2
-------------- next part --------------
Format: 1.8
Date: Mon, 04 Sep 2023 15:20:41 +0200
Source: coq-equations
Built-For-Profiles: noudeb
Architecture: source
Version: 1.3-8.17-2build2
Distribution: mantic
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.17-2build2) mantic; urgency=medium
 .
   * Rebuild against new OCAML ABIs.
Checksums-Sha1:
 80c08571aa6fa94f65689dae37b1fced59188bcc 2165 coq-equations_1.3-8.17-2build2.dsc
 7c7fbd66a3ef9dab417ef2d972feb317c986c658 2700 coq-equations_1.3-8.17-2build2.debian.tar.xz
 c6d42af3eb5acefadfaad8bd499b0344cc88e93d 7800 coq-equations_1.3-8.17-2build2_source.buildinfo
Checksums-Sha256:
 42bb306edb82bec55df6dd86c7b34e4b0d67bfa7e6f4886261d69d245a8a9468 2165 coq-equations_1.3-8.17-2build2.dsc
 516f5795e0f3ed679c1e1bca855d67329cf50d1ec52302e4776e2fcdf4f8fadb 2700 coq-equations_1.3-8.17-2build2.debian.tar.xz
 04dfa8690c8f373b5b8519b21f4f73ee312f4465914a0f3ac8686ff537e511b5 7800 coq-equations_1.3-8.17-2build2_source.buildinfo
Files:
 a0bc6e8af30194bd7b5e68a99882d071 2165 ocaml optional coq-equations_1.3-8.17-2build2.dsc
 0fe28337119e39a9331c9d04f61f1ba9 2700 ocaml optional coq-equations_1.3-8.17-2build2.debian.tar.xz
 8a4725146d6ab2bcbe0f49358e024dd4 7800 ocaml optional coq-equations_1.3-8.17-2build2_source.buildinfo