Thank you for your contribution to Debian. Accepted: -----BEGIN PGP SIGNED MESSAGE----- Hash: SHA512 Format: 1.8 Date: Sun, 04 Aug 2024 05:36:51 +0200 Source: coq-reduction-effects Architecture: source Version: 0.1.5-5 Distribution: unstable Urgency: medium Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org> Changed-By: Stéphane Glondu <glondu@debian.org> Changes: coq-reduction-effects (0.1.5-5) unstable; urgency=medium . * Team upload * Do not hardcode /usr/lib/ocaml Checksums-Sha1: da90a4aa141f6263742dd087cb1d2dccf8a6cdd3 1995 coq-reduction-effects_0.1.5-5.dsc c046db815eda0522362b96f0b542c73678317536 1876 coq-reduction-effects_0.1.5-5.debian.tar.xz Checksums-Sha256: dd1ead64929e391817602238ffdcab3af8b435186d140fed3fdd33101835469b 1995 coq-reduction-effects_0.1.5-5.dsc 93411757f46e1eba0c8ccdfed8f83b6607d23b4de5155c4f0c23b266fa1275f7 1876 coq-reduction-effects_0.1.5-5.debian.tar.xz Files: bc9e5281b8944c251856f775fa5c85aa 1995 ocaml optional coq-reduction-effects_0.1.5-5.dsc e87c3fbe873937f12f2281fbae6a244a 1876 ocaml optional coq-reduction-effects_0.1.5-5.debian.tar.xz -----BEGIN PGP SIGNATURE----- iQFGBAEBCgAwFiEEbeJOl+yohsxW5iUOIbju8bGJMIEFAmau+H0SHGdsb25kdUBk ZWJpYW4ub3JnAAoJECG47vGxiTCBRfQIAKMWE4oDUla1nFE56w/l9UjcmGbWZBmG dCkVRvpWbnnHop9htJ30cbUZPpM+Y2tzt0Y1dGl3pcGKPelRxgTKOPglm18uKJRW DmTuZ00c6j0Val6UlQuwGjzV3Vo9ZQZniUyDWyUzw2XwFlNGei/rtXl41IRYqVdW 1uBU9owfs5xe6I1PeOCRwSOnDTkx+Vh1pnl8pr2LvDzBWHtna0DCWdjG7aNzCiHV kvtcBmw4skYQGO79GaqjrS4bKfRRlATN9Dt+GFoQFrrlVRofTQ6SwoIKGZyQEsLG zghPpyPNzAShdvdhrT9nuHSyZ+SRnJuwyQXIp4PtRUFv+kSn+/5mRbM= =lC1Y -----END PGP SIGNATURE-----
Attachment:
pgp_OStFpB9JY.pgp
Description: PGP signature