[ubuntu/resolute-proposed] coq-menhirlib 20240715+ds-1build8 (Accepted)

[Sebastien Bacher]

coq-menhirlib (20240715+ds-1build8) resolute; urgency=medium

  * No change rebuild with fixed amd64v3 builders

Date: Tue, 03 Mar 2026 20:35:28 +0100
Changed-By: Sebastien Bacher <seb128 at ubuntu.com>
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint at lists.debian.org>
https://launchpad.net/ubuntu/+source/coq-menhirlib/20240715+ds-1build8
-------------- next part --------------
Format: 1.8
Date: Tue, 03 Mar 2026 20:35:28 +0100
Source: coq-menhirlib
Built-For-Profiles: noudeb
Architecture: source
Version: 20240715+ds-1build8
Distribution: resolute
Urgency: medium
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint at lists.debian.org>
Changed-By: Sebastien Bacher <seb128 at ubuntu.com>
Changes:
 coq-menhirlib (20240715+ds-1build8) resolute; urgency=medium
 .
   * No change rebuild with fixed amd64v3 builders
Checksums-Sha1:
 8d75169f6c7716810b58e655cd3e488cdcbd63c0 2144 coq-menhirlib_20240715+ds-1build8.dsc
 64a656cc07825f650f15a91d0875287ba99e9ced 2420 coq-menhirlib_20240715+ds-1build8.debian.tar.xz
 75626cd24b662716490bdbb6d53da2df1ed4a057 8274 coq-menhirlib_20240715+ds-1build8_source.buildinfo
Checksums-Sha256:
 d937f6878e25a3671d108c305e4ab7b1dcd3d816cf90ad7cdc0b87c7590b733f 2144 coq-menhirlib_20240715+ds-1build8.dsc
 ca230e464459dd86f0282b66da86629c78760e398f010a1ffb4de91236f78d7d 2420 coq-menhirlib_20240715+ds-1build8.debian.tar.xz
 ee1844f8917c62f05515e615345a7794fc15cdd24dbd2c6244a77a1585bb52fc 8274 coq-menhirlib_20240715+ds-1build8_source.buildinfo
Files:
 6431d31318cd740ece7c57169f8f9a3c 2144 ocaml optional coq-menhirlib_20240715+ds-1build8.dsc
 189cd4d12fd608fd2260ee50ade2d676 2420 ocaml optional coq-menhirlib_20240715+ds-1build8.debian.tar.xz
 5b5a3fa57f9236227a278ce3093bacfe 8274 ocaml optional coq-menhirlib_20240715+ds-1build8_source.buildinfo