Back to coq-menhirlib PTS page

Accepted coq-menhirlib 20220210+ds-5 (source) into unstable



-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512

Format: 1.8
Date: Mon, 12 Jun 2023 19:32:27 +0200
Source: coq-menhirlib
Architecture: source
Version: 20220210+ds-5
Distribution: unstable
Urgency: medium
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Changed-By: Julien Puydt <jpuydt@debian.org>
Changes:
 coq-menhirlib (20220210+ds-5) unstable; urgency=medium
 .
   * Bump standards-version to 4.6.2.
Checksums-Sha1:
 a7808add013b6407938e6aa4b37ac3ff07c83665 2145 coq-menhirlib_20220210+ds-5.dsc
 d0415378fbae82cfe185b0e58b1549a6136278d1 1780 coq-menhirlib_20220210+ds-5.debian.tar.xz
 f654a678109e5364fe3c62cd5fe8a3513e4c48e5 7371 coq-menhirlib_20220210+ds-5_source.buildinfo
Checksums-Sha256:
 cc3ed743bd51ecbcd3e4530d851878723a76d91e40f9958bff08bdd3b64bda91 2145 coq-menhirlib_20220210+ds-5.dsc
 375ab9812dc9633251cc71cf886524cfe7274470eacf1ec4f9c54ed24633c29c 1780 coq-menhirlib_20220210+ds-5.debian.tar.xz
 2e1552d13080409a51a8a1de9c2ca745bf160ca7d599756c068ae4a0fb1b8f47 7371 coq-menhirlib_20220210+ds-5_source.buildinfo
Files:
 f14a9f61823bb9209fd76229d7fc1165 2145 ocaml optional coq-menhirlib_20220210+ds-5.dsc
 74dc0ce82897bd48560828b4b825738a 1780 ocaml optional coq-menhirlib_20220210+ds-5.debian.tar.xz
 daaf725c07a7a847c931ec2af4f1227e 7371 ocaml optional coq-menhirlib_20220210+ds-5_source.buildinfo

-----BEGIN PGP SIGNATURE-----

iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmSHVrISHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVRiJkP/jgIgUJ0hej1pMbEz3FudN0MXV2AYmXL
swytnoarDU4RTpWuItzmyGjp6pCK3k50rOvMzVlRyWjSShzs0jUbZhtDiEyw70Ar
u/5p5q5eSruxUGH8O8c77AGUfLHtj9OMj6c3c0TdllpUutRkmjSqw8lmGBZIuPna
oLG7Ch9ixhalZ0hhhvaSjTTkpQprYKMcFbkAvHD0sk906Vkktqzy2x0Lx+GBVCPr
MQF1Plq8eoLPvtCI/sKR7Rk/zKSnzKioC6mCNhdsiL2hbLrUKPonBEcN9aiKhqCe
BbQjo1dk+eIM3Hj1Bg8bMplW9TKV0AVqpq0I7Raj375Ek+gOTNtK4hdq1t/94o9S
VchVzzUCeFysHK1kTMXz5WqKxfolxq++iTCq6Z9dqPpDlcTp2TJh3xN3dd3Zktwk
wKyyuxq9+sHA/EgP3glxYvhfYvU2MbDrHWhHFVwf6OoTm6PtdSxzX0/MFkd+z4mE
bztyp5sgzfsniuj5+NCIl+jnTLnYbvpVIyjj1N4qa/i/0X7BUNJtrJYEe/lGTssU
UDodaDNycAnzhpNSyW/TuTim7J6owv0Vl7P+V17kVUnCq4w9I9wBim+uRi80mXV0
tmN7prHLNzFPUDbJyS3yrng/WQnvQ0Pev31dJWr9h1TbNqnO5bt4Wg2V/vc0uhNg
cuWwxrsXNXTI
=oq3L
-----END PGP SIGNATURE-----