Thank you for your contribution to Debian.
Accepted:
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512
Format: 1.8
Date: Thu, 29 Aug 2024 18:03:23 +0200
Source: ocaml
Architecture: source
Version: 5.2.0-3
Distribution: unstable
Urgency: medium
Maintainer: Debian OCaml Maintainers <
[email protected]> Changed-By: Stéphane Glondu <
[email protected]>
Closes: 1078549
Changes:
ocaml (5.2.0-3) unstable; urgency=medium
.
* Import upstream patch to fix coq-elpi ppc64el failure (Closes:
#1078549)
Checksums-Sha1:
8191f3870a88a70827cd087d7e6f496706931815 2493 ocaml_5.2.0-3.dsc
0fd8bf84294ada55a098687ea04dbf648cee500a 41784 ocaml_5.2.0-3.debian.tar.xz Checksums-Sha256:
b23a2d433f1125facabf37e93b735b933079335d27d574d996c3cff27b1939d1 2493 ocaml_5.2.0-3.dsc
dc2518477c785f2a8a35c0ecaf0f196051b1cd5852a79ef9f2fca537299e1195 41784 ocaml_5.2.0-3.debian.tar.xz
Files:
6a1238160d034a66fbc88035dd55d611 2493 ocaml optional ocaml_5.2.0-3.dsc
c96ebf76b2911bb7e036d1482a2d1f43 41784 ocaml optional ocaml_5.2.0-3.debian.tar.xz
-----BEGIN PGP SIGNATURE-----
iQFGBAEBCgAwFiEEbeJOl+yohsxW5iUOIbju8bGJMIEFAmbQnCASHGdsb25kdUBk ZWJpYW4ub3JnAAoJECG47vGxiTCBX88H/RoagGI4vIYUgPaXyZmg69nRN3MMXb/5 KBbCPgCIIBNs9EQLB79ZdDlTeLdDbc4hKSa9ePwxt5DHbO6+HVcIp+10Yb7pdIeR BRUI8LgeL8Lab6xlK9XLlV2i4MwEWjV6EjbWxoFW3Oct5fGuy9+I0+QDD3DtOg7s 5Y+tmFZhTA33xh5Z+pXJCryd6qpK7DWqzzELsxPwRm/5R9QHUlORwxQSyjHp1jis EJiVcw2a6RP4UDTRTca4vOBe40r2vg7xSqcutTf/hWxiZO+MJdFAzvITv5EsmF30 qEav9tccWBhGPoqRNzJdJe39VmYXNIvGwGzc1KIB5XpLgJUfKyqWslQ=
=f5W7
-----END PGP SIGNATURE-----
--==============i72318111007403394=Content-Type: application/pgp-signature
-----BEGIN PGP SIGNATURE-----
iHUEABYIAB0WIQTziqJOuF8J+ZI8pJSb9qggYcy5IQUCZtCfrAAKCRCb9qggYcy5 IYfTAQDj1Qfm0QYTImOgb8JwFsOWoKweFUgoZfkFHqFXF8v5fwEAhGjq9UUCWwyc 2W2nDTooe2+3EbgAetzqAlP+2gecjwM=/rBF
-----END PGP SIGNATURE-----
--- SoupGate-Win32 v1.05
* Origin: fsxNet Usenet Gateway (21:1/5)