summaryrefslogtreecommitdiff
path: root/dev-lang
diff options
context:
space:
mode:
authorV3n3RiX <venerix@koprulu.sector>2023-11-17 04:54:15 +0000
committerV3n3RiX <venerix@koprulu.sector>2023-11-17 04:54:15 +0000
commit04a96556dc0036655ac429edf598cc48febe294b (patch)
tree6577b5fabfcb1cee8eac4db1da2a0df03e5406a8 /dev-lang
parentb7a94956953b9eb949dbf7a2b05fff47558c99a8 (diff)
gentoo auto-resync : 17:11:2023 - 04:54:15
Diffstat (limited to 'dev-lang')
-rw-r--r--dev-lang/Manifest.gzbin21006 -> 21023 bytes
-rw-r--r--dev-lang/algol68g/Manifest2
-rw-r--r--dev-lang/algol68g/algol68g-3.4.2.ebuild2
-rw-r--r--dev-lang/boogie/Manifest4
-rw-r--r--dev-lang/boogie/boogie-3.0.6.ebuild (renamed from dev-lang/boogie/boogie-3.0.4.ebuild)1
-rw-r--r--dev-lang/luau/Manifest4
-rw-r--r--dev-lang/luau/luau-0.599.ebuild2
-rw-r--r--dev-lang/luau/luau-0.602.ebuild36
8 files changed, 7 insertions, 44 deletions
diff --git a/dev-lang/Manifest.gz b/dev-lang/Manifest.gz
index 08688b88e7f4..45f066fd6282 100644
--- a/dev-lang/Manifest.gz
+++ b/dev-lang/Manifest.gz
Binary files differ
diff --git a/dev-lang/algol68g/Manifest b/dev-lang/algol68g/Manifest
index 06f719170784..932293b9b548 100644
--- a/dev-lang/algol68g/Manifest
+++ b/dev-lang/algol68g/Manifest
@@ -4,7 +4,7 @@ DIST algol68g-3.4.2.tar.gz 661224 BLAKE2B 1f07ff0aa1734755886d03ea4c0e6116303db7
DIST algol68g-3.4.3.tar.gz 660981 BLAKE2B d160d851306a4f5975ce0f7254c22e11aed5b7fd659e32717755b1e8b6ac3a7ca6fc5208a466979a5a400940cd93a06456fbb3520a14b8adb617786004606474 SHA512 d3a4f0381624076c5dece247bb60babc22b603d310614316fb4565cf4b04ea46890377e7e9d7ee82e816df2d1881f37f0bc299f2677a03df6c46a6966b69ccad
DIST algol68g-3.4.4.tar.gz 661980 BLAKE2B c596dbc7579415bd386f26f483857d6ffababdb43e9bb7bd8edc3171b447c3da2dc8baa25ad8fadcadd7dfdaa4650620b8449c5b0d9d2e056775726e7db53dc6 SHA512 d3d9b1aac61871475877c4dd1078bc856fd6f1726bd374e16d8ac9530aee00cdd7fb618c96afa98b28fd66dee343cc7bf92e201787d4598e41dbd794ec3d0a9a
EBUILD algol68g-3.3.24.ebuild 946 BLAKE2B 609343d646c2fa3b96ce05c42d4ffc78768e441a8b79e7f38c1a4266a0e3deb454db6d33a620e4c6df81faf10b83a0f27242899090b141688c57224fc4efae09 SHA512 f9bdbbe26e6d68fcac101941178d957367c73f15fed114ee0ae5de0a183aa35ab4bb659eb8299b4a5bc6854659fc6c3945e79858cab7dc35c5a0608fdb7aef09
-EBUILD algol68g-3.4.2.ebuild 947 BLAKE2B efe202e1c73de4a41a2462d1026512f6ce622cd4e3c4f3c4488660bcf1be9cbaec6b6fb5b01b16904fc1fe1d3be07921db0b8bc3ca591f02eada8416ceb3b0f4 SHA512 84428d78b17cfc764bcdbc8dbd5efe65cf631d01e25ccae803d3ba0af7f910bb8a01cfd7212fd303506dac017ad1f9bee325a79d7ed82e5e21ab9ec0a19bcfb5
+EBUILD algol68g-3.4.2.ebuild 946 BLAKE2B 609343d646c2fa3b96ce05c42d4ffc78768e441a8b79e7f38c1a4266a0e3deb454db6d33a620e4c6df81faf10b83a0f27242899090b141688c57224fc4efae09 SHA512 f9bdbbe26e6d68fcac101941178d957367c73f15fed114ee0ae5de0a183aa35ab4bb659eb8299b4a5bc6854659fc6c3945e79858cab7dc35c5a0608fdb7aef09
EBUILD algol68g-3.4.3.ebuild 947 BLAKE2B efe202e1c73de4a41a2462d1026512f6ce622cd4e3c4f3c4488660bcf1be9cbaec6b6fb5b01b16904fc1fe1d3be07921db0b8bc3ca591f02eada8416ceb3b0f4 SHA512 84428d78b17cfc764bcdbc8dbd5efe65cf631d01e25ccae803d3ba0af7f910bb8a01cfd7212fd303506dac017ad1f9bee325a79d7ed82e5e21ab9ec0a19bcfb5
EBUILD algol68g-3.4.4.ebuild 947 BLAKE2B efe202e1c73de4a41a2462d1026512f6ce622cd4e3c4f3c4488660bcf1be9cbaec6b6fb5b01b16904fc1fe1d3be07921db0b8bc3ca591f02eada8416ceb3b0f4 SHA512 84428d78b17cfc764bcdbc8dbd5efe65cf631d01e25ccae803d3ba0af7f910bb8a01cfd7212fd303506dac017ad1f9bee325a79d7ed82e5e21ab9ec0a19bcfb5
MISC metadata.xml 665 BLAKE2B 2b9b283f86666d64dd77164c5afb0d76403c63f9f0dfac3170eb2ade95bcc382b09d14248cb720edf7c1b055e78ca5ca0017b6784caf4381d970a011301058bd SHA512 b3171d505f9f9e4dcdd5b5a0c6d302849fa017538402832dd3db205c48c68a39867089aae4d1f3c158a45bfc170b21f83789cba16511f251d70300020e102b0a
diff --git a/dev-lang/algol68g/algol68g-3.4.2.ebuild b/dev-lang/algol68g/algol68g-3.4.2.ebuild
index f1c0cc53d018..bff3227720c0 100644
--- a/dev-lang/algol68g/algol68g-3.4.2.ebuild
+++ b/dev-lang/algol68g/algol68g-3.4.2.ebuild
@@ -9,7 +9,7 @@ SRC_URI="https://jmvdveer.home.xs4all.nl/${P}.tar.gz"
LICENSE="GPL-3+"
SLOT="0"
-KEYWORDS="~amd64 ~x86"
+KEYWORDS="amd64 ~x86"
IUSE="+curl +gsl +mpfr +ncurses plotutils postgres +readline"
RDEPEND="
diff --git a/dev-lang/boogie/Manifest b/dev-lang/boogie/Manifest
index 7941f891830d..381bb5f3d48f 100644
--- a/dev-lang/boogie/Manifest
+++ b/dev-lang/boogie/Manifest
@@ -1,6 +1,6 @@
AUX boogie-3.0.4-disable-analyzers.patch 764 BLAKE2B 965f6a8007a4324aa95b165109dcbc85f7bba5696d04772c53cfb1e456d0c60d2d3dce9103df641fe7f565d2a2d4e04a5d02aba43ac1ccc4527dcaae90b7b28b SHA512 b8c7b9172cd2f45be84058babd33c75f37dcb08f6c1a0b7c79b0ae2bd8afec70b29886f23d0a5553a00e1d3761a7788db0444d06788ee32aed2d1c2cd7cb9554
-DIST boogie-3.0.4.tar.gz 2024651 BLAKE2B ccd6892aef048f7e031d8101ead979eb8aeb09d14954e62d862cf60ef35bb34f70449b20ac4182f6eb253cc30f7fda6d17dc3206b50e1d0762d2be39fc28d12f SHA512 ff9f9fd9d143c79ddba146ed834aa68ef78b95a54445b8ae3ed89c2a55ca84106a4e0ba18f3b640ef1052ceb3b1ca166e6fb46242d9789a11d71a6d197e6f30c
DIST boogie-3.0.5.tar.gz 2024714 BLAKE2B 453b09d9275923e8bed6ef80b1e331ee3a16e3ebfc7f2f454a989fa1242c5221c9a9d322b4306b11749b9ab48e012cc30cbf4d965413dc96e5bcdf52e6679f95 SHA512 212b561597ba8dea4c2ff1d073c317eb6f880c28588f032f65f3ad620a68fbf137e5cc9a20947a9f7af6f00e7543aeb56f09699ae179cfc7c4df63f825102d44
+DIST boogie-3.0.6.tar.gz 2023821 BLAKE2B 0d11c5f33d25e55debb5ec2a9fc99881bc4781f69da091f157f55a13e5a26e6562c9ef8c5ebeb5e0cf307d5c6ddaeb36918a0d1e6f5a740829811291b7fd92c5 SHA512 dd2f075a9f34212edd7ca57872cc1b240fac0814c3fbbe27aa1c3ad2a4133dcdbc432c9b49db56416f700a1c0caf2a99225af35f9dfe92115b783916979a43f0
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
@@ -192,6 +192,6 @@ DIST system.xml.xpath.4.0.1.nupkg 250135 BLAKE2B d6f211f98f33f6b8959b918cff8e676
DIST system.xml.xpath.4.3.0.nupkg 250182 BLAKE2B 8a4177d47af56bc7a6289ed8f2cac41d504dee212a858ed221277b3f523b1ce38ccb47bc3ce4d59a2c7cfd77f00f3c9693a9c257c90adb38096ee77a860f10cc SHA512 2bd0979a2020579fb32ad374b89929a272e763ee1233ed9a215408c0a1f9f82a5fdb74330c1c55a6102e0dfdb8b7b59ed25fdf6454bf3de146152ea779f366e0
DIST system.xml.xpath.xmldocument.4.0.1.nupkg 86933 BLAKE2B 4c03b5a9433c2c954e75d212f9026885aa7514574b73a54880c3d55baee6bd5517abb46b67b22b9b6e63de92a8bc5ab4ff37e3f7e6454a5c5137ae2be6574b75 SHA512 81041a08d3b9158c43dfb48d42f13ec9950d7c2b7f63e1600a779a77786edfb46c522c32d9cc6a44358fbfe11efba0e539e578ef169261867a1905b8121a045d
DIST system.xml.xpath.xmldocument.4.3.0.nupkg 138523 BLAKE2B ba53f3b5ac0f2d1d1e9120940b302e6960690ed4a44b96ba15b03e16f9159f2c57d6004aa55b796ba2327009d23fc2f10d4d09e948b88eb6af36efa5f76e401b SHA512 f75b6f7c75874ab6053e8942c1662a6e9a3561aa01502437b8d67f3bfcebd1ebf906792801326889ed7acb094c55469766d7d27cd10bc61b46ddaaa94dfc11e3
-EBUILD boogie-3.0.4.ebuild 9013 BLAKE2B af1950dde0419ab27525a3fe2f01698fcc89c1b143e94547f7ee0081b918777ff8e47de14cebc6e562d2fd7b97bece1d846c75eeb70143234a1ec7440d5d816c SHA512 e17ce6de4eb7c590765ef3d9e3fe4f3b72297388d4767eee7ecbe01b20f454343dafe823a3132c57edec4d84b34c8d30bd14ab48422f7ffdb4e5c26bfef67ed2
EBUILD boogie-3.0.5.ebuild 9012 BLAKE2B 0783ce4ca8e4c0b3adebdb381cc256a062a6708522fcb61b8eae6488ef980c6ddc94f454e0c3f8c80ce1549824ead0ecdbbd164d6a259c4598ded80452c0ecee SHA512 b95139529d07688c7fa8d3b46df2956c2afef76ee99ac939bdd2e93edbc8cdd5ca228a780c781d6473116e6eec1f1d16c3e1f3aaacebeb23f976edf6d683d73f
+EBUILD boogie-3.0.6.ebuild 9047 BLAKE2B 50fdab6ce7331e1803b8d39810cf745d1d25881b41f43d07c01a6058227b7d2aa66064ecc72e98e14066c7b77c72a883a01de37a54443566c1d5639f169176a6 SHA512 ae9b8722dfe02048fa20c63a28030f1fef50d118d7f80541bf6bd45d26048d2e212eadd834963aa9c40587c2a70f3121f8665ef0522d53eea2866a8a06c8b537
MISC metadata.xml 1102 BLAKE2B 215544658792715aae72787f7c949ed89df9c05ceab5a919a861c02b7938c0d1ee228e0ede55008287b616faf70992a8c1f2854e6e5e1fc909718ae682996bb8 SHA512 b6a626c485e2a5db3390da62c629507a60417eda8b508d7ed8d1c017ac337743d2c4fe0e8554b103f989176dcd2969cc8579e91532b07a22c1b66328ef241e8d
diff --git a/dev-lang/boogie/boogie-3.0.4.ebuild b/dev-lang/boogie/boogie-3.0.6.ebuild
index 8cb18a16b354..1b08f8717817 100644
--- a/dev-lang/boogie/boogie-3.0.4.ebuild
+++ b/dev-lang/boogie/boogie-3.0.6.ebuild
@@ -262,6 +262,7 @@ src_prepare() {
test15/CaptureInlineUnroll.bpl
test15/CaptureState.bpl
test15/CommonVariablesPruning.bpl
+ test21/InterestingExamples4.bpl
)
local bad_test
for bad_test in "${bad_tests[@]}" ; do
diff --git a/dev-lang/luau/Manifest b/dev-lang/luau/Manifest
index 81e20b7eeb86..3c2780e4dd0f 100644
--- a/dev-lang/luau/Manifest
+++ b/dev-lang/luau/Manifest
@@ -3,12 +3,10 @@ DIST luau-0.598.tar.gz 6081452 BLAKE2B 19b725ea63df144288ef7d7ce12e1ae04a9908acd
DIST luau-0.599.tar.gz 6501273 BLAKE2B f065f0ca11664841d182384c3ae3f3e8e283a0c504df43bd67139039afd1b75343ffc24c2fb26e13914bdc22efe66dd68cd3f1eb922bad2eda2540b04120a1ae SHA512 de9997f240f52551097bdd8af9c4fc40d0c90289e4e0d3677c2fedca2e69d57a7ac3fa8dc2df60eecfb466d9205eed517cb6cedbebde80ad318a370f37ee0ec9
DIST luau-0.600.tar.gz 6521332 BLAKE2B e2dee23ce448659ef9ebba4067c61a2666028de63cc4bdccc55cc970740c419f5865659601ef2c63e0cb381fef43b0ceb5f944eb29677f8f3ee10bf511b7aed1 SHA512 51d8cc1bf6547c5866e5f98748dac31f6da645552ba57ce7b100586cf51c1d7e0bc54359f1f74ff7043d2801256695c074b3a604f0404fc331472c664edf9cea
DIST luau-0.601.tar.gz 1612674 BLAKE2B f3f760dc6e74ccaba616e5320e78c5994e6c9cc89eaeac18b62533a22e2fc3756e6be6c17cd5b14a212cca384164f7ec90ca720dfd53801dcfa4cf5df17a6ddd SHA512 be8c5fc29269a8c94a8aa0f15f4d88f11ee0d75be4c51c61225b6a0ebebba3c9cfb6c0dee0045a775ccfaf95ea9b4d52e84acf7a9fe970fa92b9bc0d161233d8
-DIST luau-0.602.tar.gz 1541398 BLAKE2B 95e41b40d0e037102c035b658802326103abf8b250b9946329bbbb295cc50f4d369ff7b10e6350eabdb0a650fd51a324c428cdf4b878b15f27297e93435e0671 SHA512 d4ebddc067cf7f93f472e7d30afb4eb9f37687e96d13ebf62f5cb964d018fc42eee4cc97b957e9296e2ff0f509e78cfb4c7f726c7bb79e20786e7a268c7c7de6
DIST luau-0.603.tar.gz 1556286 BLAKE2B 3fa116afbd9ef51d29503ac9d6d78c37ce5ced25d4bd0375d780dc7233fb7f4bd826807fcc608e4077f39bc06a8983a877846b74801847c0d136f1c6bc027acd SHA512 2070568402ff155d9b2a2a10235091eb10761c08fa56e63ab106d6596e25aca65644f2167c49576559bf6c5c9450da8b00fef508a235b85a9d7fa0655ff03a96
EBUILD luau-0.598.ebuild 764 BLAKE2B 0b537522661c2c8bfabcd10bef8296ce181f8bcee1cb9ceae85d0ca93f504f68e39b668b981e84981e8aa2109e75c2b7dd955271a96e1fd493090eeb72ee7c97 SHA512 98ff58b32279b3e3c8c16812f5d10002abf63ed29bf40555b5a364af0ffdb562fc75254b8ab42df5e0bef695002f4f59bbe7f4059208da5d9a163300f07d535a
-EBUILD luau-0.599.ebuild 765 BLAKE2B 23f9d13f1fac061da43c18a71ce4dd742e8ff880d38da327fbb50859d0d8769bf86330785b09289d5323d6dd28166e1beee706e9bf669c5a9812a462be5056bb SHA512 5d6f371e31c1cf2d3a0ec657c133c6bd0543b2b02d09c7d5b75ac7724ff318c30da842fc5337277b57ad44b82e656d0e9a444a4907cfd742a967aff9bc67496f
+EBUILD luau-0.599.ebuild 764 BLAKE2B 0b537522661c2c8bfabcd10bef8296ce181f8bcee1cb9ceae85d0ca93f504f68e39b668b981e84981e8aa2109e75c2b7dd955271a96e1fd493090eeb72ee7c97 SHA512 98ff58b32279b3e3c8c16812f5d10002abf63ed29bf40555b5a364af0ffdb562fc75254b8ab42df5e0bef695002f4f59bbe7f4059208da5d9a163300f07d535a
EBUILD luau-0.600.ebuild 818 BLAKE2B 1a01a2f745edad5557e4dd31599960e05c16b93242b1aea4a376b9d04f5e13bdb67501fe2953ff64625fd7e756f36ca91ae705805a327feb3f1ebb97888ead41 SHA512 959013a9e10d9468b04c1d6bf877a4342591717f21f337c22d8790695bb17d1c7e23376a4dbb48e515b78d91f757d9d9ec0503c987fe7c7eedaddf4e8baba689
EBUILD luau-0.601.ebuild 765 BLAKE2B 23f9d13f1fac061da43c18a71ce4dd742e8ff880d38da327fbb50859d0d8769bf86330785b09289d5323d6dd28166e1beee706e9bf669c5a9812a462be5056bb SHA512 5d6f371e31c1cf2d3a0ec657c133c6bd0543b2b02d09c7d5b75ac7724ff318c30da842fc5337277b57ad44b82e656d0e9a444a4907cfd742a967aff9bc67496f
-EBUILD luau-0.602.ebuild 765 BLAKE2B 23f9d13f1fac061da43c18a71ce4dd742e8ff880d38da327fbb50859d0d8769bf86330785b09289d5323d6dd28166e1beee706e9bf669c5a9812a462be5056bb SHA512 5d6f371e31c1cf2d3a0ec657c133c6bd0543b2b02d09c7d5b75ac7724ff318c30da842fc5337277b57ad44b82e656d0e9a444a4907cfd742a967aff9bc67496f
EBUILD luau-0.603.ebuild 765 BLAKE2B 23f9d13f1fac061da43c18a71ce4dd742e8ff880d38da327fbb50859d0d8769bf86330785b09289d5323d6dd28166e1beee706e9bf669c5a9812a462be5056bb SHA512 5d6f371e31c1cf2d3a0ec657c133c6bd0543b2b02d09c7d5b75ac7724ff318c30da842fc5337277b57ad44b82e656d0e9a444a4907cfd742a967aff9bc67496f
MISC metadata.xml 1071 BLAKE2B 21583b8ae784e9d98bf3f05cc8cca796e6e77b348ff43e52954a4aa67b805beaaf20c2f116753ed41764b51d85d4c673cd92e757053653bd8fc7bb8ab5d4ba79 SHA512 1a98dcfd442fc107c206c21c3ad3e464eec4ed3a77250b6dcaf982078553f612b1c6308a19a586835e6e17d3b6e208ecb6eca64b79fa2ad26f871b42e1711fe0
diff --git a/dev-lang/luau/luau-0.599.ebuild b/dev-lang/luau/luau-0.599.ebuild
index c7bee4916d90..b15291852bc5 100644
--- a/dev-lang/luau/luau-0.599.ebuild
+++ b/dev-lang/luau/luau-0.599.ebuild
@@ -15,7 +15,7 @@ if [[ ${PV} == *9999* ]] ; then
else
SRC_URI="https://github.com/Roblox/${PN}/archive/${PV}.tar.gz
-> ${P}.tar.gz"
- KEYWORDS="~amd64 ~x86"
+ KEYWORDS="amd64 ~x86"
fi
LICENSE="MIT"
diff --git a/dev-lang/luau/luau-0.602.ebuild b/dev-lang/luau/luau-0.602.ebuild
deleted file mode 100644
index c7bee4916d90..000000000000
--- a/dev-lang/luau/luau-0.602.ebuild
+++ /dev/null
@@ -1,36 +0,0 @@
-# Copyright 1999-2023 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
-}