From foo@bar  Sun Jul 26 00:20:02 2026
Format: 1.8
Date: Wed, 20 Nov 2024 10:47:03 +0100
Source: coq-menhirlib
Binary: libcoq-menhirlib
Architecture: powerpc
Version: 20240715+ds-1
Distribution: sid
Urgency: medium
Maintainer: ppc64 / powerpc Build Daemon (debian-project-be-1) <debian-project-be-1@debian-project-be-1.buildd.org>
Changed-By: Julien Puydt <jpuydt@debian.org>
Description:
 libcoq-menhirlib - support library for Coq-verified Menhir parsers
Changes:
 coq-menhirlib (20240715+ds-1) unstable; urgency=medium
 .
   * New upstream release.
Checksums-Sha1:
 c5b1e7efc8698258283527573ed778ecf67baee2 6655 coq-menhirlib_20240715+ds-1_powerpc.buildinfo
 debf25ed086ec6d5bd47e2f691a4fb9bef21b751 916348 libcoq-menhirlib_20240715+ds-1_powerpc.deb
Checksums-Sha256:
 2b451ae84e91fe3f2a45711c72c3bb9be681163dc5d86aac4527bbe5ca31bb58 6655 coq-menhirlib_20240715+ds-1_powerpc.buildinfo
 ae60c445540965a9421c3420867d5dac548075ef3f37608154577e503a54baa6 916348 libcoq-menhirlib_20240715+ds-1_powerpc.deb
Files:
 98a703e3fb3a759e7948c56eb5e47c68 6655 ocaml optional coq-menhirlib_20240715+ds-1_powerpc.buildinfo
 10ca29da7a5dc8b8de37072c1ab2a077 916348 ocaml optional libcoq-menhirlib_20240715+ds-1_powerpc.deb
Signed-By: Debian buildd autosigning key for debian-project-be-1 <buildd_ppc64-debian-project-be-1@buildd.debian.org>