[ubuntu/oracular-proposed] paramcoq 1.1.3+coq8.18-1build3 (Accepted)

[Gianfranco Costamagna]

paramcoq (1.1.3+coq8.18-1build3) oracular; urgency=medium

  * Rebuild against new OCAML ABIs.

Date: Thu, 02 May 2024 22:18:49 +0200
Changed-By: Gianfranco Costamagna <locutusofborg at debian.org>
Maintainer: Ubuntu Developers <ubuntu-devel-discuss at lists.ubuntu.com>
https://launchpad.net/ubuntu/+source/paramcoq/1.1.3+coq8.18-1build3
-------------- next part --------------
Format: 1.8
Date: Thu, 02 May 2024 22:18:49 +0200
Source: paramcoq
Built-For-Profiles: noudeb
Architecture: source
Version: 1.1.3+coq8.18-1build3
Distribution: oracular
Urgency: medium
Maintainer: Ubuntu Developers <ubuntu-devel-discuss at lists.ubuntu.com>
Changed-By: Gianfranco Costamagna <locutusofborg at debian.org>
Changes:
 paramcoq (1.1.3+coq8.18-1build3) oracular; urgency=medium
 .
   * Rebuild against new OCAML ABIs.
Checksums-Sha1:
 99c3f13c09d935808ec616223ff79c902af2dbec 2189 paramcoq_1.1.3+coq8.18-1build3.dsc
 e47056c2b93e31f27526ed9c9613bd9dcf12bd7d 3312 paramcoq_1.1.3+coq8.18-1build3.debian.tar.xz
 e4232d7e2247fd5dc7324f33ed4ce0bcd3b63b9f 7852 paramcoq_1.1.3+coq8.18-1build3_source.buildinfo
Checksums-Sha256:
 a16553b96f88abd2adc358358511e6575090d3825b466c2da7c14e9dcd163f14 2189 paramcoq_1.1.3+coq8.18-1build3.dsc
 53e2be75155b44101eabe69e71c265282713374cf1a5bb4f0980c7c5cccaf38c 3312 paramcoq_1.1.3+coq8.18-1build3.debian.tar.xz
 698553dc86c6d9b2991f5e1e0aa05e9a6fd31d648b9d4f77e38cff7f97b2f456 7852 paramcoq_1.1.3+coq8.18-1build3_source.buildinfo
Files:
 3ec20c2a0b4ae8a0a9c163273f12e3ef 2189 ocaml optional paramcoq_1.1.3+coq8.18-1build3.dsc
 1795f997a00f56ae005e53c8791522ea 3312 ocaml optional paramcoq_1.1.3+coq8.18-1build3.debian.tar.xz
 7db8b2d3ef7c61771e04c408f4fce7dc 7852 ocaml optional paramcoq_1.1.3+coq8.18-1build3_source.buildinfo
Original-Maintainer: Debian OCaml Maintainers <debian-ocaml-maint at lists.debian.org>