[ubuntu/noble-proposed] paramcoq 1.1.3+coq8.17-2build2 (Accepted)

[Gianfranco Costamagna]

paramcoq (1.1.3+coq8.17-2build2) noble; urgency=medium

  * Rebuild against new OCAML ABIs.

Date: Thu, 23 Nov 2023 00:43:31 +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/paramcoq/1.1.3+coq8.17-2build2
-------------- next part --------------
Format: 1.8
Date: Thu, 23 Nov 2023 00:43:31 +0100
Source: paramcoq
Built-For-Profiles: noudeb
Architecture: source
Version: 1.1.3+coq8.17-2build2
Distribution: noble
Urgency: medium
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint at lists.debian.org>
Changed-By: Gianfranco Costamagna <locutusofborg at debian.org>
Changes:
 paramcoq (1.1.3+coq8.17-2build2) noble; urgency=medium
 .
   * Rebuild against new OCAML ABIs.
Checksums-Sha1:
 b7addc66baa654beef167f6b0d7423425d6fc254 2110 paramcoq_1.1.3+coq8.17-2build2.dsc
 86180376a36f476fab9bf546e4dd1940136e1979 3132 paramcoq_1.1.3+coq8.17-2build2.debian.tar.xz
 498eca184d6a59e2f7cfeb2349a9f22820a97a7a 7832 paramcoq_1.1.3+coq8.17-2build2_source.buildinfo
Checksums-Sha256:
 1b043a883762cfeb75ce76aeb1b9113c55bd9159dd09462cf883929d273f45b4 2110 paramcoq_1.1.3+coq8.17-2build2.dsc
 7364e984a875a5dcc0abb23fb8cdba1f013c3c6763cb11295f51728a1004b38e 3132 paramcoq_1.1.3+coq8.17-2build2.debian.tar.xz
 bd37776d297162deeeb120514c9e40cbe8a3762d60678b5788fd9dbc6f2db31f 7832 paramcoq_1.1.3+coq8.17-2build2_source.buildinfo
Files:
 3368f14052b92719b9f2de7a34808d3d 2110 ocaml optional paramcoq_1.1.3+coq8.17-2build2.dsc
 ba1f488ede218dfe50459aa194858090 3132 ocaml optional paramcoq_1.1.3+coq8.17-2build2.debian.tar.xz
 12528ab6ce1f5fdca684ab839fecddb9 7832 ocaml optional paramcoq_1.1.3+coq8.17-2build2_source.buildinfo