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 <debian-ocaml-maint@lists.debian.org>
Changed-By: Stéphane Glondu <glondu@debian.org>
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-----
Attachment:
pgpJFC6DnUpHJ.pgp
Description: PGP signature