Back to coq-menhirlib PTS page

Accepted coq-menhirlib 20230608+ds-2 (source) into unstable



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

Format: 1.8
Date: Thu, 21 Dec 2023 15:40:55 +0100
Source: coq-menhirlib
Architecture: source
Version: 20230608+ds-2
Distribution: unstable
Urgency: medium
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Changed-By: Julien Puydt <jpuydt@debian.org>
Closes: 1044951
Changes:
 coq-menhirlib (20230608+ds-2) unstable; urgency=medium
 .
   * Fix d/rules clean target (Closes: #1044951).
Checksums-Sha1:
 ee7f99a2120261032c187d105dfb34e340ba3290 2145 coq-menhirlib_20230608+ds-2.dsc
 1ec5a8422dedda68b7968217f6bfee3c90762798 1916 coq-menhirlib_20230608+ds-2.debian.tar.xz
 eadbf953e69fd385554e171dd98a0d7642f238b3 7872 coq-menhirlib_20230608+ds-2_source.buildinfo
Checksums-Sha256:
 9e708e3aaf67bf82dbbe0479a3889d1eb724d30cadfdbf5c2ca9cba1eae0ed95 2145 coq-menhirlib_20230608+ds-2.dsc
 f66590efdd811b1757ab1d510435fa44008a47873903e83d9d76907da0e77beb 1916 coq-menhirlib_20230608+ds-2.debian.tar.xz
 efcdc3d90fb91c33edff2e968ca68860e322162c796d058677c5ad1d17621e60 7872 coq-menhirlib_20230608+ds-2_source.buildinfo
Files:
 7a948e09e18bb962581b3fa0b15be8d2 2145 ocaml optional coq-menhirlib_20230608+ds-2.dsc
 1b7a355b2929e3ce1e108927d6d8a00a 1916 ocaml optional coq-menhirlib_20230608+ds-2.debian.tar.xz
 1364aaaf022cd3c613c9defeeb3714bd 7872 ocaml optional coq-menhirlib_20230608+ds-2_source.buildinfo

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

iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmWETpYSHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVRJu4P+QH9tHQWqnftgvft8DlfdHLeuN3k22bn
W9WJk4mxGVy7LdR49VT+g/Shh9c/d7E/ogB43fKZT1qFpCzeMg4RF2ez7hXwKgoN
kJwpzecdO4E0gdyjhhssbEz0aqHVRpPlkkG3snT0M1rShCaMlGcAED68gfCLVrjC
TWOKX8CL1vahtL8Uy+o7cGKPzbtGNAxn4UpJyoM3iBGcqD2ZqssW5aMuE5aVrlAH
Jy52vhYcOBcCWxuPhmDwv27Dbos7xjDf9ym8yTzNdjDTDiME22N3L28eeTYXAcHI
pzI0K2ej+Agz0+rtvyzGdzxWix7c0EAqV6VILvWqg8zuiMRDSFL3JjwjSTfKLI6v
Nd1yjY5AI0ASfzjcrRgZckwpLnhHyrhOiD7corP7bqRTbFlqjKWrQolZ4Hxo90Of
HWq0FaW7A/jRlkRdFOW2hkVooVb4jg26Qv01uDro5FTBYiiUnOerG8xcoYmTHlZl
Njyke3HoO8goQTOcA33GVjiGYtsFmWUMQ5yrHaQWOIbARV6ej4rjQnAE0SZ/1BoN
T2jutiDIJfc8ZaYnd4fc7kwYTr3CR4hubPyQXLQrGqjgaMwgfTtM6V4wR/skvSja
pzcnBsj6vTENiUj6zYcnBbe4lxdLKwGOnFachVrDx7/W+WdrIrY9LhKQT766UFir
3+jif/SvHyCP
=OWWW
-----END PGP SIGNATURE-----