[ubuntu/plucky-proposed] coq-serapi 8.20.0+0.20.0-1build3 (Accepted)

[Matthias Klose]

coq-serapi (8.20.0+0.20.0-1build3) plucky; urgency=medium

  * No-change rebuild for coq ABI changes.

Date: Tue, 18 Feb 2025 21:04:37 +0100
Changed-By: Matthias Klose <doko at ubuntu.com>
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint at lists.debian.org>
https://launchpad.net/ubuntu/+source/coq-serapi/8.20.0+0.20.0-1build3
-------------- next part --------------
Format: 1.8
Date: Tue, 18 Feb 2025 21:04:37 +0100
Source: coq-serapi
Built-For-Profiles: noudeb
Architecture: source
Version: 8.20.0+0.20.0-1build3
Distribution: plucky
Urgency: medium
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint at lists.debian.org>
Changed-By: Matthias Klose <doko at ubuntu.com>
Changes:
 coq-serapi (8.20.0+0.20.0-1build3) plucky; urgency=medium
 .
   * No-change rebuild for coq ABI changes.
Checksums-Sha1:
 b5181bf5241d831af6b1e53420c635ae9af7f271 2489 coq-serapi_8.20.0+0.20.0-1build3.dsc
 3943c6c4a66b29507fbca234ab040dfe75be5e9c 9212 coq-serapi_8.20.0+0.20.0-1build3.debian.tar.xz
 d1539f3cafbcbdaf313dfd5752983d92ea4454be 3859 coq-serapi_8.20.0+0.20.0-1build3_source.buildinfo
Checksums-Sha256:
 9c680dddd0ba661d5e4a7f0e9397ba82c1d89185b0c2a21a0a58e425636f40fb 2489 coq-serapi_8.20.0+0.20.0-1build3.dsc
 a6e2620e75228a9560bde1a937a86542d18c30e3a4eb50fcb1bf1ee6ea1971ac 9212 coq-serapi_8.20.0+0.20.0-1build3.debian.tar.xz
 ba11604b54407e8589fc95b1351024bb7d83a5f90b68fb0de781c9d9bf133520 3859 coq-serapi_8.20.0+0.20.0-1build3_source.buildinfo
Files:
 c7148efe18088566e8beabf32c9340f2 2489 ocaml optional coq-serapi_8.20.0+0.20.0-1build3.dsc
 c3d59ff06487228ac2bbbc755ad1e0ce 9212 ocaml optional coq-serapi_8.20.0+0.20.0-1build3.debian.tar.xz
 0c1a4bb9b58cf4d26b72d309f0720845 3859 ocaml optional coq-serapi_8.20.0+0.20.0-1build3_source.buildinfo