From 407525b571b48cfd65e1ad7a02d250a927c967c9 Mon Sep 17 00:00:00 2001 From: V3n3RiX Date: Fri, 1 Dec 2017 03:04:39 +0000 Subject: gentoo resync : 01.12.2017 --- dev-lang/polyml/Manifest | 2 +- dev-lang/polyml/metadata.xml | 7 +++---- 2 files changed, 4 insertions(+), 5 deletions(-) (limited to 'dev-lang/polyml') diff --git a/dev-lang/polyml/Manifest b/dev-lang/polyml/Manifest index 0a2dae8a8ec2..23960b439b47 100644 --- a/dev-lang/polyml/Manifest +++ b/dev-lang/polyml/Manifest @@ -19,4 +19,4 @@ EBUILD polyml-5.5.0.ebuild 1120 BLAKE2B c03cc39ed2ae362e251b2659d652cab65fbdf114 EBUILD polyml-5.5.1.ebuild 1805 BLAKE2B 09b450e7ab8b6198a851bf37c6402e54f242a01583ae110b09caf82a33960830404d9287e30819d1b94e8648bd05342da82fa715ef52e813c14915fe099f2165 SHA512 da0057b1a59f8ae20be68e6ee4735b8ee5d737e3b7a6ba5ca0ac414a04bb7f869a95b5149dee00f9a1b1989d1cd3f6f444f9ba6db2bf77cf2ddcc2cbcd7ae088 EBUILD polyml-5.5.2.ebuild 1962 BLAKE2B 11ce53be86601a7b7ffa094d21e9b7ddad1e4d3880aeb368d6902f2f26b597f373fdd653bc943c90a68d86edb77d79d7976305eb79296d3cc9816e9a2383650d SHA512 49ac070096e8401b028ebb2b66141d85520349192f74666050941d0be984974c5797c93ebd9410e233cbb6a9fe700f454f0ea86688250c9f1de6015f8c00dead EBUILD polyml-5.6.ebuild 1102 BLAKE2B c34618aabdbb731f98ca08430615a3f264b02c2f123eecfb0252d7f2c25a0c836acfe0e6ef8eeb83e577c45c9d7e104e6559b65b076e7365de9de965ded6f6d1 SHA512 90a5a0083b803d9c8c353d5609c7274ae736d203d3515e506dfb5ca68c5237135807de4527d83528ed81d55bcb734a0dab2a262b0de00ad354d60772ef9eb424 -MISC metadata.xml 562 BLAKE2B e13b3c4c6eef792e80c783371f59f5f6114e3d3105adfbed32e3d03465a36cf98777bc9a89677b96611c543d23720f577899b45e76926821af86af0903b8a505 SHA512 d6cd496acc03dbcca4b50f5cc49bec9818764dc2aca36ab83eb4b82102fda5c562d8a73eb83e400eb254bb2c7db1a1a68453cfbe655d780ed67a149712a74038 +MISC metadata.xml 562 BLAKE2B d0e0542c0805b1d57891bb765ac23cb32f2b37b07ba3986730adc7dc1b720203065483c090fdc8919a1ee2dce965a26d0f570af29f54e0ec7c0acd8ff43e4441 SHA512 be1481ffb11ab311905e734a6eb02883ff25f08d4698ed6dcab4ab76a380ff4eec19eed4db76f77f7ec9a0dc635887e3b7c89a8a153160fd91ab2a8cdec2dbe9 diff --git a/dev-lang/polyml/metadata.xml b/dev-lang/polyml/metadata.xml index e5460b6ae6dc..bdeea6761bc4 100644 --- a/dev-lang/polyml/metadata.xml +++ b/dev-lang/polyml/metadata.xml @@ -6,11 +6,10 @@ Gentoo ML Project -Poly/ML is a full implementation of Standard ML available as open-source. - + Poly/ML is a full implementation of Standard ML available as open-source. + - Build the portable interpreter version of Poly/ML - instead of native. + Build the portable interpreter version of Poly/ML instead of native polyml -- cgit v1.2.3