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

[Jeremy Bícha]

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

  * Rebuild against latest ocaml

Date: Sat, 01 Feb 2025 20:21:54 -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-1build1
-------------- next part --------------
Format: 1.8
Date: Sat, 01 Feb 2025 20:21:54 -0500
Source: coq-equations
Built-For-Profiles: noudeb
Architecture: source
Version: 1.3.1-8.20-1build1
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-1build1) plucky; urgency=medium
 .
   * Rebuild against latest ocaml
Checksums-Sha1:
 958c2ce2f6ff3e43122fb4d19daecc824894980a 2179 coq-equations_1.3.1-8.20-1build1.dsc
 d8e5174ef5c7d5932b84211055a31ff6adc7bc43 2820 coq-equations_1.3.1-8.20-1build1.debian.tar.xz
 4d1ce955b9c692dfde332e4b99ae6796cf2471ec 7086 coq-equations_1.3.1-8.20-1build1_source.buildinfo
Checksums-Sha256:
 0aaa38a5572c28b896a2040b6104f11c467c4861560108b686badcb118f67fa5 2179 coq-equations_1.3.1-8.20-1build1.dsc
 ad40ea8a45adcfee87867c73b70407e6a31c77fa4515526f584beedc75a85c6d 2820 coq-equations_1.3.1-8.20-1build1.debian.tar.xz
 ad8757cd748bac7d8f18dd103a5b33d856dd32f10d867912f138e82baa4ba43d 7086 coq-equations_1.3.1-8.20-1build1_source.buildinfo
Files:
 a18fe985589ebfc3f92729b0771b4bac 2179 ocaml optional coq-equations_1.3.1-8.20-1build1.dsc
 715c561994dd08dece5006516a9b32b5 2820 ocaml optional coq-equations_1.3.1-8.20-1build1.debian.tar.xz
 228e63c9c951ea49e25c36145b795529 7086 ocaml optional coq-equations_1.3.1-8.20-1build1_source.buildinfo