[ubuntu/noble-proposed] coq-libhyps 2.0.6-3build2 (Accepted)

[Gianfranco Costamagna]

coq-libhyps (2.0.6-3build2) noble; urgency=medium

  * Rebuild against new OCAML ABI.

Date: Mon, 06 Nov 2023 17:12:13 +0100
Changed-By: Gianfranco Costamagna <locutusofborg at debian.org>
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint at lists.debian.org>
https://launchpad.net/ubuntu/+source/coq-libhyps/2.0.6-3build2
-------------- next part --------------
Format: 1.8
Date: Mon, 06 Nov 2023 17:12:13 +0100
Source: coq-libhyps
Built-For-Profiles: noudeb
Architecture: source
Version: 2.0.6-3build2
Distribution: noble
Urgency: medium
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint at lists.debian.org>
Changed-By: Gianfranco Costamagna <locutusofborg at debian.org>
Changes:
 coq-libhyps (2.0.6-3build2) noble; urgency=medium
 .
   * Rebuild against new OCAML ABI.
Checksums-Sha1:
 697cebec0265d1e5328509cd94ecda3c8b350351 2071 coq-libhyps_2.0.6-3build2.dsc
 53d234746b20f216766474370c76fed63bc5fa6f 2036 coq-libhyps_2.0.6-3build2.debian.tar.xz
 ef5de158f5527ddef6cd9aaed9c4d8ddebbd1840 7812 coq-libhyps_2.0.6-3build2_source.buildinfo
Checksums-Sha256:
 71544b7b49f81163612dfc4772e5bb2be49fe6fef74097252aa6f18067030544 2071 coq-libhyps_2.0.6-3build2.dsc
 228ca8dd3a394ec21d764918656268da9594bfe781761cc072bd8dc2b502fd77 2036 coq-libhyps_2.0.6-3build2.debian.tar.xz
 46726781de8b4bcec50865f22a28827e508b2a2139b50a5101f49b087861291b 7812 coq-libhyps_2.0.6-3build2_source.buildinfo
Files:
 67d4e2377b0384b669d7e2d7c14bb752 2071 ocaml optional coq-libhyps_2.0.6-3build2.dsc
 c4b6d4163878a245dc092fcdb2373a45 2036 ocaml optional coq-libhyps_2.0.6-3build2.debian.tar.xz
 5741156ffb538a2d18e8463d743493f9 7812 ocaml optional coq-libhyps_2.0.6-3build2_source.buildinfo