[ubuntu/plucky-proposed] coq-equations 1.3.1-8.20-1build2 (Accepted)

[Gianfranco Costamagna]

coq-equations (1.3.1-8.20-1build2) plucky; urgency=medium

  * Rebuild against new OCAML ABI.

Date: Fri, 14 Feb 2025 00:40:49 +0100
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.1-8.20-1build2
-------------- next part --------------
Format: 1.8
Date: Fri, 14 Feb 2025 00:40:49 +0100
Source: coq-equations
Built-For-Profiles: noudeb
Architecture: source
Version: 1.3.1-8.20-1build2
Distribution: plucky
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.1-8.20-1build2) plucky; urgency=medium
 .
   * Rebuild against new OCAML ABI.
Checksums-Sha1:
 341b805b0168ab990bf28ff6057dcf98a2f1efb5 2179 coq-equations_1.3.1-8.20-1build2.dsc
 1b881150615d2570e22bcb0b6d889ba6650f5da3 2868 coq-equations_1.3.1-8.20-1build2.debian.tar.xz
 c72f18e6fa7976b8c64ec89a30a0b972fd14300c 7331 coq-equations_1.3.1-8.20-1build2_source.buildinfo
Checksums-Sha256:
 736c5ad3fc8c8f19769351eba2a2fa0d0e55106e03bae60c16ae509813244945 2179 coq-equations_1.3.1-8.20-1build2.dsc
 0618411ac266460e1cca602b15824c43f5598867ba6db808a579ff84587c6e91 2868 coq-equations_1.3.1-8.20-1build2.debian.tar.xz
 d845d7b8dbb7ee75955e48d3951d31b988738ed93e890f77641975a787261787 7331 coq-equations_1.3.1-8.20-1build2_source.buildinfo
Files:
 7d8c738d590b33b756f189f512711587 2179 ocaml optional coq-equations_1.3.1-8.20-1build2.dsc
 8e424e6ebfb33beb0fef2ff869f8f84e 2868 ocaml optional coq-equations_1.3.1-8.20-1build2.debian.tar.xz
 33aefa300e56b3758b356e2d36a762a9 7331 ocaml optional coq-equations_1.3.1-8.20-1build2_source.buildinfo