summaryrefslogtreecommitdiff
path: root/dev-lang/polyml
diff options
context:
space:
mode:
authorV3n3RiX <venerix@redcorelinux.org>2017-12-01 03:04:39 +0000
committerV3n3RiX <venerix@redcorelinux.org>2017-12-01 03:04:39 +0000
commit407525b571b48cfd65e1ad7a02d250a927c967c9 (patch)
tree844bea44d85dc7218f54970af1c42cc9d55c3f1a /dev-lang/polyml
parent89c6c06b8c42107dd231687a1012354e7d3039fc (diff)
gentoo resync : 01.12.2017
Diffstat (limited to 'dev-lang/polyml')
-rw-r--r--dev-lang/polyml/Manifest2
-rw-r--r--dev-lang/polyml/metadata.xml7
2 files changed, 4 insertions, 5 deletions
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 @@
<name>Gentoo ML Project</name>
</maintainer>
<longdescription lang="en">
-Poly/ML is a full implementation of Standard ML available as open-source.
-</longdescription>
+ Poly/ML is a full implementation of Standard ML available as open-source.
+ </longdescription>
<use>
- <flag name="portable">Build the portable interpreter version of Poly/ML
- instead of native.</flag>
+ <flag name="portable">Build the portable interpreter version of Poly/ML instead of native</flag>
</use>
<upstream>
<remote-id type="sourceforge">polyml</remote-id>