-----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-----
