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

[Matthias Klose]

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

  * No-change rebuild for OCaml ABIs.

Date: Sat, 07 Sep 2024 00:44:15 +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-4build2
-------------- next part --------------
Format: 1.8
Date: Sat, 07 Sep 2024 00:44:15 +0200
Source: coq-libhyps
Built-For-Profiles: noudeb
Architecture: source
Version: 2.0.8-4build2
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-4build2) oracular; urgency=medium
 .
   * No-change rebuild for OCaml ABIs.
Checksums-Sha1:
 fc05f2f9c37b218dab47d2096e618b9ab7f5e5f6 2071 coq-libhyps_2.0.8-4build2.dsc
 4dec5d25a214d570a8ec0766eabb09f0718dac60 2336 coq-libhyps_2.0.8-4build2.debian.tar.xz
 cdf94a6fb3656ab012f7261818f772a493ba5bdd 5700 coq-libhyps_2.0.8-4build2_source.buildinfo
Checksums-Sha256:
 51836b92ae3ffc75f895d27323fe8e4150c5482dbf1d96cf6508fd83f96e6f88 2071 coq-libhyps_2.0.8-4build2.dsc
 d0b20f648bfaefb8afa685ea42d36fb5576e914ea879d4c4410c024757ffdc76 2336 coq-libhyps_2.0.8-4build2.debian.tar.xz
 cda9360fe542772fd675889e1686463a2896378462c9c09d87ccd6ebc4fd8d13 5700 coq-libhyps_2.0.8-4build2_source.buildinfo
Files:
 643cd9cc602bfae76ed2a4aaff4184d2 2071 ocaml optional coq-libhyps_2.0.8-4build2.dsc
 751206edac86be74342e0f81a24efd33 2336 ocaml optional coq-libhyps_2.0.8-4build2.debian.tar.xz
 7a18f0243e5ae613bd2c4d0c64db15ad 5700 ocaml optional coq-libhyps_2.0.8-4build2_source.buildinfo