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

[Steve Langasek]

paramcoq (1.1.3+coq8.18-1build1) noble; urgency=medium

  * No-change rebuild for new libcoq-stdlib ABI

Date: Sun, 24 Mar 2024 00:16:25 +0000
Changed-By: Steve Langasek <steve.langasek at ubuntu.com>
Maintainer: Ubuntu Developers <ubuntu-devel-discuss at lists.ubuntu.com>
https://launchpad.net/ubuntu/+source/paramcoq/1.1.3+coq8.18-1build1
-------------- next part --------------
Format: 1.8
Date: Sun, 24 Mar 2024 00:16:25 +0000
Source: paramcoq
Built-For-Profiles: noudeb
Architecture: source
Version: 1.1.3+coq8.18-1build1
Distribution: noble
Urgency: medium
Maintainer: Ubuntu Developers <ubuntu-devel-discuss at lists.ubuntu.com>
Changed-By: Steve Langasek <steve.langasek at ubuntu.com>
Changes:
 paramcoq (1.1.3+coq8.18-1build1) noble; urgency=medium
 .
   * No-change rebuild for new libcoq-stdlib ABI
Checksums-Sha1:
 cf9dfe6f0d9d2531a75c0d696b14a3d841569531 2226 paramcoq_1.1.3+coq8.18-1build1.dsc
 3d8ea2e181d004c25c64f1ae2d692bcaeeab1d5c 3192 paramcoq_1.1.3+coq8.18-1build1.debian.tar.xz
 2e06c86798321c862569975c9e951a062a5c6941 6738 paramcoq_1.1.3+coq8.18-1build1_source.buildinfo
Checksums-Sha256:
 02dd24e2fce60fe07f918906dced2889765f770fd3733a56490d846af30e2f1b 2226 paramcoq_1.1.3+coq8.18-1build1.dsc
 732c7343f8875242b62fd6c318061bf47dfa58245689c8f8e905e14257ae28ef 3192 paramcoq_1.1.3+coq8.18-1build1.debian.tar.xz
 b70e86fb939e71a0db02fae3e34ee998d46351106eb1fc6eea2044c519f85611 6738 paramcoq_1.1.3+coq8.18-1build1_source.buildinfo
Files:
 87789d1af5f001aaadf66f0c6eda1b80 2226 ocaml optional paramcoq_1.1.3+coq8.18-1build1.dsc
 be6ea6d7012b0f4e7caeb597371220c2 3192 ocaml optional paramcoq_1.1.3+coq8.18-1build1.debian.tar.xz
 01f955ab63687118d0997bff2702c90c 6738 ocaml optional paramcoq_1.1.3+coq8.18-1build1_source.buildinfo
Original-Maintainer: Debian OCaml Maintainers <debian-ocaml-maint at lists.debian.org>