Format: 1.8
Date: Sat, 25 Apr 2026 08:46:03 +0200
Source: coq-menhirlib
Binary: libcoq-menhirlib
Architecture: source amd64
Version: 20240715+ds-1+ocaml1
Distribution: unstable-ocaml
Urgency: medium
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Changed-By: Anonymous Builder <builder@example.org>
Description:
 libcoq-menhirlib - support library for Coq-verified Menhir parsers
Changes:
 coq-menhirlib (20240715+ds-1+ocaml1) unstable-ocaml; urgency=medium
 .
   * Rebuild for transition ocaml-5.4.1
Checksums-Sha1:
 402a389440be54f10b6e7a8c2909e608415b8678 1265 coq-menhirlib_20240715+ds-1+ocaml1.dsc
 b940a176cb2bbe1feee6a4839a5638e1c5ddb480 45112 coq-menhirlib_20240715+ds.orig.tar.xz
 ba0afd1709169ae6e3975b4c30d03f00f965de04 2200 coq-menhirlib_20240715+ds-1+ocaml1.debian.tar.xz
 ddcbb57b404dbe314797a26170e90845a0472351 6268 coq-menhirlib_20240715+ds-1+ocaml1_amd64.buildinfo
 2d628eb4a266a25b1bdf255f1481171a8de04dcb 1280580 libcoq-menhirlib_20240715+ds-1+ocaml1_amd64.deb
Checksums-Sha256:
 753f33fd27d9adde9497a179522be2ce5c44168894f38f56897687f1fe94f733 1265 coq-menhirlib_20240715+ds-1+ocaml1.dsc
 132fdb31ed6051a0e7d8fff6432f9d5e1ba38c88a55c9aed0e8d4ff142e3a716 45112 coq-menhirlib_20240715+ds.orig.tar.xz
 988aaa0120f3629f3c3eec53b8bf18d284896b7b03a0f165d022ab79b0e04a59 2200 coq-menhirlib_20240715+ds-1+ocaml1.debian.tar.xz
 593874934ded68043ca30f9a43dc1dd786461b583b50cc62fd0ae4cc90cc6014 6268 coq-menhirlib_20240715+ds-1+ocaml1_amd64.buildinfo
 6df76c3373db4b9c3a553a95b4edf43c74dead00f2e460c7f222a6070f737066 1280580 libcoq-menhirlib_20240715+ds-1+ocaml1_amd64.deb
Files:
 c4b674bab362a6434c18dd141f3923d6 1265 ocaml optional coq-menhirlib_20240715+ds-1+ocaml1.dsc
 8c093ba47caeffb5c00e22c8418e6edc 45112 ocaml optional coq-menhirlib_20240715+ds.orig.tar.xz
 cc2f46c5e8d58543bd381da9cf166044 2200 ocaml optional coq-menhirlib_20240715+ds-1+ocaml1.debian.tar.xz
 475ce0a3a5be737190051a8ac3b3763d 6268 ocaml optional coq-menhirlib_20240715+ds-1+ocaml1_amd64.buildinfo
 c53b44958810fefe41092ab711cdc0c3 1280580 ocaml optional libcoq-menhirlib_20240715+ds-1+ocaml1_amd64.deb