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

[Gianfranco Costamagna]

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

  * Rebuild against new OCAML ABIs.

Date: Mon, 05 Jan 2026 18:34:18 +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-1build5
-------------- next part --------------
Format: 1.8
Date: Mon, 05 Jan 2026 18:34:18 +0100
Source: paramcoq
Built-For-Profiles: noudeb
Architecture: source
Version: 1.1.3+coq8.20-1build5
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-1build5) resolute; urgency=medium
 .
   * Rebuild against new OCAML ABIs.
Checksums-Sha1:
 aaaa1d58fff50665447ea8d677897a046c890a2e 2110 paramcoq_1.1.3+coq8.20-1build5.dsc
 d458f7e239d38035761831801564a093ebde5a61 3436 paramcoq_1.1.3+coq8.20-1build5.debian.tar.xz
 c6bfaeff31f510aa27947a591b72c94fe02112cf 7879 paramcoq_1.1.3+coq8.20-1build5_source.buildinfo
Checksums-Sha256:
 56b9afb331462bd8a780ed7a5aed10821f2638d2b4512710d73f6bbff16bb313 2110 paramcoq_1.1.3+coq8.20-1build5.dsc
 62a94c82d87973a92827c47ccbdb2dc5a8ebf9cc4cc5de13a848b4dbe1772208 3436 paramcoq_1.1.3+coq8.20-1build5.debian.tar.xz
 7f7633b268bff84874b8eba58b543c21d0bfe5ff818b010631add9132281e32d 7879 paramcoq_1.1.3+coq8.20-1build5_source.buildinfo
Files:
 29a42e04c30060e02db0ee7302aa0c60 2110 ocaml optional paramcoq_1.1.3+coq8.20-1build5.dsc
 e052035b8ea9e9eeab190fca13aafee3 3436 ocaml optional paramcoq_1.1.3+coq8.20-1build5.debian.tar.xz
 90a2fb4d32042a3e7749fbe877019226 7879 ocaml optional paramcoq_1.1.3+coq8.20-1build5_source.buildinfo