[ubuntu/oracular-proposed] coq-libhyps 2.0.8-4build3 (Accepted)

[Matthias Klose]

coq-libhyps (2.0.8-4build3) oracular; urgency=medium

  * No-change rebuild for OCaml ABIs.

Date: Sat, 07 Sep 2024 16:34:55 +0200
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-4build3
-------------- next part --------------
Format: 1.8
Date: Sat, 07 Sep 2024 16:34:55 +0200
Source: coq-libhyps
Built-For-Profiles: noudeb
Architecture: source
Version: 2.0.8-4build3
Distribution: oracular
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-4build3) oracular; urgency=medium
 .
   * No-change rebuild for OCaml ABIs.
Checksums-Sha1:
 b3a8fbe84502b8b4be71ff04c3ac78a0de8a5f0a 2071 coq-libhyps_2.0.8-4build3.dsc
 8cf8da36dcee82a2a8c5808327963c8c06095ef6 2348 coq-libhyps_2.0.8-4build3.debian.tar.xz
 6758a8da8a53afad45cfe79b3cfef0e410d7332d 5700 coq-libhyps_2.0.8-4build3_source.buildinfo
Checksums-Sha256:
 e10fc4a7a0c140d6445342aa02d2ce04c7ec60be58cad65cb89656407ef345e5 2071 coq-libhyps_2.0.8-4build3.dsc
 7a9a5eb9863f8376ecdc6d54bdd3cacb836693b30a8de109012140f2ae166be8 2348 coq-libhyps_2.0.8-4build3.debian.tar.xz
 e41e1be4e5261fed5dad4328a3c2980338169d706e853678b5530b845a1a9064 5700 coq-libhyps_2.0.8-4build3_source.buildinfo
Files:
 d7bbe3a0229675ac1ca637457004b368 2071 ocaml optional coq-libhyps_2.0.8-4build3.dsc
 bb5d8ab12c8442eaf9f8238768cca3e3 2348 ocaml optional coq-libhyps_2.0.8-4build3.debian.tar.xz
 36346e957f86cd268a41b9746060d5f8 5700 ocaml optional coq-libhyps_2.0.8-4build3_source.buildinfo