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-----
--==============48507405367638104=Content-Type: application/pgp-signature
-----BEGIN PGP SIGNATURE-----
iHUEABYIAB0WIQTziqJOuF8J+ZI8pJSb9qggYcy5IQUCZq79zQAKCRCb9qggYcy5 IetnAP4uf1M1qAJ76r7gqo5ChNVkdrLaQ8GTmw1c2AKVnXKV6gEAu6ImFKLj2eXD ScYY1r9gNND6jcDQq0aIh2fALqpZlQE=UmO9
-----END PGP SIGNATURE-----
--- SoupGate-Win32 v1.05
* Origin: fsxNet Usenet Gateway (21:1/5)