[ubuntu/plucky-proposed] coq-hammer 1.3.2+8.20-1build1 (Accepted)

[Jeremy Bícha]

coq-hammer (1.3.2+8.20-1build1) plucky; urgency=medium

  * Rebuild against latest ocaml

Date: Sat, 01 Feb 2025 20:14:47 -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-hammer/1.3.2+8.20-1build1
-------------- next part --------------
Format: 1.8
Date: Sat, 01 Feb 2025 20:14:47 -0500
Source: coq-hammer
Built-For-Profiles: noudeb
Architecture: source
Version: 1.3.2+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-hammer (1.3.2+8.20-1build1) plucky; urgency=medium
 .
   * Rebuild against latest ocaml
Checksums-Sha1:
 51036b9f60c6ca59585a6d1cbf48c3ccf2a294dd 2111 coq-hammer_1.3.2+8.20-1build1.dsc
 5e157e7e14a722e3029989d3353ba603ce27d6f6 2816 coq-hammer_1.3.2+8.20-1build1.debian.tar.xz
 07284bca1abc7ce9e2c0f39195dad1327520520e 7074 coq-hammer_1.3.2+8.20-1build1_source.buildinfo
Checksums-Sha256:
 a546153dc4c13ff8010cbd31624f5f80bd4f83f1ce0f28de6a9046913c651911 2111 coq-hammer_1.3.2+8.20-1build1.dsc
 1b527dd03bb318c0abb8d392814c72df7b6fad5538b73643c78ef4134969d9bd 2816 coq-hammer_1.3.2+8.20-1build1.debian.tar.xz
 aff73b28cefc35f9835a5294db9c7492df35ef76ad0163241bfb28fc81a3b981 7074 coq-hammer_1.3.2+8.20-1build1_source.buildinfo
Files:
 7fd388dfb53771437d64e5a974ef027c 2111 ocaml optional coq-hammer_1.3.2+8.20-1build1.dsc
 673f0783f711a8ed39cf10b16eadafc3 2816 ocaml optional coq-hammer_1.3.2+8.20-1build1.debian.tar.xz
 55d9f57f0ce2c7499b67985c7d667c20 7074 ocaml optional coq-hammer_1.3.2+8.20-1build1_source.buildinfo