summaryrefslogtreecommitdiff
path: root/dev-lang
diff options
context:
space:
mode:
Diffstat (limited to 'dev-lang')
-rw-r--r--dev-lang/Manifest.gzbin21868 -> 21869 bytes
-rw-r--r--dev-lang/boogie/Manifest4
-rw-r--r--dev-lang/boogie/boogie-3.1.1.ebuild (renamed from dev-lang/boogie/boogie-3.1.0.ebuild)0
-rw-r--r--dev-lang/luau/Manifest2
-rw-r--r--dev-lang/luau/luau-0.607.ebuild36
5 files changed, 2 insertions, 40 deletions
diff --git a/dev-lang/Manifest.gz b/dev-lang/Manifest.gz
index 0199f845be73..73e3980f3332 100644
--- a/dev-lang/Manifest.gz
+++ b/dev-lang/Manifest.gz
Binary files differ
diff --git a/dev-lang/boogie/Manifest b/dev-lang/boogie/Manifest
index 04ec2223c1ea..c0d00a672f5c 100644
--- a/dev-lang/boogie/Manifest
+++ b/dev-lang/boogie/Manifest
@@ -2,7 +2,7 @@ AUX boogie-3.0.4-disable-analyzers.patch 764 BLAKE2B 965f6a8007a4324aa95b165109d
DIST boogie-3.0.10.tar.gz 2045614 BLAKE2B 47b709a9842055f489ddab50d1661c4abe5d5c72c3b968c80d4895797409cbb1b480d18ca514da4eb66797706213310baf284e2ad736714defcd03baff1bfc60 SHA512 7ab6c99cbb9e737208519fa86f87f942d4d898adb0ee1f08978e6ae59fd0be0b7cb0eb8e288ad787cf7d851920830f16bfac4881ea0c37af872f5e4a74a1f5fe
DIST boogie-3.0.11.tar.gz 2044740 BLAKE2B b8c1cde7ad4b10deabb9ca9edbf226f580512a3817e9a19a947c7bd5d26808c08e907237aad2209ec06e645fa7ef40c8d73fec812437585b27adf4e125d5b1a0 SHA512 fe59fb1ed2708a5d988a569dd14148e308966ca6382da8502a2c679d67121b39f60e03e9ed6f7efa80c079c818db008c99e1f5e6bc28ba617fe33ae6289c2cce
DIST boogie-3.0.12.tar.gz 2044818 BLAKE2B 0d11cb1288933b1046b46ea3b93336fe08b9897a4aaf42228971e280be2c648b2110d20aaf6533e6d95e51b0a86c1fe507da05eaa908dc0ed885192e9480d0e7 SHA512 e2c1d4faad1bb448dd3cd9f6dbd4c70fa913584ef1bedd4938298498850bc6a0b6017924a55d9b48c82189253c2ac8c84a2564afa2d9b237434ad40ea286fbec
-DIST boogie-3.1.0.tar.gz 2038681 BLAKE2B ce905555bd23ca8cee84c83715d7998591dcd065f952c33570f72506c602a0ae99e50741a803d396416d6998620e74140f83a0af471438bf0059fbe17750fc34 SHA512 735ed0cbcace50389aa3060cdddf2ff942a8550f96e063e5be0d124993e0484112cc36535e2c0daae04be1118fb2e400676b80732484308aacbdb6409e7621ea
+DIST boogie-3.1.1.tar.gz 2038688 BLAKE2B ea720665dd9d830de0639b3b2fe08c452e80375e98b8ff9ced473c4beb540a2cb3908415bfbb1582edac9043c17dcbfc014d2dd1dcc3ce0877db436c13a639bd SHA512 704990ebd9b55e4f617249a5e2b4c74a615c61a51da41485eddd8c1b8159f16afd5da13e93f684a97d87c2e1273549977e04180423909c22b026e975d07a0ceb
DIST microsoft.bcl.asyncinterfaces.6.0.0.nupkg 76354 BLAKE2B aca3f5db71e4037dbdd604aeaebcd0962ccc171915b77b4c409ab744bf0a469c7d588f9504fc7fa49e3863e9593b66b4083235cb49e812d1f87b3dadb32e6003 SHA512 221a05a0c910f7a87b620d8f3831ed392b4eb95d112bee274d35f27009ad2a26445de9d7cd235fe6fb4a03f2550874bda3be3dddd96edaf9c0852a9c23d7b099
DIST microsoft.codecoverage.16.2.0.nupkg 3133582 BLAKE2B 418cf403247d594cde0d827f8ca8690019a7631525f07993937085f4bbf8473364b4c99aea6e8b7b0020208d15fe0da63f0f4e69c273493c51ae011e8bd82667 SHA512 91f1d43fc038a20f5367d9aab669105dc7514dfbe749260b52789c09a75abcc6bdc000ee0c7f432231d4cc09e99bf5b863dd6289d813342f74d9dad23a651625
DIST microsoft.csharp.4.0.1.nupkg 462346 BLAKE2B 209ccebc9103b803d26ea1f0232245c3cd231078b03a83a0011a2a79a1a8a324a72c5b3fda94b2686fff170932f366e165f81a36a70df590a39c45d70778e4be SHA512 c0e75a9162f28ba4c4572c8fac4fd4c8c97d6d3505a37683646ba5f7e5f6ac0da69d5200d2646054de90e8e08f893a10e514591b69b8273640842b2cf90bddec
@@ -196,5 +196,5 @@ DIST system.xml.xpath.xmldocument.4.3.0.nupkg 138523 BLAKE2B ba53f3b5ac0f2d1d1e9
EBUILD boogie-3.0.10.ebuild 9279 BLAKE2B c73132b332073380835a6eda81651ec3d67a84e7a0d639bf9c98afd78260cfce67f80a5a51bb19d755ba686e61cccb750c75c0cb0cc474b5e8d5539a806270ce SHA512 b06881e8780928c9c388cb585045d30a44748fba974f6747bc80fe21cd390a41f476a791b07d450146a66aa03bdcf66b3a0cc59025f3cf327ab4e06e0e03f43b
EBUILD boogie-3.0.11.ebuild 9258 BLAKE2B db8f9164f461500832f944480307fd8502077377f2fde0a1b97f2156451b7423543ea8922c56c19730f1422e628bd76a191aafa9805dbdf29469eec7edaeb940 SHA512 e2eeb3cd484ac7cfea57cdf274731ecbfb0f06d7ac9b684ca4bd91873338230e632e94bbc52e1f0e7e1718676ef88b2d7490512869db99adbbfbddcce1c139e0
EBUILD boogie-3.0.12.ebuild 9144 BLAKE2B d73d45ef2a1ea2b1268e890c9042c070643369e8db7e77a0bd62ec9048eb5928a4f7c2eb8086614330da4a15c634376c1df761beb3af5aaf9c27dcbb68e1b267 SHA512 35a535086472d7e585ac021172dc8f2f192181b6cf07ec7bbe72ceb6a3a90e7a6dfa495a213a80b1fcf4e2bd147cf8bd9287cb5ad5e69bbca4ec406fa21dd1cb
-EBUILD boogie-3.1.0.ebuild 9097 BLAKE2B ab846dc8d1207491d22765745f9cb93cd41fe2d864a9ecf67ce091a3dcdf5b7e48b687574f30598ef713a821eeea385979981e40941ac446997c991bd110c1b0 SHA512 f844a8ff192a1c86509d05626e4054be6052206f26ae81436f6a20e421700768c1886e7d15d5d8fc9ae74fa66e72430df67f1251dab6a9e1c3bcb77c0cb81ee0
+EBUILD boogie-3.1.1.ebuild 9097 BLAKE2B ab846dc8d1207491d22765745f9cb93cd41fe2d864a9ecf67ce091a3dcdf5b7e48b687574f30598ef713a821eeea385979981e40941ac446997c991bd110c1b0 SHA512 f844a8ff192a1c86509d05626e4054be6052206f26ae81436f6a20e421700768c1886e7d15d5d8fc9ae74fa66e72430df67f1251dab6a9e1c3bcb77c0cb81ee0
MISC metadata.xml 1102 BLAKE2B 215544658792715aae72787f7c949ed89df9c05ceab5a919a861c02b7938c0d1ee228e0ede55008287b616faf70992a8c1f2854e6e5e1fc909718ae682996bb8 SHA512 b6a626c485e2a5db3390da62c629507a60417eda8b508d7ed8d1c017ac337743d2c4fe0e8554b103f989176dcd2969cc8579e91532b07a22c1b66328ef241e8d
diff --git a/dev-lang/boogie/boogie-3.1.0.ebuild b/dev-lang/boogie/boogie-3.1.1.ebuild
index 412d21a3c9d6..412d21a3c9d6 100644
--- a/dev-lang/boogie/boogie-3.1.0.ebuild
+++ b/dev-lang/boogie/boogie-3.1.1.ebuild
diff --git a/dev-lang/luau/Manifest b/dev-lang/luau/Manifest
index 78488e55cedf..dbf248500242 100644
--- a/dev-lang/luau/Manifest
+++ b/dev-lang/luau/Manifest
@@ -1,8 +1,6 @@
-DIST luau-0.607.tar.gz 1587462 BLAKE2B 9aad6f6aeb2ddd8b1bb3b4ff1324e8f8f18fd530ae86e33c593f0349cd8ac743f41eca7f1dc7c231d0a6bfad405dbfe1153a0d4729010ecd16bbcbdfef9abed4 SHA512 66025a2c88ea530f92d01fc3d7bea71d76847c615e150463d81b531a6ef6921b9898e25b62eeb4a2057e56ddd8d7b5b9aaaffca5c832d0c9eac9fa15712f7d19
DIST luau-0.609.tar.gz 1602889 BLAKE2B 92c1f07fc97df494d7a7718d6c348060322637d4fefd7b64405f9af2e48f1f964e85d39a9eed22231fe875ccdcd5bfc46f280de62dfa29f019c5ebb87d5dc4f0 SHA512 7b6193dfd8af95b4dfab16c6ae6541150488a2655847bf88bf0befeb8df796b11d575e569d16aa33012241e5d5f32ba28b6c1160de0a3cbaad7e7d7b80a44ff1
DIST luau-0.611.tar.gz 1615229 BLAKE2B 925f3967bfe9f8ce764e3ce22763fd1363f0b47f5860f23ceea426a729bbce2cfc16479419889c573cd19cc891314bf72e06262967d8ec3e1d1faca7e2e5e573 SHA512 c3a0f84f73daa75d96ff33fb79456f0ec08dd4c4980afdcc64bbe4dea9d3189a17537cb60fcfe2e314b0a4dae635c52299514fb68bc77ed559c411c702f74bd3
DIST luau-0.613.tar.gz 1617826 BLAKE2B d7e9b898fe74d376f963ead6a1d410d1eb6832ca70ebfc7d840e4322b9bf9b8d585f0e2c8f1743f55d4d745a6be49df259489d7c85e96c9a4fdfa602dfadca30 SHA512 c118f35345dd030074a86283ae931f48e8ef18bf2a89efed8e516ce321a720c9b49a2211ff439832e6da994f65b87c7613e061845c0daeb9c93490f2fafc9f8b
-EBUILD luau-0.607.ebuild 764 BLAKE2B dbb31c77c0538445172c3a3cdf750c28febaf8e4043a010ba5a4c9a93b94d60d8bf69ca3a662d9fca6bbf813d470cc8f4c8e3b427e75cfc697d74c63bc99b9d4 SHA512 7bfc98bbb668ae901b3971037a4bab7874550e9dfef51dbab884f2c88666336818edfeaf7a24b094a2fd715be308bcbe2e3054aee8d232d13c766eb694931273
EBUILD luau-0.609.ebuild 767 BLAKE2B 19b2e00d610cf9ec61608b99515432a7ff75dc9e22529c702194396c12ae265acb28afc5291ba0c5778a53642a888ae950b7422ea235c109f3f90f884695ae6e SHA512 de533ba5e5aed2bc510c1696678eb2fe7e307eef33ab91da65e181517982809fccf8ff56775ad6331f65397d9097c1b6913afea1406a9ecd38c42c407aec72fa
EBUILD luau-0.611.ebuild 768 BLAKE2B f145b6bef107dcc282244a16f1bcebd23b97244bf6143b9adc852aba034e88eed120c2a1b306d56b086b40e67fca098cd129a3eae234e676ad5b36dc746c753f SHA512 5a9e54e4b42bd4caad1ac75f30027ebee49e6f6842cfc4dec518f537b6d2b0f8b4e3167481767e417ca80307efa691f3dcbbca38102773ca73935c20914f2475
EBUILD luau-0.613.ebuild 777 BLAKE2B c5f16047056f2cfe0a8d1b4373f41b27a6929fe0a789cfee41cb9199921cc3eadf1c67296624bf9a831884f062e4acc6caa988c15fb45b3079b7736cf9a2dff4 SHA512 64d8b22353719b73411b324aac8d18beb584605c935fa6b4a3e01839d625c4f51265ed042489ca486bf8d07d54d3f41759128cb77e43fe6bcb601afef4ed3a99
diff --git a/dev-lang/luau/luau-0.607.ebuild b/dev-lang/luau/luau-0.607.ebuild
deleted file mode 100644
index 065271398e29..000000000000
--- a/dev-lang/luau/luau-0.607.ebuild
+++ /dev/null
@@ -1,36 +0,0 @@
-# Copyright 1999-2024 Gentoo Authors
-# Distributed under the terms of the GNU General Public License v2
-
-EAPI=8
-
-inherit cmake
-
-DESCRIPTION="Gradually typed embeddable scripting language derived from Lua"
-HOMEPAGE="https://luau-lang.org/
- https://github.com/Roblox/luau/"
-
-if [[ ${PV} == *9999* ]] ; then
- inherit git-r3
- EGIT_REPO_URI="https://github.com/Roblox/${PN}.git"
-else
- SRC_URI="https://github.com/Roblox/${PN}/archive/${PV}.tar.gz
- -> ${P}.tar.gz"
- KEYWORDS="amd64 ~x86"
-fi
-
-LICENSE="MIT"
-SLOT="0"
-
-DOCS=( CONTRIBUTING.md README.md SECURITY.md )
-
-src_test() {
- "${BUILD_DIR}"/Luau.UnitTest || die
- "${BUILD_DIR}"/Luau.Conformance || die
-}
-
-src_install() {
- exeinto /usr/bin
- doexe "${BUILD_DIR}"/luau{,-analyze,-ast,-compile,-reduce}
-
- einstalldocs
-}