[ubuntu/plucky-proposed] coq-ext-lib 0.13.0-1build3 (Accepted)

[Matthias Klose]

coq-ext-lib (0.13.0-1build3) plucky; urgency=medium

  * No-change rebuild for coq ABI changes.

Date: Tue, 18 Feb 2025 21:04:35 +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-ext-lib/0.13.0-1build3
-------------- next part --------------
Format: 1.8
Date: Tue, 18 Feb 2025 21:04:35 +0100
Source: coq-ext-lib
Built-For-Profiles: noudeb
Architecture: source
Version: 0.13.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-ext-lib (0.13.0-1build3) plucky; urgency=medium
 .
   * No-change rebuild for coq ABI changes.
Checksums-Sha1:
 7c8e281377d1759c80e4b5a72a811b6deffe7d5c 2088 coq-ext-lib_0.13.0-1build3.dsc
 f1d8b033b425d821b9998ae015bf6d9f2dbc6b7a 2540 coq-ext-lib_0.13.0-1build3.debian.tar.xz
 5b662b3f4ebf61b47704f39be42e393cd497112e 3835 coq-ext-lib_0.13.0-1build3_source.buildinfo
Checksums-Sha256:
 d52844a83928483407a88ebe0803f4a1e05d0ea73ee913cf63e61fb3c2964c49 2088 coq-ext-lib_0.13.0-1build3.dsc
 7f29c155e33d4e8df76c341fd1c0148933b60f3c9ea79206d407aeba650e5c61 2540 coq-ext-lib_0.13.0-1build3.debian.tar.xz
 a6e13488c5178f866a5451d22ff178fd3901c41a4e8fd589f7f43e46cf015b5a 3835 coq-ext-lib_0.13.0-1build3_source.buildinfo
Files:
 9e0003c57f60b635a6ddc3d27eccd448 2088 ocaml optional coq-ext-lib_0.13.0-1build3.dsc
 4b398d41fc15bd9b303aaed93f9d3bd6 2540 ocaml optional coq-ext-lib_0.13.0-1build3.debian.tar.xz
 f9ff75eee96380f8e6e0898cd67b8df9 3835 ocaml optional coq-ext-lib_0.13.0-1build3_source.buildinfo