[ubuntu/noble-proposed] coq-libhyps 2.0.8-1build4 (Accepted)

[Gianfranco Costamagna]

coq-libhyps (2.0.8-1build4) noble; urgency=medium

  * Rebuild against new OCAML ABIs.

Date: Mon, 08 Apr 2024 09:14:31 +0200
Changed-By: Gianfranco Costamagna <locutusofborg at debian.org>
Maintainer: Ubuntu Developers <ubuntu-devel-discuss at lists.ubuntu.com>
https://launchpad.net/ubuntu/+source/coq-libhyps/2.0.8-1build4
-------------- next part --------------
Format: 1.8
Date: Mon, 08 Apr 2024 09:14:31 +0200
Source: coq-libhyps
Built-For-Profiles: noudeb
Architecture: source
Version: 2.0.8-1build4
Distribution: noble
Urgency: medium
Maintainer: Ubuntu Developers <ubuntu-devel-discuss at lists.ubuntu.com>
Changed-By: Gianfranco Costamagna <locutusofborg at debian.org>
Changes:
 coq-libhyps (2.0.8-1build4) noble; urgency=medium
 .
   * Rebuild against new OCAML ABIs.
Checksums-Sha1:
 bfc656d915ddb4a7c2ac7b9d9d8e9cc76551772e 2150 coq-libhyps_2.0.8-1build4.dsc
 680cb80d27acfbbde888b9c3b1a1ef5cc677defc 2324 coq-libhyps_2.0.8-1build4.debian.tar.xz
 f82407a9f33fab28a740d479b2a24ca69cfd29d0 7832 coq-libhyps_2.0.8-1build4_source.buildinfo
Checksums-Sha256:
 1f642cb000982c7e25d7f23d88141c2dff26a5a8aae73c3bbaa84b62dc1d938d 2150 coq-libhyps_2.0.8-1build4.dsc
 18d5735009409f5a3964998433bcffc683c9757dd32b487ccb4e694fd4f94843 2324 coq-libhyps_2.0.8-1build4.debian.tar.xz
 40729d589879ebd524c7c18928d2aabfebf741779aa6fbef47e9e664b8d2b952 7832 coq-libhyps_2.0.8-1build4_source.buildinfo
Files:
 705cc60d5b9d71f1bd045962b6f3275f 2150 ocaml optional coq-libhyps_2.0.8-1build4.dsc
 b18e21ca6e1334d45aa5d07f77ef5360 2324 ocaml optional coq-libhyps_2.0.8-1build4.debian.tar.xz
 e5dd1395936a8ec4e4b4b7ce7381a7ac 7832 ocaml optional coq-libhyps_2.0.8-1build4_source.buildinfo
Original-Maintainer: Debian OCaml Maintainers <debian-ocaml-maint at lists.debian.org>