[ubuntu/resolute-proposed] coq-hammer 1.3.2+8.20-1build7 (Accepted)

[Sebastien Bacher]

coq-hammer (1.3.2+8.20-1build7) resolute; urgency=medium

  * No change rebuild with fixed amd64v3 builders

Date: Tue, 03 Mar 2026 20:35:14 +0100
Changed-By: Sebastien Bacher <seb128 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-1build7
-------------- next part --------------
Format: 1.8
Date: Tue, 03 Mar 2026 20:35:14 +0100
Source: coq-hammer
Built-For-Profiles: noudeb
Architecture: source
Version: 1.3.2+8.20-1build7
Distribution: resolute
Urgency: medium
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint at lists.debian.org>
Changed-By: Sebastien Bacher <seb128 at ubuntu.com>
Changes:
 coq-hammer (1.3.2+8.20-1build7) resolute; urgency=medium
 .
   * No change rebuild with fixed amd64v3 builders
Checksums-Sha1:
 cb8997675410708e267a764602f2bed8bf29d5a4 2111 coq-hammer_1.3.2+8.20-1build7.dsc
 7276b3d1b6a4adc6002d9dcc36e224065a972d20 3048 coq-hammer_1.3.2+8.20-1build7.debian.tar.xz
 74ce42f311434a5342fa6aebf2da0435bbe07f00 8258 coq-hammer_1.3.2+8.20-1build7_source.buildinfo
Checksums-Sha256:
 bd5fc2833f1c54a19056362e4035adb8aab0b24dfba93fa8684b646b010d3822 2111 coq-hammer_1.3.2+8.20-1build7.dsc
 51670feb5cc26fb6c7c41dec157457a762db4552e4ca23c8564418f73c27a094 3048 coq-hammer_1.3.2+8.20-1build7.debian.tar.xz
 7341b6567a642f54726a539c6b88eedfcdcbc3fe6f4d152f544281ffa8fe581f 8258 coq-hammer_1.3.2+8.20-1build7_source.buildinfo
Files:
 b73e72c075b86e9e698d80c91e218357 2111 ocaml optional coq-hammer_1.3.2+8.20-1build7.dsc
 8b1de6de988a294699f63db804278b10 3048 ocaml optional coq-hammer_1.3.2+8.20-1build7.debian.tar.xz
 ea3d67eb1529298a8b3cad2d7ad2b9fd 8258 ocaml optional coq-hammer_1.3.2+8.20-1build7_source.buildinfo