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

[Jeremy Bícha]

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

  * Rebuild against latest coq

Date: Tue, 18 Feb 2025 20:54:04 -0500
Changed-By: Jeremy Bícha <jbicha at ubuntu.com>
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint at lists.debian.org>
https://launchpad.net/ubuntu/+source/coq-equations/1.3.1-8.20-1build3
-------------- next part --------------
Format: 1.8
Date: Tue, 18 Feb 2025 20:54:04 -0500
Source: coq-equations
Built-For-Profiles: noudeb
Architecture: source
Version: 1.3.1-8.20-1build3
Distribution: plucky
Urgency: medium
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint at lists.debian.org>
Changed-By: Jeremy Bícha <jbicha at ubuntu.com>
Changes:
 coq-equations (1.3.1-8.20-1build3) plucky; urgency=medium
 .
   * Rebuild against latest coq
Checksums-Sha1:
 b896c86feee5163bb27b0910b1a2a954a3881f02 2179 coq-equations_1.3.1-8.20-1build3.dsc
 418b6cc45906fe4ce9799e8fb2b85f7203c822c8 2884 coq-equations_1.3.1-8.20-1build3.debian.tar.xz
 a259cc8679eafb5526f4b03123f64d9cfe9547c5 7062 coq-equations_1.3.1-8.20-1build3_source.buildinfo
Checksums-Sha256:
 f64d0ca315f67fad1cda7a21787ee2a87eae722e2e5cb58796ae60687c75d967 2179 coq-equations_1.3.1-8.20-1build3.dsc
 d44f0c3e352565a8528146c6e627b602d6e3b8c91924739a1b2e24d55e36e014 2884 coq-equations_1.3.1-8.20-1build3.debian.tar.xz
 733aa521537f2f1e57bcc613b546720b6672aeaf938d533a92d1586a4fd2d591 7062 coq-equations_1.3.1-8.20-1build3_source.buildinfo
Files:
 54689af8d3919099ab51300c2a71e848 2179 ocaml optional coq-equations_1.3.1-8.20-1build3.dsc
 27e5a1fdb77a22e6b0971cdc07a501f7 2884 ocaml optional coq-equations_1.3.1-8.20-1build3.debian.tar.xz
 e68c00b70c8cd96e72ae80a9e5b59411 7062 ocaml optional coq-equations_1.3.1-8.20-1build3_source.buildinfo