[ubuntu/lunar-proposed] paramcoq 1.1.3+coq8.16-3build1 (Accepted)

[Gianfranco Costamagna]

paramcoq (1.1.3+coq8.16-3build1) lunar; urgency=medium

  * Rebuild against new OCAML ABI.

Date: Thu, 26 Jan 2023 14:01:33 +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.16-3build1
-------------- next part --------------
Format: 1.8
Date: Thu, 26 Jan 2023 14:01:33 +0100
Source: paramcoq
Built-For-Profiles: noudeb
Architecture: source
Version: 1.1.3+coq8.16-3build1
Distribution: lunar
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.16-3build1) lunar; urgency=medium
 .
   * Rebuild against new OCAML ABI.
Checksums-Sha1:
 7be34e1f147a9029a9e814e1b151d9d1f3a3c28a 2110 paramcoq_1.1.3+coq8.16-3build1.dsc
 be74267a14a3b233d91d1823a0c05216cd5c9cc7 2960 paramcoq_1.1.3+coq8.16-3build1.debian.tar.xz
 599742bbb255cf013046e40d62f4368cf228d2ea 7128 paramcoq_1.1.3+coq8.16-3build1_source.buildinfo
Checksums-Sha256:
 c5254aa78c3eddba937a4eb911fe9ce9ba361f82696b902c477662b4856f3319 2110 paramcoq_1.1.3+coq8.16-3build1.dsc
 11de463011c8dd5ce0cba81f8fe046ceb4173fc01560c71b9fb1ae195358e937 2960 paramcoq_1.1.3+coq8.16-3build1.debian.tar.xz
 0549e942ab712ce19291798a1d44197da34607f167bdc2a8592b7a2a876779f5 7128 paramcoq_1.1.3+coq8.16-3build1_source.buildinfo
Files:
 ca4494cac49fec54384ac5eba3514236 2110 ocaml optional paramcoq_1.1.3+coq8.16-3build1.dsc
 7f8fda71ebe47ffa8816b031733907a7 2960 ocaml optional paramcoq_1.1.3+coq8.16-3build1.debian.tar.xz
 9d5dce40883eecf2b98623dc30d44478 7128 ocaml optional paramcoq_1.1.3+coq8.16-3build1_source.buildinfo