[ubuntu/plucky-proposed] coq-libhyps 2.0.8-4build7 (Accepted)

[Matthias Klose]

coq-libhyps (2.0.8-4build7) plucky; urgency=medium

  * No-change rebuild for coq ABI changes.

Date: Tue, 18 Feb 2025 21:04:28 +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/coq-libhyps/2.0.8-4build7
-------------- next part --------------
Format: 1.8
Date: Tue, 18 Feb 2025 21:04:28 +0100
Source: coq-libhyps
Built-For-Profiles: noudeb
Architecture: source
Version: 2.0.8-4build7
Distribution: plucky
Urgency: medium
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint at lists.debian.org>
Changed-By: Matthias Klose <doko at ubuntu.com>
Changes:
 coq-libhyps (2.0.8-4build7) plucky; urgency=medium
 .
   * No-change rebuild for coq ABI changes.
Checksums-Sha1:
 74389cf19f02c8df73e1f95578ed0db1a611dafc 2071 coq-libhyps_2.0.8-4build7.dsc
 d08525348bb4615f8b8714fa669e38f3dd90e260 2452 coq-libhyps_2.0.8-4build7.debian.tar.xz
 3079bd1d1cbe94604c4d8a5cada86e388f3d14f5 3831 coq-libhyps_2.0.8-4build7_source.buildinfo
Checksums-Sha256:
 2f15ff11b9c53f947a567acd47f23ab8a496625f8ac82b49b28254a3545934ca 2071 coq-libhyps_2.0.8-4build7.dsc
 83d6c799bf5ddca4bab0b2c24bd1d019960ceb022f403e779054af99f2d1b4e8 2452 coq-libhyps_2.0.8-4build7.debian.tar.xz
 4ae60e0228d6e439a607bc73ac04053022e7999c6a3712962a34dd4f36b6986a 3831 coq-libhyps_2.0.8-4build7_source.buildinfo
Files:
 9f7d7d797c8c0a784121566772736f93 2071 ocaml optional coq-libhyps_2.0.8-4build7.dsc
 f0b3015fbb7af98691653ff96d7be20f 2452 ocaml optional coq-libhyps_2.0.8-4build7.debian.tar.xz
 8cfcd9174fd646199a3d249d08306141 3831 ocaml optional coq-libhyps_2.0.8-4build7_source.buildinfo