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

[Gianfranco Costamagna]

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

  * Rebuild against new OCAML ABI.

Date: Thu, 16 Feb 2023 19:30:45 +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-3build2
-------------- next part --------------
Format: 1.8
Date: Thu, 16 Feb 2023 19:30:45 +0100
Source: paramcoq
Built-For-Profiles: noudeb
Architecture: source
Version: 1.1.3+coq8.16-3build2
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-3build2) lunar; urgency=medium
 .
   * Rebuild against new OCAML ABI.
Checksums-Sha1:
 2844e000593c3d4b4caafb397dca45ef43171d4a 2110 paramcoq_1.1.3+coq8.16-3build2.dsc
 58ab0aadc42449c85c8e5f5c2ee23fd41f9f30b7 2964 paramcoq_1.1.3+coq8.16-3build2.debian.tar.xz
 6aa862766c1867e1f3a29916739ec4b4de34f17d 7172 paramcoq_1.1.3+coq8.16-3build2_source.buildinfo
Checksums-Sha256:
 0c8aceafb1dd850e2e17a55bdb6ddaf84b85b36b19f83c4c92d6cfacb6664836 2110 paramcoq_1.1.3+coq8.16-3build2.dsc
 62d356555c78993dc26a24ef4e0f7c0b9f453baff0b489bdfa44668fb74c25ea 2964 paramcoq_1.1.3+coq8.16-3build2.debian.tar.xz
 a774dd35b4f50b2c9251467f144350c299a4569f68b8c5f2f73be81dceab3d8a 7172 paramcoq_1.1.3+coq8.16-3build2_source.buildinfo
Files:
 332c571ebed6f55a53f9e8c98ce2ae1b 2110 ocaml optional paramcoq_1.1.3+coq8.16-3build2.dsc
 654608332fe455ca8654dd9a849d3665 2964 ocaml optional paramcoq_1.1.3+coq8.16-3build2.debian.tar.xz
 031b62f79ddf5edf062d91f68ed8adfc 7172 ocaml optional paramcoq_1.1.3+coq8.16-3build2_source.buildinfo