[ubuntu/plucky-proposed] paramcoq 1.1.3+coq8.20-1build3 (Accepted)

[Matthias Klose]

paramcoq (1.1.3+coq8.20-1build3) plucky; urgency=medium

  * No-change rebuild for coq ABI changes.

Date: Tue, 18 Feb 2025 21:04:32 +0100
Changed-By: Matthias Klose <doko at ubuntu.com>
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint at lists.debian.org>
https://launchpad.net/ubuntu/+source/paramcoq/1.1.3+coq8.20-1build3
-------------- next part --------------
Format: 1.8
Date: Tue, 18 Feb 2025 21:04:32 +0100
Source: paramcoq
Built-For-Profiles: noudeb
Architecture: source
Version: 1.1.3+coq8.20-1build3
Distribution: plucky
Urgency: medium
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint at lists.debian.org>
Changed-By: Matthias Klose <doko at ubuntu.com>
Changes:
 paramcoq (1.1.3+coq8.20-1build3) plucky; urgency=medium
 .
   * No-change rebuild for coq ABI changes.
Checksums-Sha1:
 6f98eb1259ff64293cf975463bd0ca6a07e5ab5a 2110 paramcoq_1.1.3+coq8.20-1build3.dsc
 578da56740021a1fdeb6b2c17ba91ac2fbbaa2ca 3380 paramcoq_1.1.3+coq8.20-1build3.debian.tar.xz
 88470155345b92ebf98f7a57cd1d796fd75b3173 3851 paramcoq_1.1.3+coq8.20-1build3_source.buildinfo
Checksums-Sha256:
 b045ee6c64abfc5c695b82e346979ba3a5acd2e161716201e085db15c7b4c3cb 2110 paramcoq_1.1.3+coq8.20-1build3.dsc
 65fb37ce388fd6f55a5835fa7ef4318836a7caa264a871140a242090390fe0dd 3380 paramcoq_1.1.3+coq8.20-1build3.debian.tar.xz
 d5547373180c8b26ec81a91fcd8e523bd9ac62c9135f5518b23212b5915b3667 3851 paramcoq_1.1.3+coq8.20-1build3_source.buildinfo
Files:
 2272b5d8d2510a392ebc6d8eed23aff1 2110 ocaml optional paramcoq_1.1.3+coq8.20-1build3.dsc
 5604732bb2a2ab6e6eab868f53df31a7 3380 ocaml optional paramcoq_1.1.3+coq8.20-1build3.debian.tar.xz
 805688a86965835870bd6a3c30a8c538 3851 ocaml optional paramcoq_1.1.3+coq8.20-1build3_source.buildinfo