Accepted coq-menhirlib 20230608+ds-1 (source) into unstable
- To: debian-devel-changes@lists.debian.org
- Subject: Accepted coq-menhirlib 20230608+ds-1 (source) into unstable
- From: Debian FTP Masters <ftpmaster@ftp-master.debian.org>
- Date: Mon, 26 Jun 2023 06:19:09 +0000
- Debian: DAK
- Debian-architecture: source
- Debian-archive-action: accept
- Debian-changes: coq-menhirlib_20230608+ds-1_source.changes
- Debian-source: coq-menhirlib
- Debian-suite: unstable
- Debian-version: 20230608+ds-1
- Dkim-signature: v=1; a=rsa-sha256; q=dns/txt; c=relaxed/relaxed; d=ftp-master.debian.org; s=smtpauto.fasolo; h=Date:Message-Id: Content-Transfer-Encoding:Content-Type:Subject:MIME-Version:To:Reply-To:From: Cc:Content-ID:Content-Description:In-Reply-To:References; bh=Rfn+54y1vqpESSmf007aIxqQfgdgvN+db2ebzFg6OAo=; b=RDUYBR+N1mxh1APeTUabWWRnTj Yb6ocCeDKSUwlDZdR7oaph8EpLG1BYWbaeacPaD8oi0T+osA5hOP9G3E0QDrRm605vPCYE0Pd/mZq QyNYChMDPgr7vtmlfR0hgm/khrkumriEl65ZOSc8V+uJniKBCBMxzFm7VvS7n2Pr8VXX0+W0cJPZz RhHy3lqD0A80OO13FbyG/DOsoGCf+FbcDjdEpY8dCn2CjRW+xP1ahT1NNo2nTi8+L1OH+WAMejMW2 hKo+5ISYca0yq5wpC8yYddWssL6wQUXacyjrVclxmHQ+gJwjZBpiZVJ3qXzxqtAVWWSxH1XODWwky JR2gOyhg==;
- Mail-followup-to: debian-devel@lists.debian.org
- Message-id: <E1qDfZ7-00DRlJ-EN@fasolo.debian.org>
- Reply-to: debian-devel@lists.debian.org
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512
Format: 1.8
Date: Mon, 26 Jun 2023 08:02:36 +0200
Source: coq-menhirlib
Architecture: source
Version: 20230608+ds-1
Distribution: unstable
Urgency: medium
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Changed-By: Julien Puydt <jpuydt@debian.org>
Changes:
coq-menhirlib (20230608+ds-1) unstable; urgency=medium
.
* New upstream release.
Checksums-Sha1:
63a80389bb91662b608402b21aa00a2b1ef96d6d 2145 coq-menhirlib_20230608+ds-1.dsc
9679d3337880b34ee7a9c010e32ee4dc62c68c3e 38088 coq-menhirlib_20230608+ds.orig.tar.xz
47cf1e85cca25e6cdfa43c2ab8cc996281a9d783 1808 coq-menhirlib_20230608+ds-1.debian.tar.xz
cfd557e6099709f43b1d468c2f660577e88116f5 7441 coq-menhirlib_20230608+ds-1_source.buildinfo
Checksums-Sha256:
476749fec788f8ce873401772a947ac98bad116204551ab44dcb1d6716479a8c 2145 coq-menhirlib_20230608+ds-1.dsc
0030704e098ac4639d2937d6979eff163d2a41db02d2c0cc4d023f160fce71e4 38088 coq-menhirlib_20230608+ds.orig.tar.xz
c02db324995e76210f8502e01caebbc077603e37cae74cb8ea0b7437603263a6 1808 coq-menhirlib_20230608+ds-1.debian.tar.xz
46aa14fbe4c95ef5adbd8fdc1567ccbeec59c50681fe08a91fd25240e48cfde7 7441 coq-menhirlib_20230608+ds-1_source.buildinfo
Files:
881710bc0c518b595633bb5d80296754 2145 ocaml optional coq-menhirlib_20230608+ds-1.dsc
0c6ea41f886c2228e3fcc3e331d94a7a 38088 ocaml optional coq-menhirlib_20230608+ds.orig.tar.xz
fb0bc96abd8cbec2d6794b3db6ff6102 1808 ocaml optional coq-menhirlib_20230608+ds-1.debian.tar.xz
9fb85574f0311e012f36bef5081a5190 7441 ocaml optional coq-menhirlib_20230608+ds-1_source.buildinfo
-----BEGIN PGP SIGNATURE-----
iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmSZKggSHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVRFCIP/3X92KZsTNPqHoGpSmC3LMz5N1EME+3Q
GqnacwyP5g9pKzJ6WLMJMKA16+Ul2PPoJDjEtMz+6se0ksofZKlJ2m8e924ATo3P
FkHS2WDDRilb1rOKjCfO/zTaIswvdUZeJLL8fidbvY9HK5YOiZo+WPs5Fj2G7Tqj
A1P11J63vVcW7oC1FKCmPUo+tC0bqlE5iNtN1Roa/OwfIaUvCzmh9jNf1m0wljae
aqVabvSJOBHOsfpiQixZ4Kw5Ab0/bYYOalPDuKYg5N3/gYS8Wo5vla34gzz5Xt6N
FysFb86QDWVW+aD3FQHM3H84TCVHLIRcviIePvzQ65NWHjA4W4ywriWb82/xUJgC
wUMkKMZx7LByzD7K/gpKC7kXsA5Io0mfVG6cejzr53uNDS8QLEomUlcqzJ6ayuiE
Mqk3GkZvWRyAfz9sx+aZ7lLnq2ZT/RqRdi3n+l5oDwm8lYRZmou1jrPZsw9a0Rej
WjpNlny4r/SzHX8fvl2ou7IzNrqHl6Do6QC6bUbd5wcuiQEB+DBMe6F/8zFvXS5j
oh/gliZ1ubn4uMP7z1/6eeHV9Pn3MmprZWrIsnzYn67j6G1+6pXse1q8C4NR2JrL
TOb4/vVsES3NI+8ymsqKLhy4gZ+On7rVQu8eMkgs7akuPeMLFvZ29tNXNWORFfgx
IOfhQvt2Wypx
=RnZt
-----END PGP SIGNATURE-----