[ubuntu/resolute-proposed] paramcoq 1.1.3+coq8.20-1build6 (Accepted)

[Gianfranco Costamagna]

paramcoq (1.1.3+coq8.20-1build6) resolute; urgency=medium

  * Rebuild against new OCAML ABIs.

Date: Thu, 29 Jan 2026 20:24:58 +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.20-1build6
-------------- next part --------------
Format: 1.8
Date: Thu, 29 Jan 2026 20:24:58 +0100
Source: paramcoq
Built-For-Profiles: noudeb
Architecture: source
Version: 1.1.3+coq8.20-1build6
Distribution: resolute
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.20-1build6) resolute; urgency=medium
 .
   * Rebuild against new OCAML ABIs.
Checksums-Sha1:
 43db49162abee0511ef54d7b5139861e365d6570 2110 paramcoq_1.1.3+coq8.20-1build6.dsc
 d04b5f036e7bdc0727c1bb0654fea5db469ed160 3448 paramcoq_1.1.3+coq8.20-1build6.debian.tar.xz
 3e46e0e608771122cca4dc904383edfe1e243f3d 7883 paramcoq_1.1.3+coq8.20-1build6_source.buildinfo
Checksums-Sha256:
 d7851fadbafda30ff90518c6991887e135b6077bbc044cfb3a6cacf3df65d743 2110 paramcoq_1.1.3+coq8.20-1build6.dsc
 1df31c15350f84cb493c1961f6204caee00fedd6a6c52a3a0bd9e0b664b033ed 3448 paramcoq_1.1.3+coq8.20-1build6.debian.tar.xz
 56687508f3e43b439c9b625859784c3b4e0371a6644491f00bff097fd506abdf 7883 paramcoq_1.1.3+coq8.20-1build6_source.buildinfo
Files:
 af0df6e8e7539700645556f57cc32a24 2110 ocaml optional paramcoq_1.1.3+coq8.20-1build6.dsc
 d4df7970ddbba6297a1448881d5b9c60 3448 ocaml optional paramcoq_1.1.3+coq8.20-1build6.debian.tar.xz
 6d7521a9642c48ca35813e93124f9489 7883 ocaml optional paramcoq_1.1.3+coq8.20-1build6_source.buildinfo