[ubuntu/oracular-proposed] coq-equations 1.3-8.19-2build1 (Accepted)

[Gianfranco Costamagna]

coq-equations (1.3-8.19-2build1) oracular; urgency=medium

  * Rebuild against new OCAML ABI.

Date: Thu, 15 Aug 2024 08:39:58 +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-2build1
-------------- next part --------------
Format: 1.8
Date: Thu, 15 Aug 2024 08:39:58 +0200
Source: coq-equations
Built-For-Profiles: noudeb
Architecture: source
Version: 1.3-8.19-2build1
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-2build1) oracular; urgency=medium
 .
   * Rebuild against new OCAML ABI.
Checksums-Sha1:
 e290fd48c9bb653110d5a7d971e4dbbb2e176edd 2165 coq-equations_1.3-8.19-2build1.dsc
 a9fedcfeaa4608d26483ba41e406e92765f20ee3 2784 coq-equations_1.3-8.19-2build1.debian.tar.xz
 795bdbbe3ae96ab4dc98d9955465d2fa6292b6ab 7876 coq-equations_1.3-8.19-2build1_source.buildinfo
Checksums-Sha256:
 a1c26f1b5d54e85eeeb6920f56ca8980f034365e2167acd5795dc9bcb530c396 2165 coq-equations_1.3-8.19-2build1.dsc
 9e45ecab01ec991ea5b13deed2d0cfe7d147ed85290c46003113cbec2bb6be0a 2784 coq-equations_1.3-8.19-2build1.debian.tar.xz
 f3ac2b46fc2baf45a6a2dbadb16c5863b89a29c279bcfdfd5e61b03fde4533ef 7876 coq-equations_1.3-8.19-2build1_source.buildinfo
Files:
 459246474b4ec26d9f2cf0581d996e0c 2165 ocaml optional coq-equations_1.3-8.19-2build1.dsc
 4d5ac740df264f7960342fb74571055e 2784 ocaml optional coq-equations_1.3-8.19-2build1.debian.tar.xz
 148808a01afbb8a7a6168289e82e23ad 7876 ocaml optional coq-equations_1.3-8.19-2build1_source.buildinfo