[ubuntu/plucky-proposed] coq-menhirlib 20240715+ds-1build4 (Accepted)

[Matthias Klose]

coq-menhirlib (20240715+ds-1build4) plucky; urgency=medium

  * No-change rebuild for coq ABI changes.

Date: Tue, 18 Feb 2025 21:04:16 +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-menhirlib/20240715+ds-1build4
-------------- next part --------------
Format: 1.8
Date: Tue, 18 Feb 2025 21:04:16 +0100
Source: coq-menhirlib
Built-For-Profiles: noudeb
Architecture: source
Version: 20240715+ds-1build4
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-menhirlib (20240715+ds-1build4) plucky; urgency=medium
 .
   * No-change rebuild for coq ABI changes.
Checksums-Sha1:
 b7715b3f4791c0807bcbf7d47dd5d698de311ecc 2144 coq-menhirlib_20240715+ds-1build4.dsc
 4a420d4b2c214f101181b2e95d4ede49770e381c 2312 coq-menhirlib_20240715+ds-1build4.debian.tar.xz
 66963915c85401ebe64ed1424620be8613688a05 3863 coq-menhirlib_20240715+ds-1build4_source.buildinfo
Checksums-Sha256:
 da9b7f7a6f9e687daa97404357797574b0e1c9decacb3afea24c14798caf9592 2144 coq-menhirlib_20240715+ds-1build4.dsc
 28076372572a73016c6dc7564cfc09b0c33433ee4c602cbea5b426c44b6a4c6d 2312 coq-menhirlib_20240715+ds-1build4.debian.tar.xz
 e16015b690875734951ae35cae41d0cd2bffb6dc0ab73dfbe62a4c15829c7148 3863 coq-menhirlib_20240715+ds-1build4_source.buildinfo
Files:
 39c0bba08b3113ab28e17786819221b7 2144 ocaml optional coq-menhirlib_20240715+ds-1build4.dsc
 05d2aca6c836bcb7654b2102ff5e9a16 2312 ocaml optional coq-menhirlib_20240715+ds-1build4.debian.tar.xz
 0173093d8741993b07f45c07060fbb69 3863 ocaml optional coq-menhirlib_20240715+ds-1build4_source.buildinfo