[ubuntu/mantic-proposed] coq-equations 1.3-8.17-1build1 (Accepted)

[Gianfranco Costamagna]

coq-equations (1.3-8.17-1build1) mantic; urgency=medium

  * Rebuild against new OCAML ABI.

Date: Wed, 26 Jul 2023 07:13:34 +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-1build1
-------------- next part --------------
Format: 1.8
Date: Wed, 26 Jul 2023 07:13:34 +0200
Source: coq-equations
Built-For-Profiles: noudeb
Architecture: source
Version: 1.3-8.17-1build1
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-1build1) mantic; urgency=medium
 .
   * Rebuild against new OCAML ABI.
Checksums-Sha1:
 efbe69fd781d63c5568c7c16ba9ebd23f0fe4336 2165 coq-equations_1.3-8.17-1build1.dsc
 7166c1038c00ed81680773f63635d84bb852a6cc 2548 coq-equations_1.3-8.17-1build1.debian.tar.xz
 b0b59a66edb6b593252f41c09dbf577bed466728 7806 coq-equations_1.3-8.17-1build1_source.buildinfo
Checksums-Sha256:
 e33aeaf536cd5b74d5396cee7f408b56ad84d2d9cd3595a69c495a9994de612f 2165 coq-equations_1.3-8.17-1build1.dsc
 fb6dd69977a240d99772396498cde25bb0ad74bc7460f90004594531bd317084 2548 coq-equations_1.3-8.17-1build1.debian.tar.xz
 aac7337f87a5f64fd5c2818b9a20284b3410a161720f5d1cb39098645f0d62ae 7806 coq-equations_1.3-8.17-1build1_source.buildinfo
Files:
 2044ff538b07531e2dd01c6b3d17e726 2165 ocaml optional coq-equations_1.3-8.17-1build1.dsc
 41edeff1b2c1108f9cbd760339fb6127 2548 ocaml optional coq-equations_1.3-8.17-1build1.debian.tar.xz
 72fc01ca0a0228489c98a2f0cf36fc28 7806 ocaml optional coq-equations_1.3-8.17-1build1_source.buildinfo