diff options
author | V3n3RiX <venerix@koprulu.sector> | 2024-08-31 12:01:05 +0100 |
---|---|---|
committer | V3n3RiX <venerix@koprulu.sector> | 2024-08-31 12:01:05 +0100 |
commit | 5b7f6475da27c05b30659a00ecb49636aca2bece (patch) | |
tree | f67500afbab4acebaa18739efa57f79c7ee620b3 /dev-lang | |
parent | 2e8abb8c82f14dd064991a1afd337b2f022b37f6 (diff) |
gentoo auto-resync : 31:08:2024 - 12:01:05
Diffstat (limited to 'dev-lang')
27 files changed, 252 insertions, 119 deletions
diff --git a/dev-lang/Manifest.gz b/dev-lang/Manifest.gz Binary files differindex 5dc4fe45b3ab..cd40ea5f8992 100644 --- a/dev-lang/Manifest.gz +++ b/dev-lang/Manifest.gz diff --git a/dev-lang/dafny/Manifest b/dev-lang/dafny/Manifest index 3b4369de4a64..dfa8282e4e53 100644 --- a/dev-lang/dafny/Manifest +++ b/dev-lang/dafny/Manifest @@ -2,37 +2,38 @@ AUX dafny-3.12.0-DafnyCore-csproj.patch 1022 BLAKE2B 6f1d895027a5991192e410f4fa6 AUX dafny-3.12.0-DafnyRuntime-csproj.patch 865 BLAKE2B 33d94935c9aba72b3ef23e878d40d9b533b945c35e1aa339ef2762d75b7e50fafff70a857faac7309b500c3b48fbc5a3cc32e518d2a39f15fa2e2136c926a200 SHA512 eee2c28f577989a4ebdde70df1c4195d6e53ca083eebd1d080073e479bcd490fe495089b4771c84abdf658b87c5dc7ff7d7f9a2ac41ce58982a777f207f86244 AUX dafny-4.5.0-lit-config.patch 830 BLAKE2B 5a073eba4d633b14f491fb18adb8aed821bd97696aea331c32a99570f74ccd69775356ffcee826f9eefc857ae5956874c994ee3a65c6b12b0e1f1fda3ca0d21f SHA512 d04777e29ea8d6f879a7b9b986d68bb6d4bafcbc686816e0aa2bd46bf6d5d6838e11085482f742e7a33c90bdd3551ef57ea10cf6c18373cb3dc89392482cec30 DIST bignumber.js-9.1.2.tgz 79226 BLAKE2B 3d2ff19d73a6fcfbcc0d03d1e9808796baae639e19973cbe0c26af4b514abc299129b8a7bc3e4e803c61af44b76f4381b1965d8fa331ea43e8a4c8fc7f98d8e7 SHA512 dbf98ac991fd2bce5bcce11f8570c11594c6775093b3ee481e9785428f65ba2046ee1821742f39d4f8f658085be84dd1e9bf6d663fd72a16e0e1fba6f8a7a9ba -DIST boogie.abstractinterpretation.3.1.3.nupkg 29640 BLAKE2B 6ebadfc92014018649ba1998f878ca8d8cda2df25d8b7f5243becd27bcafbcc166c071769adabdc99098b4fbf4aee8a6de8be9f8da43b3a3e1511dba96bbf2d1 SHA512 b950ceab224aca2a6d9a0202d2f79dc59f5e8f18f710933d843e8eb6dae9badadf6f78e79297f74bbe35a9d9170f2c928174c93a6edfd70e79aa282348b4be58 DIST boogie.abstractinterpretation.3.1.6.nupkg 31060 BLAKE2B 232350ede99fdfe5eafccfe1975d69dec478e353041cfdf85f66b9ef6080b9530c3ce3e1caf9cdadb72dc7238dc0730fe689cd97014f0ca6e7a0721ef5906e51 SHA512 8d1d2d9fa70e3428ae5be04f13498492e3075eef4c51162b265a30361496acf173c1d6ee8d875fc29e1b5bab58d899a351b3fa07c9321c2f30641efaa61391f5 -DIST boogie.basetypes.3.1.3.nupkg 25710 BLAKE2B e45663df336757dcc448f2ebe4f150948504047a1d5e4814fba81b0c08d7480aa717a42ebaa1ef9714276093a0d2755780669d0af410dda4806181c513874bf0 SHA512 ce3bbdf67d1332a51dbfffc21f12cde720b6583638dd7b6bc1fb68e5e6a7d1d6f0a191e795728b79adc1f113102996475c0290afb7062bd1122a17c1d6d1605f +DIST boogie.abstractinterpretation.3.2.3.nupkg 31090 BLAKE2B aee6df566f9d40c958bb04cbb81f5f7b588f5facdb2bc211f41181bdf0e94f30d00c71202faab9eafafc865cb4d1c073798257f64ec25091fb14e9948b3c4a9b SHA512 dee7af159ac9de16a87cf9636e798d5489ba75815cfa5c911ed1473b4c4a80b1ac0f450efcd73a4e1aded2b89632b8512ab619c9b8ed11bd870d6a9f29bf1693 DIST boogie.basetypes.3.1.6.nupkg 27130 BLAKE2B 34a2c49a31c3582011934b6fccede103858e6c117d3ad07c0bf07bf95b6899b8274184e615369ea16b5d309273402a3876147ad54cdc3076cbbf6f65603ccc67 SHA512 41365c6b02cf0cc333f2bba5a282f17c061cb9ffeccfaad50888f4ae40571226fbccab5ad4b4ce77d5abea6dfc20d33490006a8694f66a82d6f8fd1cc79f3f4b -DIST boogie.codecontractsextender.3.1.3.nupkg 17458 BLAKE2B 2005168450015740d0afd9415c47674bb55f99b2a717ad03f56e0571be1f5532a9abb0a662b3b3f785dab32914684dc0046854c4286ea9be338aa0dcad0e4618 SHA512 1508e11342e88ef0fe3a6f7dc758924987b6edcc30f62d0a7e43aaba09cc14b26b999eb0d59faa13e26f246e91b9c176f4c983fdeb653892cff655f40b5bd24f +DIST boogie.basetypes.3.2.3.nupkg 27125 BLAKE2B c83f69ae6e6be944848c2e2280a97c0a8fce63c89f2af3511406731e83ce516d456b5f829b9b41d4188f96632b2321c448274b24c90fe92ba44c12ca11db80af SHA512 2825119e1eaf57c9070ed09ee722e7b10f05450861734edbba3163dd6b4d3d775a4b5ff31e65644a23b525eb5e59db7a36b3dcfc394a81bf820bd8366b52fb12 DIST boogie.codecontractsextender.3.1.6.nupkg 18878 BLAKE2B 8b1b92b1bf916ccd5dabe99102ee1d5feea10fe4cb9aca7926bc1ab7f17e5c626e72f71f9aba33b4a8076760323f8fecc115d7f5d111437c8af0ce51ae97c413 SHA512 7675cf3e961ac3e323fc39fe39e1ed1a955aa2ce651302729c8d1a6a4f015315f3e5fd3cfe79888bc4b2e7b6be4a9fab5febacf7f12b814e3f980f42d99fdea4 -DIST boogie.concurrency.3.1.3.nupkg 92168 BLAKE2B 81ff170058924043a10c83aed60ea38951bca7ff35de3d8be29fcf68fea9da2d658ba0abf36f0fa93e4c9f96b0a81f96b550396ca55e3ac204b4e21e49d112bd SHA512 069c34b152ccfa9ab8903b6beda6090fcbfbad243d79dc473c01e30d19a6a5ed15528120180ad271d28b43eb520dae6e221a9256680b7e241a6bb83415988d93 +DIST boogie.codecontractsextender.3.2.3.nupkg 18877 BLAKE2B b5a05599b2d0d9e63b6599b7eac34f97dda4b1ab4cc1816e9daa646843d3c5ecf4e8a42fbb4f4629805fb331b73e16ac440db8db520323c9c8420b29571a73f8 SHA512 368f3b6273bb4c24e66ddde7ebf3623a5a35bfe57e21e651cd448a80fa62d2376a2c06702938348e86d7b86004f912a9ca86e774cf5bfb6bdbb3ce7146dbf12e DIST boogie.concurrency.3.1.6.nupkg 92317 BLAKE2B 174a2ed0ae2e4141e9f4a4dba6d2498bb7b56babcc25a103a4a77d8fce9b5d7d41e26df16dca3b9f1f64e503d377b9b3b41484be01d80bb820c468bf87f7601e SHA512 c4a62941db25677f45dde8657d3c917a1845e51d3fde13dee40a9446ee30f5a533392b333989864439b29c8278b256b71f0d8eb7d118f1152c7ab514d29103c8 -DIST boogie.core.3.1.3.nupkg 208304 BLAKE2B c3affd650c0c81c61e39e5bba0e3f88684fe43169c59b60aa15ef532747ed624d3b4d2a1ebf1fef6d216bb380b535c62a48cce072bf4a3ff57feea907c48ca8c SHA512 ae611fe91b8189ba55315db75be7fd927d08ae096305d099aa5b51ef692b4c5f4633c7cdcc95f9344791f7e11414e4078a8640127e2442f667594b335338eb1e +DIST boogie.concurrency.3.2.3.nupkg 97612 BLAKE2B 77239e015b92346d31c315e80dcddda8f439ec7238ea10c0f11020eb67cc3ed04363c50a81194321769cdb99b75f37e95acdddbf4f824ece4ba866c8607743a5 SHA512 5924fba9164bbe18aa3b76742d7ad2cc6f12e6744304a7d15e0d55778b8da71bb63ad83bbfce02101302173ada146e1369274d81fc500e0517fa1454bffa1d55 DIST boogie.core.3.1.6.nupkg 209262 BLAKE2B 42160fee38ba905ef76ee63e6384b6be8e248302cca8f6fc9784ae822e2d55200a1e54b38c399d616aff2adc47bf7cb34713cff0b11da36c453b47b9b901b8fd SHA512 14f2680defcc7db41698b9e959fb554ea15ab1752dfc238124c535e406029dd29305f26173d7084d98cac235385bc0d8552e16bb2455e6d7ebe687e164b06c1d -DIST boogie.executionengine.3.1.3.nupkg 85951 BLAKE2B 4dc3e7c442d2fc8f79b8f17c5139bf28453205f7fbb22caf35cdff40ff5294e940820e44029669e4f2103ae4dda56ad34b5d3d76dc73327d8925e6c5384859af SHA512 d06372aa80356ee5b07dd6cd30495246a5d900727fd7c6bba52faef25aabc191b5d89f479ba3c936a2a31a0045c8c195e9099d4c87231c14705ff00ac37b8c84 +DIST boogie.core.3.2.3.nupkg 211644 BLAKE2B 175ed102138abed57b0efe41fa340866b9286c2fc1702d35941ba53307c604329bc41838fed5f4aefc9e878741db325621ac5f5a019681d7055f7ec39b4548df SHA512 1f9fc1d698c248efe4fce7a2fe43d75ccafe1c85c311468343e24ba595ae4cc9a8007fc804572238639e55b43ab980728c5ce52572294223e10f6de4d8feacd7 DIST boogie.executionengine.3.1.6.nupkg 88418 BLAKE2B 98e49c3c54af899e5e70d39c083fa62fba395aaa5a8abc04362e98bb9ab109cdc854072d0609d30da319373ac66de54e0640d29c8579ac38da91a5104ac926d5 SHA512 7628e192df3914da874ff774419d88a9d684ef500bb74ae0c5cb484438b02c9bf1dd73d814848aac781ca9c236518f71cad07ddb87486ad373d5caccd2bcd6c1 -DIST boogie.graph.3.1.3.nupkg 27927 BLAKE2B 66694f02030c943892514881969c05be58d2a9cc4e4ca44a7b6115908a2e04e104350b706b19346e5ea7d659101532ffba2cf0ac919157102c7832185f4cf112 SHA512 f50c932d6ca907f359f698c02cdf857cf21b47ec6671ec917f4ae5a03db5b02cfdf3bc075b4ad840ab31c44db343aac2fe0d623d555f17e3ce2d9cf0f5efe9e3 +DIST boogie.executionengine.3.2.3.nupkg 88881 BLAKE2B f94d2403a9f62601b865c77a008e0cc6f1284b2666de51b5c977d480a65e39c4bd4895f1181b66fc04297d4081c12eca34e978b1a53fb03ec991a12ee95c58b7 SHA512 d80544fe9952b1000c89844c57244e14181e407cc9325778afdf9c95eff18fbe166eb14d24a1ca1376ecc1428c8d88a69bf6881132c6649a9e4cf69f2c137b20 DIST boogie.graph.3.1.6.nupkg 29347 BLAKE2B f96ff7e145cd7b5897a984b5d0109783e7e18e74e0a8185816cd80bb4fc53537a16b14f9e0ec98ce90db9f26eed32c8b23420cbf8343b21837e0aa369f6d2354 SHA512 4f385c6941637d456d921ea4247cbdf4eb8e5d470fbf1f1f35972358851fe45f7f925c3fd2f436468e133531174d71aefeb178de30c527fd56388ae89b212056 -DIST boogie.houdini.3.1.3.nupkg 52727 BLAKE2B 4a37e98bc0ab9bc8956e81df2541bf1bcfb50c32258b94818a5c8cafbcc74c76d4cfc5432a2e1ee94db5fc503dddd020123cc4f5f4a47c6b3bc8743b47784a04 SHA512 0f83ea50aa6f453d741cc7ff28a00ab9e9205a90caecaf7ccbd49d5b9217ec3bf9f5e1a7e9cce83314f48f25ee32c682c9509d00ed7bdcee602827f78712ce31 +DIST boogie.graph.3.2.3.nupkg 29420 BLAKE2B c686a976ca8761d6ba311d9a7c285a393fc7966d991dac4e6c6890432fd29e102b1badab61249275dddb57caa4319069a5d466e7ed7219aabbf8a35343d62714 SHA512 39ff97c48ce7dfaebcc601d866d040f5a5d4d1de44121cdde03c1557c90f8a00a11c9c2670f66b12fc210af2bc58fa5804657c8978cd1130d7b67a8c56024742 DIST boogie.houdini.3.1.6.nupkg 54144 BLAKE2B 4b1571a49818ef03d30a87eb6326c33ec7d693fe31eed4ab4f636dd50ba6015b5594cdb89024943f9beb1322edb4a3813629421609417d6308513e5a0c7a71ff SHA512 608a293d03927b7fc5d3a0cdd364bcbffa7b11bd8443f13afff58aa8dfb4cf0c0c8615786c50e16560df5ee968b41477bf27033d0f48bb518d19a2cecc0c0a19 -DIST boogie.model.3.1.3.nupkg 26902 BLAKE2B f384227782a32efa4083412a0820343e301337df11bcf4dc4611ce9022a63387b66a350d921dab484230d29f6a33006e1e56ebbd1818e8d5a4b0b34e61912211 SHA512 f6e52696ded95d9be9ec4046917c171cddda7429f63d2a0f188b960950bd9684285ce6eb21d1181b4f582b2d400117bf810a8b5a11a654f43a40c22fef4abbf4 +DIST boogie.houdini.3.2.3.nupkg 54152 BLAKE2B 7af01af66224141598d60a847bb2bf2e6e68d049992fc838d75397e216f504e4b140d5a94b459332b6f35628070a9960708ba324c645c8b425fa4bde661cfb44 SHA512 dcdb9a53be6587b03e134a56d931f4b1fed974bdb3d32a0d6dde12a4398ee430dde49d6cbbe1e206e9d4452f6c168aea5805bc8fcf2e0883046350e9b3d8b3f7 DIST boogie.model.3.1.6.nupkg 28325 BLAKE2B 11a0a9cf0931e246fc5ac7b2f7598033dff11e92cc7f505616e3af95260c08b65e9ab9bdcf794231240da4a341ce5c88cdfd9ed84b54641c83e0344fd454de0e SHA512 d638cf7c495d26e1edb6ac82d83a6dfa756121098a538ece663095c08ec9f623c57bcf7b34c492889a85e28e928d0f77cc55fc49aa04c9da21ab32220bc15b39 +DIST boogie.model.3.2.3.nupkg 28314 BLAKE2B bd5c01968ec6f021646c5ea987d238d76d0303ca59045436614e9564586a698b489997f9d36722763d47b12413bffe60674bd45d539a48f80c381ac191b14dd6 SHA512 0df754580b51b5bdc4a26b8b55f17cdabf224e8db37427e212a896c3f4f05478627428224302ad222fecbcd1b75a7875ce32359649ad571996e78519829fee13 DIST boogie.provers.leanauto.3.1.6.nupkg 30068 BLAKE2B a8a751bc5df775c0ae5b6254734120b2a094c6713618f8854ef785fc02f0774fe6727b930df945b63282e45dbdc2e472fd5508281b9ed5304ad1ac4c1b1bd13a SHA512 37da67c1e202f4b9aac420171d83fd96add2ecce51f69f83901a57151420fc32bdb98e18f31b98e140d881bc1f10cfa19ffcb2ca3c57c0db79a38af42febb7b7 -DIST boogie.provers.smtlib.3.1.3.nupkg 70581 BLAKE2B ade8aaf77a42dc7aa8ab7a7dcf2eacd00db612b032a7e62d2ddb5f96431e43ac16df282e55fe2cc46b104b721bb1183421b98a22e8823746c6f655c7f7789fc6 SHA512 50368434be8277c5dd84edce72fcb1ba107737cedcac0f6ff7cbad32b44bc749912b576e4c1076a840239cf5f84d93354fc8a5fe649121f5ff339316cd53c1c4 +DIST boogie.provers.leanauto.3.2.3.nupkg 30083 BLAKE2B 13cdcfc94a6576eb0bf184f669c0a166e75893a626284872ed029c37a687ac6a585d62db2e239a63fd957738d9cbbab6d9d71baacabc8b9c4c6ead60c97bd9c9 SHA512 39b7edbc94d374dee9ba3aadbe09bc7cb7671271668abdaf8821a6299b58fae8cf4bc07c33b917a7f650abdbcf313d98af43dc6a432f0edeb354cdeacd27fa35 DIST boogie.provers.smtlib.3.1.6.nupkg 71966 BLAKE2B 7879b4893bf8f24486648f73aa21f9a5046e04a1ab765ecccc5ae66a5000170eb733949567a52f3c3a46246739976290d6180936a30d6fa4a83966957115d556 SHA512 2edcb1ed93c6d6a4f457785a1cced9d655b8afcfec04558fc189ae9a08ea64036bfdea646366c06ed9eeb5ed34d1ba542d4f88ae716a5fc766f10d6578e51d7c -DIST boogie.vcexpr.3.1.3.nupkg 74142 BLAKE2B d523aecb82111a712fe619a69c159213ee4bef8182b1dd5708ff2b84ecd7690bceed5eaa825f8735c373ae7d3cf5ba4385e552f4a332d68fa5740cf862992bce SHA512 540e15a2830b739921e72165a39633bbc5b0a820463d79d7a2a915d2d902d242d9221e12026b6c8f6796d2309f5bff672dae50ff9d27834f2660fb433ce5809b +DIST boogie.provers.smtlib.3.2.3.nupkg 71925 BLAKE2B cedaa456e389c50543a18377243217ecb75a92c6800bad359cbd83d5da1ab216c4becee5bc4b55219fe6798ee8bd57057fc340c84b97ef4b99938f86574e88f6 SHA512 1c23cdeee2b4a4a47ce2b4e80bc1fefd1d42f3798582bf8179778b461d63614474cbca9f46e2ddc82990a4d25f134dcc25b738075f76d03f08bf048e217ce030 DIST boogie.vcexpr.3.1.6.nupkg 75557 BLAKE2B 8fce1d8b05a18bc55c80259e9a856df7c4b0631eca4f19b050bc13405773e4b9f7072e32dba67378eb63e137d1dcd4988b868b57ae2f41c9735ee6dbd9bba274 SHA512 b9bc0d6148bca1010161442ec800a798bd5a5c6748e9b3e41cd8608ecf7020d97c2d111317764dc404f547ce5ed974a7945f8d2e9d948259b0a0f6fb1bf2e327 -DIST boogie.vcgeneration.3.1.3.nupkg 90517 BLAKE2B d5f0271491a37f7ba806c2a46894c474b0c65d5bc66a659241e9ebffbf63c77a75a3533a615957ced4af1ee0363a34fd2c6803beca59e1fe656a1ba29c5fb309 SHA512 e402de9912b9d788520ef615fd80b8dba2eca9938f8321fb9e3f53bf158baedfd4c69f3aa4eaa3fe8f685d3ed9556982001117014279f9440605bac368b521c5 +DIST boogie.vcexpr.3.2.3.nupkg 75389 BLAKE2B 01f0cb6081152993a2da928045524b2092a509109caf3ba3b3e76a9dca391a402e962c227aa4c93c8a368fe4502311874be3f545a5cbec08e522091c8a408393 SHA512 89cb65dc0459e9017923febf2c09bc8a93f7fd6480cb2010f4db84bbe3c745134a50df6f1b4f486619d3b336a59c76bd2455f61774176a484f41ed6a7731342d DIST boogie.vcgeneration.3.1.6.nupkg 91911 BLAKE2B 405a1995a6438953ab44d912dc633024fb564eb95d258e0d360a13b6b29075eb283da95f02f157fca740b86d499e25c43f98af96664b837cdf13ea496e53b813 SHA512 be76b5c721c42a301bd553b205868328b855e23463e2c728d6780919b2bc09481e3fa5c5abdcd7673b3a9ce48f1675da9fbc120b8bfc978dbccb5b048ea7c55a +DIST boogie.vcgeneration.3.2.3.nupkg 95225 BLAKE2B a2325e9f05240140c4ae8a369281b5482b9f16d80b499d8a2c7552c5f87a27c3e0cb5afd012d0499205bdb9e2dc916a513c38a872d17198bd12a36c8e40bd253 SHA512 a4eccf1dc4bf173a441858747f6b6ee0accfc6bd8c46efd97f8e6bc896fa648db6eda896b17031436cf37e3abbd22930839f0ff48d540e43eeddc46a0c496f49 DIST castle.core.4.4.0.nupkg 916004 BLAKE2B 7404f946c140bc4c22132282a4a12694328bac2f37f3cae06c595076068dbedc808465e352f083450cea3e3869698f91b7a5b2b55c08f29f4a9feba7f15abf74 SHA512 7626c347f82038bc29b0b2ae399937047aead260ed85ff8c107d36adbe901d729be59cd89a5f98ef45da2d1883c8374b6f286c81c044a5a2b69ab4b5dde9ce98 DIST commandlineparser.2.8.0.nupkg 475554 BLAKE2B e55eda3a96441169220e5b081f432d8445d719cbcf8e86527920d44085e6e97934e20aa0266bc5dbdc16ba1a6daa6ece55bc2c63266c9d733ab4992f2fe3e0a1 SHA512 8c276513dfe91e5bc72cfb3b96a0d24411ee3bd2e9832d423f6ade3f3964a011dbb977ca90601750fa133a0a25fe72f66955be7f69a72f5d6b73c7f313094b5f DIST commandlineparser.2.9.1.nupkg 496069 BLAKE2B e2c4b38841f83d6bc10432b8055af90369f1fe0a10105a58b51b44cd48e5d84cb0b5e4b19f444d8c81b38646a62c7c4d11cbd710e92fea68be3ebea6ab98e3f1 SHA512 4f364e45c9668c7e7cc6a922b488f3fa523033c20d7a432694f0a6af05ce528ea0481d8375e2f4f1032c6990347b4803ce9a0e48068c6fe15ec46fb1254f085d DIST coverlet.collector.3.2.0.nupkg 2209480 BLAKE2B 175bcfcb9d6e5177d44f2d607f2411cbe77d6009d096bbc84372e33d7be972d3e39ec39d7f2669b4b91f4bcf44f6ddd46bc91541c0cc4843426e2dd1073bf5c2 SHA512 b63d02a5d3233805b42f0b8cc76f40c8d9f5a0117beb6bdb2ab147f5521bb99919b29d51ff91767ce0bfcab92d25fc8fe794133cadc60da3e009ae18d10fc920 -DIST dafny-4.6.0.tar.gz 6373177 BLAKE2B 9348a9b170dd694885efe4682f05abe60240e6f7df7bde7bb53e8955c1c75a332ca6e7d6d6f38eb1aa9a83a9a5dfccea13b7683e99873c1fce12181d47679548 SHA512 abac500a27a811b434d32036ff7d877dd337a0a5917a07a7ac1fceffb1dd5d493bd07b7d518875243674b7919862a25f628fe62052983a8ff8f1450669c49b69 DIST dafny-4.7.0.tar.gz 6538682 BLAKE2B 92597a70055ab599bdc8495de9e00a441112098b990372d40515cafc191fff0b63e835aad0a94fdef363436ea06e012dfdfca76ade5b7271386a0293a9471729 SHA512 4fca7fab490df1a075c70f4c2b3f62d77c7194224b34de954e5195477b08f30d4ec9562defa9dc3756039b217bf758f86d212f4c71a644ac43069d829d5b2eb2 +DIST dafny-4.8.0.tar.gz 6615281 BLAKE2B d891a1955554b194e7af231eff9368549bd2686b43dc1aca8034df4502b7b57297a8384db990ca3268bf992ce2ea562d02d936617b0788a58705d2b0cd91aa98 SHA512 8194f2544b411e00874b174ae4036d6ff21e516e342b3ddd9bc00e70a8140037e5a35f10ef797336b1d4f471ea1596829f0d5446d6a93e436690753dc9b19a31 DIST diffplex.1.7.0.nupkg 69699 BLAKE2B 9c7d6eab09e7df1d791183bbfc4cc46b7bea8dd4b5d09fd3e7e3dc1734e6a8973f92a34387e1a2a0e3a4cbf11ffb89f8138844b2b46d2e94010932ed47158911 SHA512 a0f7a30c59889d71eba97db9bda2efbf1b458ca439d129b52ba3eae32626325e73ec13d46018603a81a33cf18a25a5b08a1b2e6a89c7e716faa47eb9db6d6474 DIST humanizer.core.2.2.0.nupkg 104728 BLAKE2B 6c383abbbed9250f2a7eeec4478ead8f23ad53aa62a5b0f22e71fed9157aa6644a9a7518842d637885b7b63a4300754e1a7e9f3f9968725607ad30bf18e27a21 SHA512 e232459f914c8e7fc3f8dee69a85e66beb8c44515d4c83a976ee24084a91f32aae61c6f845ff38edcae02d0bcab44f9ec253277dccf2f4ae7e82235047bc6ade DIST jetbrains.annotations.2021.1.0.nupkg 122595 BLAKE2B 59b994b58df9c4ef12d130543ae85ae0a368b92fae8c1d106675bcb4a55da9a13ee6da5fd5940b51c2a101470226007b05a1670b085d0f2f0b66f143e67f3051 SHA512 3b17599f6fc4413dd3811a32216f742596da5c6d8709134d85d292cd28ace7dc72aecef8a2bf64a5dfd31796787468e70e3936ea2eb9ed0505c7c6130d66db17 @@ -366,6 +367,6 @@ DIST xunit.extensibility.execution.2.4.2.nupkg 353652 BLAKE2B f10e20d43b8030f51c DIST xunit.runner.visualstudio.2.4.3.nupkg 809588 BLAKE2B ce18ac895657d1efa9752e44148812a452401fa06eba913dad716cfd6743d85a09ffbc0be52276a4b90d039ab76077cca7ab5316b73009aeff2b2fe77dc465f1 SHA512 d8b0d124425db24f98335b332fe55e1a08b39af55d8834dd4a2717fd4be45f3a06ae6cb16427a17adfb31e215dab622856152bb2da715acb1946ec9e935299f4 DIST xunit.runner.visualstudio.2.5.1.nupkg 348549 BLAKE2B 530ffc6b699a1589ad6a7fb5aa826d7238b63ea8dcd13ce5705a3d29a0ba70edeac2d9950cd1a00a13a779add761e4e14335689051a43b4cd662a330734e4df7 SHA512 0cc7887e7c7c3315db31aab79df236db9b5542e0234c27543dd5b11cf917674a8fdebc384e7331663b08d586fcf20628479a20ad7edbed4e61667903e812c6f0 DIST xunit.skippablefact.1.4.8.nupkg 44542 BLAKE2B 3c9b09d5196e8901770099b2e5078d9373e8ebc2da058a9071707d6fee56eab7c876578734f3be5b088db6ae83c8ad81a3aadfcab38e1fd2b28bd25601fe5463 SHA512 a2c680223bda4f9bfdbd751c8d6a5319e0a4611533272860ca0a396b26c473a13065301a5d8973074ea2bb5119caaeec5a67d547a96ae5d762dc09f337f51ad1 -EBUILD dafny-4.6.0.ebuild 19686 BLAKE2B d26b6a164fe3a4c16c1130057103be047bec579ed87ea84611e17fff71271aaab2690a7d3195f8747b2a77a1150d6fdf4ceb4873fdd86ea9dd56aba58ced9925 SHA512 14923ff113a7aeca39af8eecbd1a1eedae171e34d3e812f0cb301e0635f9c1dc724aceb898db9a72ed771e5c4f3e907df1fa0b4eb4069eafd7a026d4f9faf285 EBUILD dafny-4.7.0.ebuild 20968 BLAKE2B dcb3e0ad327528a7daedfef62e523404baed4a17b34d65ea1f812b9052a67e94b8df29d65946c643c11872c4e09229bc8de46013ab2ee4691cc90159d91d9167 SHA512 cd830820563c61d7c6e4a0a88dab3a819e3b48d5133fa4e00e88fcba5b50a9ce6093406060f6315531322112cffd03e6aba4ce86bf1f447419d4e0a1671421ae +EBUILD dafny-4.8.0.ebuild 21075 BLAKE2B b2a944bf614dd81c4c1f6898f6962161a6b34c507317a1390c0e3f477be4ebf583a1ba8f5b2086d5379ff0c6307cf73fefa582f2c29bac2b08d756fa7f84fcd3 SHA512 871b37a406ccc357e79581ef957cd31be56ba360b56093da5aa8705d612157d1266da962c9c8dfed87f14a79dd2721d2cfc79cf1f4755d38c63bcdf82c1b36f7 MISC metadata.xml 1884 BLAKE2B e3a53cfd90a4edf1d9fd9f567ac3c23fd88cc46602cfe6aea31ddc40585ebc89ab82833dcd21c82083671a54454d62f162f45d56d6b0ec9c202148b3d5ea2c6d SHA512 4cffb9c237ed85097ce1496a72f5aa9c5a0f5758402fe66ff745a3b1dbc3f8d9a40fecc9140ee1b9418f09b62794f7e0a47f908e6ba01b370087d4df62bfa46e diff --git a/dev-lang/dafny/dafny-4.6.0.ebuild b/dev-lang/dafny/dafny-4.8.0.ebuild index 0ca08b0d4f0f..ea302738e8dd 100644 --- a/dev-lang/dafny/dafny-4.6.0.ebuild +++ b/dev-lang/dafny/dafny-4.8.0.ebuild @@ -3,22 +3,23 @@ EAPI=8 -PYTHON_COMPAT=( python3_{10..12} ) +PYTHON_COMPAT=( python3_{11..13} ) DOTNET_PKG_COMPAT=6.0 NUGETS=" -boogie.abstractinterpretation@3.1.3 -boogie.basetypes@3.1.3 -boogie.codecontractsextender@3.1.3 -boogie.concurrency@3.1.3 -boogie.core@3.1.3 -boogie.executionengine@3.1.3 -boogie.graph@3.1.3 -boogie.houdini@3.1.3 -boogie.model@3.1.3 -boogie.provers.smtlib@3.1.3 -boogie.vcexpr@3.1.3 -boogie.vcgeneration@3.1.3 +boogie.abstractinterpretation@3.2.3 +boogie.basetypes@3.2.3 +boogie.codecontractsextender@3.2.3 +boogie.concurrency@3.2.3 +boogie.core@3.2.3 +boogie.executionengine@3.2.3 +boogie.graph@3.2.3 +boogie.houdini@3.2.3 +boogie.model@3.2.3 +boogie.provers.leanauto@3.2.3 +boogie.provers.smtlib@3.2.3 +boogie.vcexpr@3.2.3 +boogie.vcgeneration@3.2.3 castle.core@4.4.0 commandlineparser@2.8.0 commandlineparser@2.9.1 @@ -372,12 +373,14 @@ else SRC_URI="https://github.com/dafny-lang/${PN}/archive/v${PV}.tar.gz -> ${P}.tar.gz" - KEYWORDS="amd64" + KEYWORDS="~amd64" fi SRC_URI+=" ${NUGET_URIS} - test? ( https://registry.npmjs.org/bignumber.js/-/bignumber.js-9.1.2.tgz ) + test? ( + https://registry.npmjs.org/bignumber.js/-/bignumber.js-9.1.2.tgz + ) " LICENSE="MIT" @@ -398,8 +401,8 @@ BDEPEND=" dev-dotnet/coco test? ( ${PYTHON_DEPS} + >=dev-lang/boogie-3.1.6 dev-go/go-tools - dev-lang/boogie dev-lang/go dev-python/OutputCheck dev-python/lit @@ -409,9 +412,7 @@ BDEPEND=" " CHECKREQS_DISK_BUILD="2G" -DOTNET_PKG_PROJECTS=( - "${S}/Source/Dafny/Dafny.csproj" -) +DOTNET_PKG_PROJECTS=( "${S}/Source/Dafny/Dafny.csproj" ) PATCHES=( "${FILESDIR}/${PN}-3.12.0-DafnyCore-csproj.patch" @@ -452,10 +453,15 @@ pkg_setup() { } src_unpack() { - dotnet-pkg_src_unpack + # Unpack manually to skip additional archives, eg "bignumber.js". + + nuget_link-system-nugets + nuget_link-nuget-archives if [[ -n "${EGIT_REPO_URI}" ]] ; then git-r3_src_unpack + else + unpack "${P}.tar.gz" fi } @@ -469,33 +475,57 @@ src_prepare() { # Remove bad tests (recursive). local -a bad_tests=( + # Unsupported test build (and those that need network access): + comp/rust + # Following tests fail: VSComp2010/Problem2-Invert.dfy + ast/function.dfy auditor/TestAuditor.dfy benchmarks/sequence-race/SequenceRace.dfy c++/extern.dfy c++/functions.dfy c++/tuple.dfy + cli/measure-complexity.dfy + cli/projectFile/projectFile.dfy cli/runArgument.dfy comp/CoverageReport.dfy + comp/Libraries/consumer.dfy concurrency/06-ThreadOwnership.dfy + dafny0/CoinductiveProofs.dfy dafny0/Fuel.legacy.dfy dafny0/Stdin.dfy + dafny0/SubsetTypes.dfy dafny1/MoreInduction.dfy dafny4/Lucas-up.legacy.dfy dafny4/Primes.dfy + doofiles/allowWarningsDoo.dfy + doofiles/semanticOptions.dfy + doofiles/standardLibraryOptionMismatch.dfy examples/Simple_compiler/Compiler.dfy + exports/ExportRefinement.dfy + exports/IncludeSkipTranslate.dfy git-issues/git-issue-2026.dfy git-issues/git-issue-2299.dfy git-issues/git-issue-2301.dfy + git-issues/git-issue-3855.dfy git-issues/git-issue-505.dfy + gomodule/multimodule/DerivedModule.dfy + gomodule/singlemodule/dafnysource/helloworld.dfy + lambdas/MatrixAssoc.dfy metatests/InconsistentCompilerBehavior.dfy metatests/TestBeyondVerifierExpect.dfy + printing/ModulePrint.dfy + pythonmodule/multimodule/DerivedModule.dfy + pythonmodule/nestedmodule/SomeTestModule.dfy + pythonmodule/singlemodule/dafnysource/helloworld.dfy separate-verification/assumptions.dfy server/counterexample_none.transcript triggers/emptyTrigger.dfy - unicodechars/DafnyTests/RunAllTestsOption.dfy + unicodecharsFalse/DafnyTests/RunAllTestsOption.dfy + unicodecharsFalse/comp/Print.dfy verification/isolate-assertions.dfy + verification/outOfResourceAndIsolateAssertions.dfy verification/progress.dfy vstte2012/Combinators.dfy wishlist/exists-b-exists-not-b.dfy @@ -507,6 +537,7 @@ src_prepare() { comp/BranchCoverage.dfy comp/CompileWithArguments.dfy comp/Extern.dfy + comp/ExternCtors.dfy comp/MainMethod.dfy comp/Print.dfy comp/SequenceConcatOptimization.dfy @@ -520,18 +551,27 @@ src_prepare() { concurrency/09-CounterNoStateMachine.dfy concurrency/10-SequenceInvariant.dfy concurrency/12-MutexLifetime-short.dfy + dafny0/ModuleInsertion.dfy + dafny0/NoTypeArgs.dfy dafny0/RlimitMultiplier.dfy + dafny1/ExtensibleArray.dfy + dafny1/ExtensibleArrayAuto.dfy dafny1/SchorrWaite.dfy dafny2/SnapshotableTrees.dfy dafny4/git-issue250.dfy git-issues/git-issue-Main4.dfy git-issues/git-issue-MainE.dfy - unicodechars/comp/CompileWithArguments.dfy + separate-verification/app.dfy + unicodecharsFalse/comp/CompileWithArguments.dfy + unicodecharsFalse/expectations/Expect.dfy + unicodecharsFalse/expectations/ExpectAndExceptions.dfy + unicodecharsFalse/expectations/ExpectWithNonStringMessage.dfy + verification/filter.dfy ) local bad_test for bad_test in "${bad_tests[@]}" ; do - if [[ -f "${TEST_S}/${bad_test}" ]] ; then - rm "${TEST_S}/${bad_test}" || die "failed to remove test ${bad_test}" + if [[ -e "${TEST_S}/${bad_test}" ]] ; then + rm -r "${TEST_S}/${bad_test}" || die "failed to remove test ${bad_test}" else ewarn "Test file ${bad_test} does not exist" fi @@ -559,21 +599,22 @@ src_compile () { pushd "${dafny_runtime_java}/build" || die ejavac -d ./ $(find "${dafny_runtime_java}/src/main" -type f -name "*.java") - edo jar cvf "DafnyRuntime-${PV}.jar" dafny/* + edo jar cvf "DafnyRuntime-4.6.0.jar" dafny/* - cp "DafnyRuntime-${PV}.jar" "${dafny_runtime_java}/build/libs/" || die + cp "DafnyRuntime-4.6.0.jar" "${dafny_runtime_java}/build/libs/" || die popd || die # Build main dotnet package. dotnet-pkg_src_compile + # Build "TestDafny" without saving artifacts. if use test ; then - # Build "TestDafny" without saving artifacts. - edotnet build \ - --configuration Debug \ - --no-self-contained \ - -maxCpuCount:$(makeopts_jobs) \ - "${S}/Source/TestDafny/TestDafny.csproj" + local build_test_opts=( + --configuration Debug + --no-self-contained + -maxCpuCount:$(makeopts_jobs) + ) + edotnet build "${build_test_opts[@]}" "${S}/Source/TestDafny/TestDafny.csproj" fi } diff --git a/dev-lang/execline/Manifest b/dev-lang/execline/Manifest index 141fc911feb2..88e520b0e317 100644 --- a/dev-lang/execline/Manifest +++ b/dev-lang/execline/Manifest @@ -1,5 +1,3 @@ -DIST execline-2.9.5.1.tar.gz 110874 BLAKE2B bef3cb560f00c01c96065429220017315edc8378403c73e4a0edba67ee248f76ca849cd8a107756251db9844d3ac650259b33db2f93abc1c7aa4f68995b5b624 SHA512 11bfd825b0b72cba118eff9ecb97672d0c015e0bd50c7c8f83e101ee41c323b3a3c82e42fed75b6bc65ab6edb85a8bbeef8900b594cf651825b6313a5123c88f DIST execline-2.9.6.0.tar.gz 111660 BLAKE2B 42baed36228b1e6a370d6d4c18829be7f517812ce9e3838e5b102d0fe58ac48ecd84f17caef89e9a07b3b149ed9b38b3b00f7eef810c231995c8e5ecbf07a770 SHA512 1c5233b0f17b4c92ab2e9e8700b47c8429ad97962bcb7c83190d0b3251b26584e591d77418eca77e8112cdecd24eec50aaca7da1dbb506120931bbda39f2b7cb -EBUILD execline-2.9.5.1.ebuild 1132 BLAKE2B 8ac47516f9f4d89f44a6b86988a6df1a1f5639868f24f29691a1e6f4f9c7cd1e46520e82f37577d6bf31e81200e70aee08e4cbc6966dd4274772a0e65307dd24 SHA512 97932b7287d2cd30b625425de149bb3ca701e2902637146c90cd6e6ac8251b0e533832b060d93efa5efb66415c0aa5392ddb49a17ddc200e6eab6752663578dc EBUILD execline-2.9.6.0.ebuild 1132 BLAKE2B 8ac47516f9f4d89f44a6b86988a6df1a1f5639868f24f29691a1e6f4f9c7cd1e46520e82f37577d6bf31e81200e70aee08e4cbc6966dd4274772a0e65307dd24 SHA512 97932b7287d2cd30b625425de149bb3ca701e2902637146c90cd6e6ac8251b0e533832b060d93efa5efb66415c0aa5392ddb49a17ddc200e6eab6752663578dc MISC metadata.xml 585 BLAKE2B ce0671014512c49b041f6c47002603a15f0f5d7f23c356465fff024506fb261096aa757cc1c707501f5be572cea9d925a25039d1549d31852ffaf9b2f17b5cb3 SHA512 bddd917f615e8ff772889a4da992c9201f6e32982374ffa29e7a8c3fce8d7a4f409c3b3ffe8c989e7802c2b321d6cfc5bb37017aa75dc38e3026c1de48bb0090 diff --git a/dev-lang/execline/execline-2.9.5.1.ebuild b/dev-lang/execline/execline-2.9.5.1.ebuild deleted file mode 100644 index 25e4a9c495bd..000000000000 --- a/dev-lang/execline/execline-2.9.5.1.ebuild +++ /dev/null @@ -1,51 +0,0 @@ -# Copyright 1999-2024 Gentoo Authors -# Distributed under the terms of the GNU General Public License v2 - -EAPI=8 - -inherit optfeature toolchain-funcs - -DESCRIPTION="A non-interactive scripting language" -HOMEPAGE="https://www.skarnet.org/software/execline/" -SRC_URI="https://www.skarnet.org/software/${PN}/${P}.tar.gz" - -LICENSE="ISC" -SLOT="0/$(ver_cut 1-2).4" -KEYWORDS="~alpha amd64 arm ~mips ~ppc ~ppc64 ~riscv x86" - -RDEPEND=">=dev-libs/skalibs-2.14.0.0:=" -DEPEND="${RDEPEND}" - -HTML_DOCS=( doc/. ) - -src_prepare() { - default - - # Avoid QA warning for LDFLAGS addition - sed -i -e 's/.*-Wl,--hash-style=both$/:/' configure || die - - sed -i -e '/AR := /d' -e '/RANLIB := /d' Makefile || die -} - -src_configure() { - tc-export AR CC RANLIB - - local myconf=( - --bindir=/bin - --dynlibdir="/$(get_libdir)" - --libdir="/usr/$(get_libdir)/${PN}" - --with-dynlib="/$(get_libdir)" - --with-lib="/usr/$(get_libdir)/skalibs" - --with-sysdeps="/usr/$(get_libdir)/skalibs" - --enable-shared - --disable-allstatic - --disable-static - --disable-static-libc - ) - - econf "${myconf[@]}" -} - -pkg_postinst() { - optfeature "man pages" app-doc/execline-man-pages -} diff --git a/dev-lang/fuzion/Manifest b/dev-lang/fuzion/Manifest index 291b90e32f8d..dad9e026821c 100644 --- a/dev-lang/fuzion/Manifest +++ b/dev-lang/fuzion/Manifest @@ -1,5 +1,7 @@ DIST fuzion-0.086.tar.gz 994894 BLAKE2B e698ea7b8de215c55e84e0f55f405156d5c386c1001c7b29e0c7c49e7a7e7babf7cb64cf30726a24aa7b6ccdc0eaf01cc543867361e2554f258d76be1fc08b97 SHA512 6d2df12d1dced9c5a61bb183767fc205ddbc0d04db8cae3f5e3eabd9ab60f18b3c2b3fa8f57702dc792882b1a6f79da1cfcb7801d84ecc2cff1844a4bc226f67 DIST fuzion-0.088.tar.gz 1123270 BLAKE2B 3d68c136a862c02955b4a15e6cfe4d41a63a106c47289f7fdfe0af2b0119ebe26cbd9c6920c8b5311c756264bdd33d46f4b1108869427f83d55a350c2ab52e6f SHA512 b0fb1ea4175912684b4759ec58a91bc25d963fa2fa6234116fa91a63d757d9af5da9e20a3fdcc340fe956c01026d4b74c7a12dac40a0b7826d74c567b4e3383a +DIST fuzion-0.089.tar.gz 1235399 BLAKE2B b6814b9032e06481c4801c4519423f5019febb46390596941d3811fd053ceab66b3612cd6185fbda71eb14a6b1299bca80b572f27f90729a3713aad3ec1f675d SHA512 4eb7389c4346f15a8a75344d448f6ec35ae91615daba57a8cc2f220a7f6827fcf1de569da2dcf573f8a645640e3f2cb8e2c2a4acd9ad83fd83deca2addd75bdc EBUILD fuzion-0.086.ebuild 1494 BLAKE2B 103bb05467b539a9d486848903b6b93f49ff47cee7cae3a3966a92f8b08779cc0fc3dc21b109f90e5795d9a0f5ac49d3896092a1e6773c7d451b607e9f3b500d SHA512 37fc0dd38adfc7570cdd63a56ae73d1f96673f77c968eaf2addb892ba5963d404197a959d0d3be59ff373a255be12f34b48eb11690c36e8b8c4d373a055293d7 EBUILD fuzion-0.088.ebuild 1451 BLAKE2B abb0ba5762294d7252e23e745ba10df88c728030703386b206afb33e65cdb5e754d784ca377845a944f18928d9a64ebdf0002dfef4abb53e208b9a8904d99073 SHA512 deea442cc4b349a20fee082b5948d703eb59c2a5b0afa7160214b26e8ba6bdbe2f9157ed645662e15e3f4048e08dfd88d92e9f111fe9a5cfef668c683a2c09b2 +EBUILD fuzion-0.089.ebuild 1677 BLAKE2B eb8376d811f82afeec5d3e9812e83b602b0ab47964beb836d97b23aa2a88d03ab9d96d76623b353eae136c4f024afd574ceb1166e29c7651e1f150858c8a1135 SHA512 3e6bd0e9a4bc357168563ed792e3bc246cb4c453b5ed15fcc5700f0e8c3a172c9684417d927e7a768cc606cdbc7ad23ef8ecd8dca7e64f61c774ea2a066d1294 MISC metadata.xml 690 BLAKE2B d4e29609d56e8784a8653d928595ee20f096c9a1e408afda2fab5a79c1be188769b84e7b69a6e0b8d5004f9c648c75ee634f2c25d8422d04b0c621079de12b92 SHA512 df41bd000885fea2428ce7c6c675c3a8c50f450902311bf36b8fc9b6ede41f6c4b070eb3c1b77dae70aa63fe13fa9c0b13f28a1481f70df0fd2d29d1c41579d2 diff --git a/dev-lang/fuzion/fuzion-0.089.ebuild b/dev-lang/fuzion/fuzion-0.089.ebuild new file mode 100644 index 000000000000..92e01df35d36 --- /dev/null +++ b/dev-lang/fuzion/fuzion-0.089.ebuild @@ -0,0 +1,92 @@ +# Copyright 1999-2024 Gentoo Authors +# Distributed under the terms of the GNU General Public License v2 + +EAPI=8 + +inherit java-pkg-2 + +DESCRIPTION="A language with a focus on simplicity, safety and correctness" +HOMEPAGE="https://fuzion-lang.dev/ + https://github.com/tokiwa-software/fuzion/" + +if [[ "${PV}" == *9999* ]] ; then + inherit git-r3 + + EGIT_REPO_URI="https://github.com/tokiwa-software/${PN}.git" +else + SRC_URI="https://github.com/tokiwa-software/${PN}/archive/refs/tags/v${PV}.tar.gz + -> ${P}.tar.gz" + + KEYWORDS="~amd64 ~x86" +fi + +LICENSE="GPL-3" +SLOT="0" +IUSE="test" +RESTRICT="!test? ( test )" + +RDEPEND=" + >=virtual/jre-21:* + dev-libs/boehm-gc +" +DEPEND=" + virtual/jdk:21 +" +BDEPEND=" + test? ( + sys-devel/clang:* + ) +" + +DOCS=( README.md release_notes.md ) + +src_prepare() { + java-pkg-2_src_prepare + + # Remove bad tests. + local -a bad_tests=( + basicIntegers + nom + onesCount + process + reg_issue3178 + sockets + ) + local bad_test + for bad_test in "${bad_tests[@]}" ; do + rm -r "${S}/tests/${bad_test}" || die "failed to remove test ${bad_tests}" + done +} + +src_compile() { + emake -j1 +} + +src_test() { + emake -j1 run_tests_parallel +} + +src_install() { + # Remove unnecessary files from build directory. bug #893450 + local toremove + local toremove_path + for toremove in tests run_tests.{failures,results} ; do + toremove_path="${S}/build/${toremove}" + + if [[ -e "${toremove_path}" ]] ; then + rm -r "${toremove_path}" || die "failed to remove ${toremove_path}" + fi + done + + insinto "/usr/share/${PN}" + doins -r build/. + insopts -m755 + doins -r build/bin + + local exe + for exe in fz fzjava ; do + dosym -r "/usr/share/${PN}/bin/${exe}" "/usr/bin/${exe}" + done + + einstalldocs +} diff --git a/dev-lang/moarvm/Manifest b/dev-lang/moarvm/Manifest index bdb8df08d2e9..5966948fed87 100644 --- a/dev-lang/moarvm/Manifest +++ b/dev-lang/moarvm/Manifest @@ -1,8 +1,8 @@ -DIST MoarVM-2024.02.tar.gz 14951164 BLAKE2B 9416cea0b454b29c6d5662090428d790ea437bca1814a084a2c1478268c0eb74764205bca892b5e8de820b2201df154b92503e6243eb4a927a822374a5c09f86 SHA512 e629edb3fb365fd4cd988d9c08d46ecaf002156452e22c3a0c716641eeadb5b7f0434de4e2ec3ce9c8dc354280dc419d716382c160d400ba3970decffc996ed8 DIST MoarVM-2024.04.tar.gz 14953770 BLAKE2B d6ea26bb98a1a6b2c3e6f0184a70c670830eb0872238779e9ce763f8c798bce803db4c5ba488c3f18bf5cf65a8d529fea9268a270458a33fff21ce10c74ee206 SHA512 874b22347fce3018884733ef734db0f09faae89191c2d37d7a15a897f8ce88ed9fbbd69768267492e6d1f019035ad224eef844b75e0fc1634cffd4b059314af1 DIST MoarVM-2024.05.tar.gz 14956570 BLAKE2B b4a6516dacf871e8c0fb9eb7813322310f038394225f574bd69096c14448f53c5be82eb8b4207361f55c804e165c17b9d63f78efa821d523e3195a31239a8c9f SHA512 703c1418ebf587bf16173e5711f41d8079ea605731505f5699590d3b355e3a54921a7cbab1bd22a2253ba4c79ef4b92f9989646b065239fb9e8450c352fd4f2e -EBUILD moarvm-2024.02.ebuild 1458 BLAKE2B fa2c83706ff582875199707fae7563bebf66c7079c0b7a8520df715553da2e32f551a2e912a8e1cdfe6ab03f5accb57a852be82f22c136436aecbefe7ce6d7ee SHA512 a7cfc6c83239aeb394b87f0b7149f40001075f4c26e2b935fccd7e30113d6e2d5dc8aec2182cea2f36eb66aa8dc9263b850eeba024910656ba7ae0722f55806c +DIST MoarVM-2024.08.tar.gz 14993560 BLAKE2B 0e37a13fbb7fe4ef0959b64615b99d94721873d7257e7a26dd49013523a3956e83e12a33468560155b37446b859c0d77f87f1cb816de469d9916b1c4e57f3af5 SHA512 b1e3d0b067d4e685d4978962f9008d28e0cad960f55b373f6f3a13df35b8865da9301f0a2b67f9a0d8222a6d5500fce474168ecdf2837c3dc21e04fcb3211bfc EBUILD moarvm-2024.04.ebuild 1458 BLAKE2B fa2c83706ff582875199707fae7563bebf66c7079c0b7a8520df715553da2e32f551a2e912a8e1cdfe6ab03f5accb57a852be82f22c136436aecbefe7ce6d7ee SHA512 a7cfc6c83239aeb394b87f0b7149f40001075f4c26e2b935fccd7e30113d6e2d5dc8aec2182cea2f36eb66aa8dc9263b850eeba024910656ba7ae0722f55806c EBUILD moarvm-2024.05.ebuild 1458 BLAKE2B fa2c83706ff582875199707fae7563bebf66c7079c0b7a8520df715553da2e32f551a2e912a8e1cdfe6ab03f5accb57a852be82f22c136436aecbefe7ce6d7ee SHA512 a7cfc6c83239aeb394b87f0b7149f40001075f4c26e2b935fccd7e30113d6e2d5dc8aec2182cea2f36eb66aa8dc9263b850eeba024910656ba7ae0722f55806c +EBUILD moarvm-2024.08.ebuild 1458 BLAKE2B fa2c83706ff582875199707fae7563bebf66c7079c0b7a8520df715553da2e32f551a2e912a8e1cdfe6ab03f5accb57a852be82f22c136436aecbefe7ce6d7ee SHA512 a7cfc6c83239aeb394b87f0b7149f40001075f4c26e2b935fccd7e30113d6e2d5dc8aec2182cea2f36eb66aa8dc9263b850eeba024910656ba7ae0722f55806c EBUILD moarvm-9999.ebuild 1336 BLAKE2B c526a7646806021b39ef4ef2d7f5c8f4446079728028e3303e272cafbfb22f4efe50ce7aef01cff47a430291448a3c7e5176840bc7d889f449c4d68667b7decf SHA512 9814284f2e8c1a0a63f601d17664253260e8c8b29b08f6d4488bb42b00f74ff20550847741f3bf1f5b22149c8b9333f1a7045a008a26159e0075802f1c016d0b MISC metadata.xml 803 BLAKE2B ae42152bd02136d44d034e1ae39e457893d720b496681234e1f804c0144d4023dec76ba9edba30df269bac7b9e2cd353b7197e3d21336bc92bcec3fbd877facd SHA512 93ba240a87a853f4df3ed542c0468cd820bd75935253a77f15259293269e1726c71cadcee076550f622444c032d359227f5377a97595e88ef6ef10d034d79aa5 diff --git a/dev-lang/moarvm/moarvm-2024.02.ebuild b/dev-lang/moarvm/moarvm-2024.08.ebuild index e437c851b138..e437c851b138 100644 --- a/dev-lang/moarvm/moarvm-2024.02.ebuild +++ b/dev-lang/moarvm/moarvm-2024.08.ebuild diff --git a/dev-lang/nqp/Manifest b/dev-lang/nqp/Manifest index a8acacb2d703..550e2b2bdac1 100644 --- a/dev-lang/nqp/Manifest +++ b/dev-lang/nqp/Manifest @@ -1,8 +1,8 @@ -DIST nqp-2024.02.tar.gz 6041352 BLAKE2B cdf1863f80d3a2d64fea3d6b783c91ad3fec44866d0b5a1967e0ac682ef3942a3361c4a4f355a11af938846ef47404df4a5d39fe46ebfef121ab2118d1444e64 SHA512 4dd943920900f0b58385b0a1b7dcc732557a0215975868f322860ec204cbc43d081ce292beb4b2bce70863684d3ec1d981fb809c4558755e791dd7cb0208e05b DIST nqp-2024.04.tar.gz 9726771 BLAKE2B 5582aed194438bc57b862e6b1f14b8fdf1548c5e0048e69315e411913b049fec6df640b95bbd0df3e5b541554473fe207c81dbd083d477f12194c22d22119be3 SHA512 988518e5db2d7bdee6ed55bb337e640d091f404d6cc2b2687e9b542cc91ea755add415b40e8b3ac9ef501e150d2026867d0f1f1bfa32f1767e01ec30ae050dd0 DIST nqp-2024.05.tar.gz 9727311 BLAKE2B 13303d2fa598628ab3cdcfb2a4a9a34b16aa1b6b7c73883114b23f1d969fc0bbadeb8ce692ddfaadb082c625be9d6cf8a291500fd953b2f43efd2995cd91a1cf SHA512 82b6277ac728b89f3c4548c735484aac21851140613471ba559a13db96fc90c13701ece0689ebd548f4ec91f3b1fca3e92f7a6772d7872c3943d5695222c235b -EBUILD nqp-2024.02.ebuild 3276 BLAKE2B b8b13bd9958d4506fb5b632ccc4b1811473337c50b0fc8dc5e410dad234ed6b8c300a77649efb2168e409e89ebf52a58a7b3aa69271162fa109dfc0b3d331e5d SHA512 870dadce58f644e8266ce3df8888602120124c29a7c027fc20a533a2033a96080f20dbe0a5cd84b771391ecd751d9f43709560d3c8c23a73abde2445fc3f1a4c +DIST nqp-2024.08.tar.gz 9726756 BLAKE2B c84854252d75c1518950d86e6b1cc48249454e473553602ef23a7489838cc2e05d57dc614573ccf5b5cfe0c8cd6cd3136836b3d03f4ebe62c07b92cdc02e94d8 SHA512 525f386d919556b2bd0b889b74ac5435e781c3aeb21651fc350033d52b85b05d3af803953c8bd968161d71ecf43bb82be0bd1919dafbdf619696f1a1d26ec0d9 EBUILD nqp-2024.04.ebuild 3276 BLAKE2B b8b13bd9958d4506fb5b632ccc4b1811473337c50b0fc8dc5e410dad234ed6b8c300a77649efb2168e409e89ebf52a58a7b3aa69271162fa109dfc0b3d331e5d SHA512 870dadce58f644e8266ce3df8888602120124c29a7c027fc20a533a2033a96080f20dbe0a5cd84b771391ecd751d9f43709560d3c8c23a73abde2445fc3f1a4c EBUILD nqp-2024.05.ebuild 3276 BLAKE2B b8b13bd9958d4506fb5b632ccc4b1811473337c50b0fc8dc5e410dad234ed6b8c300a77649efb2168e409e89ebf52a58a7b3aa69271162fa109dfc0b3d331e5d SHA512 870dadce58f644e8266ce3df8888602120124c29a7c027fc20a533a2033a96080f20dbe0a5cd84b771391ecd751d9f43709560d3c8c23a73abde2445fc3f1a4c +EBUILD nqp-2024.08.ebuild 3276 BLAKE2B b8b13bd9958d4506fb5b632ccc4b1811473337c50b0fc8dc5e410dad234ed6b8c300a77649efb2168e409e89ebf52a58a7b3aa69271162fa109dfc0b3d331e5d SHA512 870dadce58f644e8266ce3df8888602120124c29a7c027fc20a533a2033a96080f20dbe0a5cd84b771391ecd751d9f43709560d3c8c23a73abde2445fc3f1a4c EBUILD nqp-9999.ebuild 3276 BLAKE2B c8d0e4a22455aca6ef18384d27f7df0dbf4d185deaf4133c460497a317637657b33535de52917bff8627d96e59b83e0c196d61feabe70e52e4ebfe5a9defe8b4 SHA512 85412bd68704695e36f4a634d0097dc601cd7f319e2ad26c74833f5fab04f30b3eae3177461e6b4eb8000c7a94daa904ea37ed4166e25ac11522648d73b043ab MISC metadata.xml 517 BLAKE2B 384b3622592cc6d5fd94f2f34bcb69b00ce00bbea6b811e56d068a8882bcfb78fd3eae9f7b28173147b3235b942409f7b19d45044bf63bf9dea5b8b5f7110ca8 SHA512 bf89e6907f728f3e471a9a0fff41004cdd3cf50a92d8a1a262220bd590ae6a489f0b51d541bfefb15c4aae378621135a354ef48b768ea5b182e3fca6af6c3cb5 diff --git a/dev-lang/nqp/nqp-2024.02.ebuild b/dev-lang/nqp/nqp-2024.08.ebuild index efed9b5e0109..efed9b5e0109 100644 --- a/dev-lang/nqp/nqp-2024.02.ebuild +++ b/dev-lang/nqp/nqp-2024.08.ebuild diff --git a/dev-lang/perl/Manifest b/dev-lang/perl/Manifest index d79cd964f53b..aa1893ada653 100644 --- a/dev-lang/perl/Manifest +++ b/dev-lang/perl/Manifest @@ -9,5 +9,5 @@ DIST perl-cross-1.6.tar.gz 121973 BLAKE2B b3a17d92dd7621a3bc253a6c4e56eccd3adec2 EBUILD perl-5.38.2-r3.ebuild 28316 BLAKE2B 32ec17aa2d2d533b05cc57a79d0913bedbb34d2ea7d35ab11df8672676ecb5beb363d3032a05fdff6dd520cd99635e5bdde56be6eeb10ceac09662986c6abe52 SHA512 c287979fb92484c299166733c2836301995b4943819680159d9a77be6342607b23df06e4285ad564ca288199590e59b0242fd77a172ff3f33f31d31c47fdc00d EBUILD perl-5.38.2-r5.ebuild 28299 BLAKE2B ea02c304d44d97897347b6909abd20629a67f9dfc374f9b368a0fef424d57c678dbcbf5a9c15eeaa8cfc621461f5b641a97532cc600813ea4bdb38a2d2aa4ffa SHA512 ed2f4bdf9615b45cf740d51c32f52e2b3717a4190efbacfc9b4b3e095a3585cc728d74467846c2cfad0f06ab4e19c465887d76ab9346961bc246114897c674e1 EBUILD perl-5.38.2-r6.ebuild 28298 BLAKE2B 59180f9485dcb9e69d207bfda545a037827d6e3ecfaf1c044568d904ca25e0e88028049b22e9245d4ed9067166998c2b2656274d20e53676cfff617f2fd0347d SHA512 cca24c55c3dbf343b8d2c997b3a25455f865ad687786edd3783a055401d761d0d1bfb0e42bc70bc7b33745f4ed29944ebcb943e70a5d63528cb596b4f189af0e -EBUILD perl-5.40.0.ebuild 28126 BLAKE2B b844396bdea8c322e31272df5e298984ad5247b9a035a16adf40bc1644e14f525b5e1168a08b6c7f72295acaff47fbe9d361df7ccfa5894e386ab21d400a342a SHA512 fb0a547acc4783ff0b8b1bda262936dca767caa6d31f087eb80378d9b6519cabb0a19f5a805b900b4c88dcf5d64a9ce61c86ceae8c4be7e6047b6c2a48a5a322 +EBUILD perl-5.40.0.ebuild 28123 BLAKE2B abf0e43403b9bc8a447016892625755c9b319fc00645d981bf562f76e4ea892ecc3473730163ca32d4b3ab2f40ce00a61e4b8e0ee9e1513ad3185df2f15d53c4 SHA512 fbde33ddce8281bb5b4f98337de2dba7c580cfbb08f4c1aa98aa71f58f896a8792082cf6adbc5221abfd3b6cef426126e66a8e60405473ab1160d8783cc975ad MISC metadata.xml 435 BLAKE2B 9a9dfd2dc8274c402dde0c3be13053b28361603c4fd230d841b169843e397bd6e16537034495178dfd443246c1621b34d849455147e8556a12806d973293a855 SHA512 1cb3197cf3c6f3031bdbc95c2686fcd2585f6e457d0661ed986cf7fa91b4ca564f793c2f141bfe5b9b8c54d2b05dd200c3e32bf073061872e08bd7c501bedc83 diff --git a/dev-lang/perl/perl-5.40.0.ebuild b/dev-lang/perl/perl-5.40.0.ebuild index 56fcb3f30066..cd9a0e1fd69e 100644 --- a/dev-lang/perl/perl-5.40.0.ebuild +++ b/dev-lang/perl/perl-5.40.0.ebuild @@ -55,7 +55,7 @@ LICENSE="|| ( Artistic GPL-1+ )" SLOT="0/${SUBSLOT}" if [[ "${PV##*.}" != "9999" ]] && [[ "${PV/rc//}" == "${PV}" ]] ; then - KEYWORDS="~alpha amd64 ~arm ~arm64 ~hppa ~ia64 ~loong ~m68k ~mips ~ppc ~ppc64 ~riscv ~s390 ~sparc ~x86 ~amd64-linux ~x86-linux ~arm64-macos ~ppc-macos ~x64-macos ~x64-solaris" + KEYWORDS="~alpha amd64 ~arm ~arm64 ~hppa ~ia64 ~loong ~m68k ~mips ppc ppc64 ~riscv ~s390 sparc ~x86 ~amd64-linux ~x86-linux ~arm64-macos ~ppc-macos ~x64-macos ~x64-solaris" fi IUSE="berkdb perl_features_debug doc gdbm perl_features_ithreads minimal perl_features_quadmath" diff --git a/dev-lang/rakudo/Manifest b/dev-lang/rakudo/Manifest index 536638d110ef..474ab8e0e03c 100644 --- a/dev-lang/rakudo/Manifest +++ b/dev-lang/rakudo/Manifest @@ -1,7 +1,7 @@ -DIST rakudo-2024.02.tar.gz 6879828 BLAKE2B aa361c9e21c34cc5c737390ab6b1b8828afaa6aafaa604dbde273d68084cd0cebaf9c8bd796a394844f05b7bafc4f5d2db8a80a7bc1be8baab52b7a7f858bfa2 SHA512 b9bfdcbaf7daa80e6dfe1fb96e68482d2b110cca03067ef4e3e12270897ef0d53710d90fda97254c4cc012b3cdc4ec0c5d4a25facc5a0224a7579b96f9cd7aa3 DIST rakudo-2024.04.tar.gz 6908669 BLAKE2B 681a13e0fcefd8a0187f99a4bd92f72833a74870933497f6cb8de0b2ab3ddf07ee4c492760c53cd623f6d7afd3593194748882400ea94e703363c58fc4ea3d2c SHA512 98b4dd35456df1774a320dbd53ffecc72323d91c260ce1264b2056624e8cdf8a47cfcd89b775411f8bf3fb1f1b4725e2b75c7724c5891a4d366e5ba3f2a11cd4 DIST rakudo-2024.05.tar.gz 6923643 BLAKE2B 9ec3796a2638489dea1bea510e1fdb6b1877011944dd50e2a8211f5b2d564ae7767dac3dc6510ce281c0df840aea3c1888b1d13cac461ecf3c5b031e6d6d27da SHA512 12b0c61c3c13fbb80bc281c4fa2c9e2ecc2b9f24b11501ff05fe82f3208c8b2adec94f2181ca0926f40da4f27d611aa2420304c837d03a9f597925b78f837b82 -EBUILD rakudo-2024.02.ebuild 1598 BLAKE2B 513ea2ba61a1160bcbdd33457a499c9264e7366cae7cfef681440cfd789ea7da5815f50016bb96a275c1ecca3f9b3bec5bfb2d8acd0372ddbaa265ba33103a97 SHA512 32fb5f6ea2fd9deec33076124d51fba1b9fa6f94a4995013840faafc64691d44290087e9c4ea5507fe2fa4898f7e25e3544102fbb30ea7d3bf481b33eebad470 +DIST rakudo-2024.08.tar.gz 6956638 BLAKE2B e3d063589be0a39557f0cd3cfeceb3cb97a88db7906a64f5ba37dc6099faaff7f451fff34a9abac1b8c64fe2959eddfa62218423f7684c71b4d3ce7c3286d947 SHA512 302b232b469e7ea5a38afec900746876a01bf6efc9ca8957e2f6a9328dccad81ec988feb2d0bf2a50ecd4c654624a819d0721a6da4a02653054558f1533bf308 EBUILD rakudo-2024.04.ebuild 1598 BLAKE2B 513ea2ba61a1160bcbdd33457a499c9264e7366cae7cfef681440cfd789ea7da5815f50016bb96a275c1ecca3f9b3bec5bfb2d8acd0372ddbaa265ba33103a97 SHA512 32fb5f6ea2fd9deec33076124d51fba1b9fa6f94a4995013840faafc64691d44290087e9c4ea5507fe2fa4898f7e25e3544102fbb30ea7d3bf481b33eebad470 EBUILD rakudo-2024.05.ebuild 1598 BLAKE2B 513ea2ba61a1160bcbdd33457a499c9264e7366cae7cfef681440cfd789ea7da5815f50016bb96a275c1ecca3f9b3bec5bfb2d8acd0372ddbaa265ba33103a97 SHA512 32fb5f6ea2fd9deec33076124d51fba1b9fa6f94a4995013840faafc64691d44290087e9c4ea5507fe2fa4898f7e25e3544102fbb30ea7d3bf481b33eebad470 +EBUILD rakudo-2024.08.ebuild 1598 BLAKE2B 513ea2ba61a1160bcbdd33457a499c9264e7366cae7cfef681440cfd789ea7da5815f50016bb96a275c1ecca3f9b3bec5bfb2d8acd0372ddbaa265ba33103a97 SHA512 32fb5f6ea2fd9deec33076124d51fba1b9fa6f94a4995013840faafc64691d44290087e9c4ea5507fe2fa4898f7e25e3544102fbb30ea7d3bf481b33eebad470 MISC metadata.xml 396 BLAKE2B 43b55c331967d55e0a5c8d2dad7399c20b4104494cf3310b5a95dbef537d07908135c7f9c7829c737f64466660056de8c5656637b54079fef0f90ea4cfef5f1e SHA512 163828a65041f6d74931e32b6edf8c58ddb59151f8c68519165e81003886ce67ff4bcd21e69dc8a1fb96e4b8189fb611dcf8b9d73a52b257ccc24de516185fae diff --git a/dev-lang/rakudo/rakudo-2024.02.ebuild b/dev-lang/rakudo/rakudo-2024.08.ebuild index 2af8fe10b2b6..2af8fe10b2b6 100644 --- a/dev-lang/rakudo/rakudo-2024.02.ebuild +++ b/dev-lang/rakudo/rakudo-2024.08.ebuild diff --git a/dev-lang/ruby/Manifest b/dev-lang/ruby/Manifest index 83ddfdb048db..e448f51f6327 100644 --- a/dev-lang/ruby/Manifest +++ b/dev-lang/ruby/Manifest @@ -26,14 +26,14 @@ DIST ruby-3.2.4.tar.xz 15175656 BLAKE2B 9c2300a958b03528d51f0d74a069c8c538ca4009 DIST ruby-3.2.5.tar.xz 15189072 BLAKE2B a37c92a0f751e81dcae328b8944c4ecf10f6aee4f4468d6d08bb924c9808c8556c5febb71a825dd62dbcccf56385138e6e306bf3efae3589bdf0512d16d99d1a SHA512 092348b84b513aec62e63ec10b326370d0e3d1fa3126c59c03c84f28e2d7741a4772c461b077ec6a7dac3964a20f434655729e1acd50a3438755d7ad64073305 DIST ruby-3.3.2.tar.xz 16349500 BLAKE2B 2a474df10363555e8f0b9ad73bb854ad34f3d1485b8bdde833c999b20bc2c17282d2097d887d10f454bbd4dfdf08f04bb644a7e41d0b4a0ff0e9eb144339b5e8 SHA512 70dd8eb933956f894c52a8ede42e8ee74ff0e062bd8134a0bfb6bffc83a2848a658b62c8df5530b4dd64087b2d5373909c48917528facb1e6f4e99e79b6ad449 DIST ruby-3.3.4.tar.xz 16366580 BLAKE2B e10b81ad7838e3d443ce0b12b8372faebb001f00a32dc0fa1f5e37c46baae99ea714e7f2a8741f0294255312030e844f32fc5d1c3695545cf8303e85b3255f21 SHA512 b26461a13ff82a08a282f10108028bb2a2e4a28da6182a291062fc54089c6655d79c22cc69d59156f9b11cb10a17fe8c69d489343fbae123a45f03361b95c9eb -EBUILD ruby-3.1.4-r3.ebuild 8353 BLAKE2B 442e4dab4ca961de6b489d7bf4182d5664c9e473f0891479d3842cb09936b5e5b21ace1a730b56824969eda328c38f3b7b25c48124399c8ba3c97a73aff69b77 SHA512 dea295106f0a8a94e44f6c341c57fd19b2d9d212b8db6f7561376aac07a546107809a2eda7f8be38f0fbd0b9f477ce88f5432fdec8004f19cc16691ac0c13dbf -EBUILD ruby-3.1.5.ebuild 8678 BLAKE2B 8efd1b3ee7009bd7c983b9eb9a8a9eea29754fbba330957200548d27c1eeace562abafa8640a3ffd96adb8bdacf06918e21bef7870cff860225a408da7a45e3a SHA512 788d2ff68acbeb7dcc28502b9209ce43dc4d0f64810766df3eb8c140b3cddbe70756785a8c12ea2a588f596e12f2e8652f531a62112330522812847ad4297a89 -EBUILD ruby-3.1.6-r1.ebuild 9216 BLAKE2B 56f222cf3f4a13739ff20f9e83120288db771bf5f2b17fdb864b05c25c0cb88123982e50744f58285ef4494f48225e16e92c8df40ef8c8e7972596b460ff2845 SHA512 f3adae7357d2710af7821f61cd79033136f37016e88d7e862200596eef0786dc72be2efa2511cc9d2a5ba25cf10735df781e90e1aaafd6c567e0e4b175966ced -EBUILD ruby-3.2.3.ebuild 9534 BLAKE2B 8383353bf02c2abba8dcf67cbdffcc197d085fce1c961c56d0d493ccc840f0970efb105b916a28d590c6f6caff42e654651361f685bce545c969082981cbd25f SHA512 78f8270db8c06b960a84b03b20b31f3aacc455905637e8cf3e040724d1c39b43aac19e296205902cf6c958e5c64ed0843e6854ae9997e612598aea6b3965c6d0 -EBUILD ruby-3.2.4-r1.ebuild 9728 BLAKE2B 6554ba17e3294d728453ff4b501309c45f2814b72a3bbe9cda6c00424f41733b8faed9d2f98716aa3f3f76968d21f6df6a42b1220882c98b29947859f57aa7d9 SHA512 aebf0168496d1ce0da7318c520c991a85563dda646526f21e0511f645abecc291466fdce2addc9d0a81f0eb70d317b71e5e23d0d95856a01610b59a75cc4c081 -EBUILD ruby-3.2.4.ebuild 9578 BLAKE2B 7ef454464ff6b379ba0f56a64a4d9e6aff3b74d8f8d329eda7e7d4c9ef3ec0bc31ba4a61b8787e73fb3a52b6403146de25a8924f7f7c08f3fa0be7b309ab5ba0 SHA512 51067d30e872159ce36e25bea4183eb98b34a3bdc2026d04097e6f23f644772a665ca5ff74ef3e76bb7a5eaa8b8325adf294b763fd57c728febd1f21150c52d4 -EBUILD ruby-3.2.5.ebuild 9730 BLAKE2B e8cd713a93ffae81f6d1a7152f608a53b44eb30463dca4dc941368edbe7f437c98ea1fb84fedb1dcbe572f5408458a1a61ed5099fbe018d7da472892eacce02b SHA512 0bd5940aeeb4c135b8f049de507edcbd1fccb7b17ada9de7a8de59cc6eddbd240fc80455966612a07d1bce6032f66fb6fc863b0590ca749701052275b47e7397 -EBUILD ruby-3.3.2.ebuild 9269 BLAKE2B 3f9971414512fb66be404c5a7ed5553e8b581b5f19874d7ab733d5d6aad3cca489163764d3bc2aa81a6f5d2981026290e4a197cf4b3712218741b4aede3268ee SHA512 44419e0bac61f0e9215e4c131ede309b08ef3d021c476899c0adadf35d54d661e86beb75a5e80a95dc7915131b748823e9ea5b53af3f8bce6fb7ac11c178690c -EBUILD ruby-3.3.4-r1.ebuild 9583 BLAKE2B 1755bd4e52fe6df120161ce549f31370a5782ffa816bfeb53f2841fd23f5e5b928855882cf14ff0f7f74a74c8ac1a099036a4d4dd961553178ac2207e6ba65f7 SHA512 637273b10d522ef5ca47474cd321d91af1ff87eaa43e7dd3fcd62865cc5a50db79de9260718a024f8436ab2bed2bc32c010f6e7f940fcdf1dcdc5d5471c50744 -EBUILD ruby-3.3.4.ebuild 9540 BLAKE2B 1ba26b28667aa365da7b9e86f182843e3e69d2ce02f2c8338d7b62e54c26dc59ee4dd841cdd99a1dfe7919cb57aac03bb0989424a45a388e097cfac74271a2ce SHA512 f445bb5a5b05c85fe12ec8054f3847b4a7d42a16b0f868a65dbe1b13b179d9e0259d516613312c89b19b80321429e8ed0a69800eda91f7e552c0269faa23760f -MISC metadata.xml 504 BLAKE2B ca7743b107a6825dd029e0798cf1b0d048e3ce730382245565692e9242d09553db2c09edd1d09195602d9d96167c8606f3e7ddd5a27e1473eb9e4fbbc9074d1d SHA512 c2cf0a52fe03067cc09edc660d981af2465e4a733e53ad601d0e6377fa61072a60be4ec916cae94023328600e52a29f18621b47e839bddc897fa00db44feb9b1 +EBUILD ruby-3.1.4-r3.ebuild 8518 BLAKE2B 2a366100dcef021036d16f2990a3780a7a0a2b919885eadd5659e342811e93128e27018479393374698bb83e471c5f053e36a596733e2cbc8cea17be8fff932a SHA512 8355f5bb69352d3b91fb4f7ae1a92b4c30c86a65a5f2c8a484e444235215b425237ded8f9637ea63e823c7005df758ee2d88dcf10df7fb00b4ae65b8978ef2eb +EBUILD ruby-3.1.5.ebuild 8843 BLAKE2B 3da70a24a0649f3fbb032a26f991791eb8b8829c98cee51e3c0d9ac50d3c3d03ca223b6350b5e2886145507030083dcf9d7f54f7e41241c4ad9c094ff4153ea6 SHA512 98434af199ba50f4112b653f6613ceb128aa03fbecd49435775f60e276b50bfa85574f050daba68ae48b599518ebe2ded670263e326299131c14e4099fafef7c +EBUILD ruby-3.1.6-r1.ebuild 9381 BLAKE2B e2beae22ab1f4ed9c39e766254394c69d11a70bc501ae8b16511ecb95be72823d08df4bfa341373588529dcc822f4afb0f7c7570adb1c96c751ddae8cf23abdd SHA512 e1685e5d362efe4aae67790af7478ae35a4cce589e0a6acd05662b3ba428c1ab7af56e46a59e7ae26db6d7451b0f6753ddc97a3cc499c9c80fdbf4944f6e2b40 +EBUILD ruby-3.2.3.ebuild 9699 BLAKE2B 22a97b97899e318049e2f624bb46570c8d3b49adc70bdd9c6a25cb358c78878db6e27e9409fd583da4fe8a5010b241c76d252b471100475bc13022626860d245 SHA512 92c8c43d2e2688c46a546ce2034ac60c8a1ff3ff990f12f7c0cae3432d5a810a667a5392784dd20275ee67a9a3c6c21da9877cc519e5c636f5ab733c9c7437d1 +EBUILD ruby-3.2.4-r1.ebuild 9893 BLAKE2B 193c34c66e416e270ac8179ee09f9c6c6822918798ae0cac6b38f8abd23f9c60c2ca6ee5631b2a3e31d52a4be797812cc30e12579ca99b6f60c9cac9df0df911 SHA512 44fe89f0b6859e8c00cbf652451e3117460b4dae4f6cc55ad1add192aca6ee5bcf3abc941edc7fe47cfdbf803055ae7d402bc12ec7b3112f0db4737cb9824eb4 +EBUILD ruby-3.2.4.ebuild 9743 BLAKE2B b8deb53d4b4b7f052c5572cc8c98d82e56b00a1a746f7b2396efcd5c2b358c5d77b7ca9a243f8ef280adc13d51675236bd4fe07e8d7caa8edf3d653465c72f13 SHA512 a1eaed35fe92864d7a70fcf7dbc87efd6c2044cc696e31cb7e7dbd6ea41718bffeb75380ab0dd5734bc7a4ecfd2957e97b7a41cd9bd680291278000bb118a673 +EBUILD ruby-3.2.5.ebuild 9895 BLAKE2B 4ee1d973aa3411e77cb08797cb56952ff53da567fc25ef6adadabb6a59747b7404d94ba50b736d4dc584bc3c88856a1798548816832aa3f4f4f941e8ebce6cea SHA512 8f713582267ed691a9f1b7daabf7cef6ae5999ed1acbf439f6592a37cc31b8c3ee5b5fb426eb92c72262ea5d662a1eebe68188c1dedfa5d275ca3f7f28c41542 +EBUILD ruby-3.3.2.ebuild 9434 BLAKE2B 542c4266c61d7efaefa62e408c50c45227e969050257e9ed20fb80c1fa05b210aae3091b04baac6b3c6f797268f9aa318d9bf1dee286171abc6774b3fd402582 SHA512 acb5af0b5b60c3284928d92a05a0dc0807051bc1d3c1d422e8a4832e01b87e1950dfb5b5810675c98b3f7e62781437de06c358867999a2aeaaff58095022dff8 +EBUILD ruby-3.3.4-r1.ebuild 9748 BLAKE2B a93e69c169a04d29b230ae0fb601fba2c7f704d6de123048a9001a7fbeb904a1639defeb8d77372306ccfe11f683ada458538ab8c4911139a6c2ae0bf831211d SHA512 53da8452b44a36327c7e9ba67a2e5c9b26ac79ed460889d7d82a067e34978e174ac63fc14ad011fa5e02f6274dd7c2defbab05ede748a9c914cc48448703c426 +EBUILD ruby-3.3.4.ebuild 9705 BLAKE2B d45c6a2f143d304d51b85a1f03fc3b0556723599336898084fafb5749bf0e342ab9a4832ebf248fbbf895ac4f660881db80f61caefeb5c9265ca2b122af52ff1 SHA512 82e36eae0a9ae43227a955925ad62164b9f580f61bf67b9ca04711fa43c371a72c85d57f6dcfdd5be18da271a3a4ba6200f75be3084ddedd1b40277bd204f42a +MISC metadata.xml 504 BLAKE2B 49be2bb1dba034b23a8294cca0e5419099b487973a43db31c0edc4b9a2a08eb1b54437b0c7e6a9e6d8a5c0145cd73464f830ec04ca62540416c32b2d094cdd63 SHA512 e9991c588874e36f6a0abb12125bcd3f2b1e787df62d9f7089053959286b56676a9f35c7e82116274f169bfa22359be8df59fca6454be559e7669d2e78dc4c22 diff --git a/dev-lang/ruby/metadata.xml b/dev-lang/ruby/metadata.xml index cf9a21622439..628c6c4c66b0 100644 --- a/dev-lang/ruby/metadata.xml +++ b/dev-lang/ruby/metadata.xml @@ -7,7 +7,7 @@ </maintainer> <use> <flag name="rdoc">Install <pkg>dev-ruby/rdoc</pkg> after installing Ruby.</flag> - <flag name="systemtap">Enable SystemTAP/DTrace tracing</flag> + <flag name="systemtap">Enable SystemTap/DTrace tracing</flag> </use> <upstream> <remote-id type="github">ruby/ruby</remote-id> diff --git a/dev-lang/ruby/ruby-3.1.4-r3.ebuild b/dev-lang/ruby/ruby-3.1.4-r3.ebuild index c75cb26915d4..e4a60e643913 100644 --- a/dev-lang/ruby/ruby-3.1.4-r3.ebuild +++ b/dev-lang/ruby/ruby-3.1.4-r3.ebuild @@ -140,6 +140,11 @@ src_configure() { # as it's risky with newer compilers to leave it as it is. append-flags -fno-strict-aliasing + # Workaround for bug #938302 + if use systemtap && ! has_version "dev-debug/systemtap[dtrace-symlink(-)]" ; then + export DTRACE="${BROOT}"/usr/bin/stap-dtrace + fi + # Socks support via dante if use socks5 ; then # Socks support can't be disabled as long as SOCKS_SERVER is diff --git a/dev-lang/ruby/ruby-3.1.5.ebuild b/dev-lang/ruby/ruby-3.1.5.ebuild index 7c501cfa9b7f..09b8eed003fc 100644 --- a/dev-lang/ruby/ruby-3.1.5.ebuild +++ b/dev-lang/ruby/ruby-3.1.5.ebuild @@ -149,6 +149,11 @@ src_configure() { # as it's risky with newer compilers to leave it as it is. append-flags -fno-strict-aliasing + # Workaround for bug #938302 + if use systemtap && ! has_version "dev-debug/systemtap[dtrace-symlink(-)]" ; then + export DTRACE="${BROOT}"/usr/bin/stap-dtrace + fi + # Socks support via dante if use socks5 ; then # Socks support can't be disabled as long as SOCKS_SERVER is diff --git a/dev-lang/ruby/ruby-3.1.6-r1.ebuild b/dev-lang/ruby/ruby-3.1.6-r1.ebuild index 8ee6c384862b..5317d35b0fe1 100644 --- a/dev-lang/ruby/ruby-3.1.6-r1.ebuild +++ b/dev-lang/ruby/ruby-3.1.6-r1.ebuild @@ -159,6 +159,11 @@ src_configure() { # as it's risky with newer compilers to leave it as it is. append-flags -fno-strict-aliasing + # Workaround for bug #938302 + if use systemtap && ! has_version "dev-debug/systemtap[dtrace-symlink(-)]" ; then + export DTRACE="${BROOT}"/usr/bin/stap-dtrace + fi + # Socks support via dante if use socks5 ; then # Socks support can't be disabled as long as SOCKS_SERVER is diff --git a/dev-lang/ruby/ruby-3.2.3.ebuild b/dev-lang/ruby/ruby-3.2.3.ebuild index 1acabf564cb0..defcbe17bb80 100644 --- a/dev-lang/ruby/ruby-3.2.3.ebuild +++ b/dev-lang/ruby/ruby-3.2.3.ebuild @@ -160,6 +160,11 @@ src_configure() { # as it's risky with newer compilers to leave it as it is. append-flags -fno-strict-aliasing + # Workaround for bug #938302 + if use systemtap && ! has_version "dev-debug/systemtap[dtrace-symlink(-)]" ; then + export DTRACE="${BROOT}"/usr/bin/stap-dtrace + fi + # Socks support via dante if use socks5 ; then # Socks support can't be disabled as long as SOCKS_SERVER is diff --git a/dev-lang/ruby/ruby-3.2.4-r1.ebuild b/dev-lang/ruby/ruby-3.2.4-r1.ebuild index 9a34253b7286..e9eeab6720c3 100644 --- a/dev-lang/ruby/ruby-3.2.4-r1.ebuild +++ b/dev-lang/ruby/ruby-3.2.4-r1.ebuild @@ -165,6 +165,11 @@ src_configure() { # as it's risky with newer compilers to leave it as it is. append-flags -fno-strict-aliasing + # Workaround for bug #938302 + if use systemtap && ! has_version "dev-debug/systemtap[dtrace-symlink(-)]" ; then + export DTRACE="${BROOT}"/usr/bin/stap-dtrace + fi + # Socks support via dante if use socks5 ; then # Socks support can't be disabled as long as SOCKS_SERVER is diff --git a/dev-lang/ruby/ruby-3.2.4.ebuild b/dev-lang/ruby/ruby-3.2.4.ebuild index b6930b6a74e1..29eafa112bc8 100644 --- a/dev-lang/ruby/ruby-3.2.4.ebuild +++ b/dev-lang/ruby/ruby-3.2.4.ebuild @@ -161,6 +161,11 @@ src_configure() { # as it's risky with newer compilers to leave it as it is. append-flags -fno-strict-aliasing + # Workaround for bug #938302 + if use systemtap && ! has_version "dev-debug/systemtap[dtrace-symlink(-)]" ; then + export DTRACE="${BROOT}"/usr/bin/stap-dtrace + fi + # Socks support via dante if use socks5 ; then # Socks support can't be disabled as long as SOCKS_SERVER is diff --git a/dev-lang/ruby/ruby-3.2.5.ebuild b/dev-lang/ruby/ruby-3.2.5.ebuild index cbd46d6f96c4..d7e52fe86322 100644 --- a/dev-lang/ruby/ruby-3.2.5.ebuild +++ b/dev-lang/ruby/ruby-3.2.5.ebuild @@ -165,6 +165,11 @@ src_configure() { # as it's risky with newer compilers to leave it as it is. append-flags -fno-strict-aliasing + # Workaround for bug #938302 + if use systemtap && ! has_version "dev-debug/systemtap[dtrace-symlink(-)]" ; then + export DTRACE="${BROOT}"/usr/bin/stap-dtrace + fi + # Socks support via dante if use socks5 ; then # Socks support can't be disabled as long as SOCKS_SERVER is diff --git a/dev-lang/ruby/ruby-3.3.2.ebuild b/dev-lang/ruby/ruby-3.3.2.ebuild index 02b05be1c6ca..e6bcd9a7151c 100644 --- a/dev-lang/ruby/ruby-3.3.2.ebuild +++ b/dev-lang/ruby/ruby-3.3.2.ebuild @@ -162,6 +162,11 @@ src_configure() { # as it's risky with newer compilers to leave it as it is. append-flags -fno-strict-aliasing + # Workaround for bug #938302 + if use systemtap && ! has_version "dev-debug/systemtap[dtrace-symlink(-)]" ; then + export DTRACE="${BROOT}"/usr/bin/stap-dtrace + fi + # Socks support via dante if use socks5 ; then # Socks support can't be disabled as long as SOCKS_SERVER is diff --git a/dev-lang/ruby/ruby-3.3.4-r1.ebuild b/dev-lang/ruby/ruby-3.3.4-r1.ebuild index 0ef34173c25d..0e86f0e2350b 100644 --- a/dev-lang/ruby/ruby-3.3.4-r1.ebuild +++ b/dev-lang/ruby/ruby-3.3.4-r1.ebuild @@ -168,6 +168,11 @@ src_configure() { # as it's risky with newer compilers to leave it as it is. append-flags -fno-strict-aliasing + # Workaround for bug #938302 + if use systemtap && ! has_version "dev-debug/systemtap[dtrace-symlink(-)]" ; then + export DTRACE="${BROOT}"/usr/bin/stap-dtrace + fi + # Socks support via dante if use socks5 ; then # Socks support can't be disabled as long as SOCKS_SERVER is diff --git a/dev-lang/ruby/ruby-3.3.4.ebuild b/dev-lang/ruby/ruby-3.3.4.ebuild index e96e95a64f16..a85d9608d0bb 100644 --- a/dev-lang/ruby/ruby-3.3.4.ebuild +++ b/dev-lang/ruby/ruby-3.3.4.ebuild @@ -167,6 +167,11 @@ src_configure() { # as it's risky with newer compilers to leave it as it is. append-flags -fno-strict-aliasing + # Workaround for bug #938302 + if use systemtap && ! has_version "dev-debug/systemtap[dtrace-symlink(-)]" ; then + export DTRACE="${BROOT}"/usr/bin/stap-dtrace + fi + # Socks support via dante if use socks5 ; then # Socks support can't be disabled as long as SOCKS_SERVER is |