Format: 1.8
Date: Sun, 24 Mar 2024 00:14:19 +0000
Source: coq-menhirlib
Binary: libcoq-menhirlib
Built-For-Profiles: noudeb
Architecture: s390x
Version: 20231231+ds-1build1
Distribution: noble-proposed
Urgency: medium
Maintainer: Launchpad Build Daemon <buildd@bos02-s390x-003.buildd>
Changed-By: Steve Langasek <steve.langasek@ubuntu.com>
Description:
 libcoq-menhirlib - support library for Coq-verified Menhir parsers
Changes:
 coq-menhirlib (20231231+ds-1build1) noble; urgency=medium
 .
   * No-change rebuild for new libcoq-stdlib ABI
Checksums-Sha1:
 3ea27ee73d239c4d436d9b4c1068bad60e9965de 6700 coq-menhirlib_20231231+ds-1build1_s390x.buildinfo
 de019f3fdf0b964eeba0bd6097ed7b2ee9ba6fa5 1508804 libcoq-menhirlib_20231231+ds-1build1_s390x.deb
Checksums-Sha256:
 18a00f42d84f6277d13fbf89390c5f3666f25b1a9cb4da4443c3e52ffa5a6717 6700 coq-menhirlib_20231231+ds-1build1_s390x.buildinfo
 ad6ad433c7efdbc2cf69b874924b915bd0bb6da5fa122e989923b099ad73d194 1508804 libcoq-menhirlib_20231231+ds-1build1_s390x.deb
Files:
 467314f76b5335c8bfb66c27a36dfb88 6700 ocaml optional coq-menhirlib_20231231+ds-1build1_s390x.buildinfo
 4a2022efa5e197d0f87e4a7c8a0f66ba 1508804 ocaml optional libcoq-menhirlib_20231231+ds-1build1_s390x.deb
Original-Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>