summaryrefslogtreecommitdiff
path: root/dev-lang
diff options
context:
space:
mode:
authorV3n3RiX <venerix@koprulu.sector>2022-11-19 00:59:31 +0000
committerV3n3RiX <venerix@koprulu.sector>2022-11-19 00:59:31 +0000
commit6e476156e1a0d2f4aa53968c37835c3441301367 (patch)
treeaa9b3b9d969a8846aff874749938ea20b6cb06c2 /dev-lang
parent1b07dd0a2cbe034321c613ee58a1f99a0df17995 (diff)
gentoo auto-resync : 19:11:2022 - 00:59:30
Diffstat (limited to 'dev-lang')
-rw-r--r--dev-lang/Manifest.gzbin19338 -> 19353 bytes
-rw-r--r--dev-lang/dafny-bin/Manifest6
-rw-r--r--dev-lang/dafny-bin/dafny-bin-3.8.1-r1.ebuild (renamed from dev-lang/dafny-bin/dafny-bin-3.8.1.ebuild)2
-rw-r--r--dev-lang/dafny-bin/dafny-bin-3.9.0-r1.ebuild (renamed from dev-lang/dafny-bin/dafny-bin-3.9.0.ebuild)2
-rw-r--r--dev-lang/dafny-bin/dafny-bin-3.9.1-r1.ebuild (renamed from dev-lang/dafny-bin/dafny-bin-3.9.1.ebuild)2
-rw-r--r--dev-lang/rust-bin/Manifest2
-rw-r--r--dev-lang/rust-bin/rust-bin-1.65.0.ebuild2
-rw-r--r--dev-lang/rust/Manifest2
-rw-r--r--dev-lang/rust/rust-1.65.0.ebuild2
9 files changed, 10 insertions, 10 deletions
diff --git a/dev-lang/Manifest.gz b/dev-lang/Manifest.gz
index 0718da5a1a3d..48e686c02f43 100644
--- a/dev-lang/Manifest.gz
+++ b/dev-lang/Manifest.gz
Binary files differ
diff --git a/dev-lang/dafny-bin/Manifest b/dev-lang/dafny-bin/Manifest
index bcb98b93876c..53096d1f8314 100644
--- a/dev-lang/dafny-bin/Manifest
+++ b/dev-lang/dafny-bin/Manifest
@@ -1,7 +1,7 @@
DIST dafny-3.8.1-x64-ubuntu-16.04.zip 76192825 BLAKE2B fbfe65f917fb1c04151969e466097ea5703b70fea5c2e04ed6ed756d05c3c46796951d641cca66c30b59d4b70dcee2bef9c7ccac6cd04fe3204b41a08910197c SHA512 ae10f912977827525902317a2215b3066f4271efd2dfdf314859b8c82cfb18ea881bafba5bde0d9f31f3b1429bef252774ca7a495f6661dff7f9f0d5fe042806
DIST dafny-3.9.0-x64-ubuntu-16.04.zip 76348358 BLAKE2B aa217b8583a54f11e23769c214bff182025d7a8669a27f63ef3ee161640f1637d3eebc3e154c44d6cb0dc07060ac0bb3ba38dc7504af04c7a3c04425ee7437df SHA512 e595c80eed0c994a5e2f6cc34b18262f3401d7968e9da32449638591898998a56de70989240e8227ed6c40946205ba20542ac13e4e90cc597de657d81d389060
DIST dafny-3.9.1-x64-ubuntu-16.04.zip 76356092 BLAKE2B 7337cbc5b698cec24ffcc3d05cc00403e37a865e422bab36860ca4a1136c3bf4d8dc70647640d0e3f1dc6846a0b72a3edc6a09cef51d7d56ab455dabd006236a SHA512 dbacd0dbeb4e97497faf7f6b6bfedac1ccc9f0e1da129ac1e3b124a0920ac659b6c78237102c5e087d350017c3bb3fd93ac8ca353b1b0e2d13073f35bfc9df7d
-EBUILD dafny-bin-3.8.1.ebuild 1229 BLAKE2B a65e97fadfae1e22527a69db2d1ebf42be9fae233780727890c6938b8405c07818f2ed555a3786ce177e969d64398f95b6a1614767c75de63b80f456a769a48a SHA512 126232acf51c98a755d74d3aec72c7950448ed5f343e98936f387681d0de6ce365cb79eca300ae630f892afe0cc1b38ce9b7bcb054a07c8e1c80b25169c7a421
-EBUILD dafny-bin-3.9.0.ebuild 1187 BLAKE2B e2b627626e5fc6201744d9aa3fe69850759a0bcfad60fbd897261b64690bb83b03b514da15e8a4a2c3c063a54679ce353fa44fa3e2f4d40db309149bf61b9314 SHA512 ec9791c3d2ea90d4a22671a514c9fee759c51dc70dfd3be3203dd2b3c566843f45274602102b0bafd0dbbb20cf05c304154af1533126e4461a5f60f577e73c17
-EBUILD dafny-bin-3.9.1.ebuild 1187 BLAKE2B e2b627626e5fc6201744d9aa3fe69850759a0bcfad60fbd897261b64690bb83b03b514da15e8a4a2c3c063a54679ce353fa44fa3e2f4d40db309149bf61b9314 SHA512 ec9791c3d2ea90d4a22671a514c9fee759c51dc70dfd3be3203dd2b3c566843f45274602102b0bafd0dbbb20cf05c304154af1533126e4461a5f60f577e73c17
+EBUILD dafny-bin-3.8.1-r1.ebuild 1236 BLAKE2B bba1565928baf92515fb873a5ac452b98db0144175f20b332b9ccbabc743152884ad933afb4c94fea7d3eec3ec32b37ba8a0c0aab9ab389232dab6d0fc5bb4e7 SHA512 b75d64f5badd2650179e13ad56af8c25594ba449c2746f15f31aa0fb0c3c51338fba20e857b24e828d686abf6dc20285f322b199cecb75bc4de9c77fb6f3756e
+EBUILD dafny-bin-3.9.0-r1.ebuild 1194 BLAKE2B 57799fbc389921f46a770ea54c8403b927810074f0e4e4edd59c338d1cf9287086982c07bfd61628e7bb821751197fc7dd89d5af3c8d4717bdccb8a4cb76402d SHA512 9e233fc8f3d4f0c18d53716e24b4499aad02fbaada2a043a79751a501d694fc87e34b06d0d0f3895c76d1cf855bc05bf7bbc30d6b65c2a50b74f115752ed7836
+EBUILD dafny-bin-3.9.1-r1.ebuild 1194 BLAKE2B 57799fbc389921f46a770ea54c8403b927810074f0e4e4edd59c338d1cf9287086982c07bfd61628e7bb821751197fc7dd89d5af3c8d4717bdccb8a4cb76402d SHA512 9e233fc8f3d4f0c18d53716e24b4499aad02fbaada2a043a79751a501d694fc87e34b06d0d0f3895c76d1cf855bc05bf7bbc30d6b65c2a50b74f115752ed7836
MISC metadata.xml 1814 BLAKE2B cf1e080cccf3392a44bbf4b94350cf2d83b4704120c193421e5b0952e36bd07d5d2079968c8fc39b4cfc78daf2fb6aa8e58e71b92d4cf1abe3a7cf4297edb750 SHA512 dfd3eb544a7e76ae7d40a993559291348c3ecb58d433f90b44cb67743879e2ca1f7bb249135e39a98b6c41dd32f439c165a4ad0e6a3bd7572f5786b346df70bb
diff --git a/dev-lang/dafny-bin/dafny-bin-3.8.1.ebuild b/dev-lang/dafny-bin/dafny-bin-3.8.1-r1.ebuild
index 39a827f48c53..1c122629aafc 100644
--- a/dev-lang/dafny-bin/dafny-bin-3.8.1.ebuild
+++ b/dev-lang/dafny-bin/dafny-bin-3.8.1-r1.ebuild
@@ -14,7 +14,7 @@ REQUIRED_USE="elibc_glibc"
RDEPEND="
dev-libs/userspace-rcu
- dev-util/lttng-ust
+ dev-util/lttng-ust:0/2.12
sci-mathematics/z3
"
BDEPEND="app-arch/unzip"
diff --git a/dev-lang/dafny-bin/dafny-bin-3.9.0.ebuild b/dev-lang/dafny-bin/dafny-bin-3.9.0-r1.ebuild
index c7dbe567fbba..3571c06eeb55 100644
--- a/dev-lang/dafny-bin/dafny-bin-3.9.0.ebuild
+++ b/dev-lang/dafny-bin/dafny-bin-3.9.0-r1.ebuild
@@ -14,7 +14,7 @@ REQUIRED_USE="elibc_glibc"
RDEPEND="
dev-libs/userspace-rcu
- dev-util/lttng-ust
+ dev-util/lttng-ust:0/2.12
sci-mathematics/z3
"
BDEPEND="app-arch/unzip"
diff --git a/dev-lang/dafny-bin/dafny-bin-3.9.1.ebuild b/dev-lang/dafny-bin/dafny-bin-3.9.1-r1.ebuild
index c7dbe567fbba..3571c06eeb55 100644
--- a/dev-lang/dafny-bin/dafny-bin-3.9.1.ebuild
+++ b/dev-lang/dafny-bin/dafny-bin-3.9.1-r1.ebuild
@@ -14,7 +14,7 @@ REQUIRED_USE="elibc_glibc"
RDEPEND="
dev-libs/userspace-rcu
- dev-util/lttng-ust
+ dev-util/lttng-ust:0/2.12
sci-mathematics/z3
"
BDEPEND="app-arch/unzip"
diff --git a/dev-lang/rust-bin/Manifest b/dev-lang/rust-bin/Manifest
index 363d013214f3..273ab88a2011 100644
--- a/dev-lang/rust-bin/Manifest
+++ b/dev-lang/rust-bin/Manifest
@@ -67,5 +67,5 @@ DIST rust-1.65.0-x86_64-unknown-linux-musl.tar.xz.asc 801 BLAKE2B 054f1b773518a9
DIST rust-src-1.64.0.tar.xz 2437612 BLAKE2B 9bd5cb64c4ac98ffe60f15bf62517f3ba214ec788d939a27135bca4b770a7a760299ffa43090846e9a83c734a6b2d97102e51f9760f655cb596bda91214012a0 SHA512 a1867ea7a36f669fcde149578dceb8bc7503435d9c740594cd6181e0ea0e4be9d3c8b79f755c0f457bdbc3200149cd94eba17922d00610c5ff6be5fe1f8bd862
DIST rust-src-1.65.0.tar.xz 2488012 BLAKE2B d48f5591e72e14084f2fb0d66c1365f1648060d514af23c0498e02adfd7223b1a79bd1f512859b058f9cabc4b88b9230d15960df7c30762a5263d1785b877a68 SHA512 247f822a9c2f16d1de29d1cf6fa7ff393b7c7fe01da66a7c0b4add6259d72403922b8b1bd1b511ed8a9cc0b2c12ff574945aa7fc76c731fba620b466bcdc2eac
EBUILD rust-bin-1.64.0-r1.ebuild 6874 BLAKE2B 712d0b0046332418063598f64fc8bd0c024397e27d846e3c11aebdae6c4d29d7fc3da892b64d2d5fdc31f319b19fb380dfb5f96718cdd3cf7da6c4ee8add2fa6 SHA512 1418917f21689335fdd10249a4c7703b4271d89a103b2fd4762a28a98935944daf2e0f9da9456c8e16ab11c123d34d82cd3d0893393d2492f6e076b5ddf453ab
-EBUILD rust-bin-1.65.0.ebuild 6884 BLAKE2B f7ada336849dd5dc3dcf809f7c068bb5ecab1e765131bf8989e8ff8194a5846760b5cf3e211013ebac6acfb6a3b63009c5aa18e91e5d24d9d1a56e34b00339f7 SHA512 b9aef93e7f9a81821beda84743018825043612355e9df448faadc24d1c613d7b7e888e756d7ef1680d0bdab05e5f680241de8cae39bd68b2bf86974fd3542139
+EBUILD rust-bin-1.65.0.ebuild 6883 BLAKE2B 7c46041ac68eb6315598402bb41e22a17bc382c8158f416c2ba970334e171a7c97f124ba0eaf365e5c7f528f5afe950b2232b0091ec3ddadf848cb8c299b0e1c SHA512 b81eaccabf0451565e5f62ff071a03407d6158bed9e66f9a9210c5d0bdb507aefcce5cd441dcbe6b8c9135ad2fa98cac46945d0262c30d0507c955eae995357c
MISC metadata.xml 696 BLAKE2B d6c2665e1859a18e6b1bf7c04a0de5adda80e34b759994e158a137219e314ed0e4890a8a7f680e1b7bfb940c04e3c0b49eb3518f2fc08dcc9e19cd5fb867d02e SHA512 b93c2ab79c454d8897948e810150cb2512ca606083a2aa2135425a69ac7b7077f64e3d86f8f8b13734640a05e668a870d70003d6dc9fd3d151ca7ffcf2fb3c44
diff --git a/dev-lang/rust-bin/rust-bin-1.65.0.ebuild b/dev-lang/rust-bin/rust-bin-1.65.0.ebuild
index e018cab464e5..8febda3ed85d 100644
--- a/dev-lang/rust-bin/rust-bin-1.65.0.ebuild
+++ b/dev-lang/rust-bin/rust-bin-1.65.0.ebuild
@@ -20,7 +20,7 @@ SRC_URI+=" sparc? ( ${GENTOO_BIN_BASEURI}/${MY_P}-sparc64-unknown-linux-gnu.tar.
LICENSE="|| ( MIT Apache-2.0 ) BSD-1 BSD-2 BSD-4 UoI-NCSA"
SLOT="stable"
-KEYWORDS="amd64 arm ~arm64 ~mips ppc ppc64 ~riscv ~s390 ~sparc ~x86"
+KEYWORDS="amd64 arm arm64 ~mips ppc ppc64 ~riscv ~s390 ~sparc ~x86"
IUSE="clippy cpu_flags_x86_sse2 doc prefix rls rust-analyzer rust-src rustfmt"
DEPEND=""
diff --git a/dev-lang/rust/Manifest b/dev-lang/rust/Manifest
index 26ec4fc1b0a1..11062bba26b6 100644
--- a/dev-lang/rust/Manifest
+++ b/dev-lang/rust/Manifest
@@ -71,5 +71,5 @@ DIST rustc-1.64.0-src.tar.xz.asc 801 BLAKE2B 69f7bd7600d99794859c6fad4b44f0e9886
DIST rustc-1.65.0-src.tar.xz 139674928 BLAKE2B a218263fb67e306b153f5a6dae95b5ec653acaa5eb4b833862d6f0fd4685a8cec097dadc1b8a934e1bf6055672c7a617f9a0ad4a7dbf2e78084297f10b7ada04 SHA512 3d0369ed3028209c4ecb9b9e7b5f5e3a20be8cc05199675df4f091d62a96c0734bc1dbd7630928fe162792392ec6d0daf9ceed10771531ce022200c7b631e3be
DIST rustc-1.65.0-src.tar.xz.asc 801 BLAKE2B 43ff92011cd6f7f34ce0495fa341379e5907d032ea90f91e533e5edaec6ad518aad50a9d8b2694074d6909ee96aa779403b16e95792e962e79c1b967542ae26f SHA512 75b9be53363022c81333117876cbcc573bbd4733edf767cbb164218644efb1a9c4bfc2aa73aaa1e39f248a84f1adacb1930a94a6e63f60093ff760fb9ae02efc
EBUILD rust-1.64.0-r1.ebuild 23867 BLAKE2B b9d8aa35b84e668fb038fb813bfc6bc2bae4dce945e381cff0645a1fa9463a8cd30aa92e0018a407263929bd0da169191de136e634c9edacccd1ac0ffb69337b SHA512 4a174b1d34e6f7bfd860629d0bc06e99a7accf9eb7c7bf51f10db8b255237c63b3a5aee1291dd2ceb404676a67f5e507a7414ecc132c5926ee292cc047b0ced4
-EBUILD rust-1.65.0.ebuild 23997 BLAKE2B feb65c6095386e5ae532fbf751ac0be91d1838a922d98428fcdaa3b52ffc5ea833bbaece15f3f5e4abde759f7cfa2fc21f6cf02699c1af356db2ac2a868381c9 SHA512 31325cb495ab731b93a633d36591b272a5e2aaa8e0ae1cd83c2784e7c41af1188ff523350d24560bca562882633d84c5f78dd2deb141f0f57369ace6f665cf6b
+EBUILD rust-1.65.0.ebuild 23996 BLAKE2B d7a926797df27b629379e237dff0b2017965a488f4cda8c0e26e3e44d32a5d09511e446fd03a4c6312d609a576955a6a216651babe754b7e14c81b8d3d0da35c SHA512 0c651df80c60ff8dbefcc72fe452088d42d04c98e3d5c51257eb91558962b74209286ec274b1ff0d7b66812fc6406cf13278d349b9a85aa2f851526a3ab87738
MISC metadata.xml 1770 BLAKE2B d5881dc5ea39a5bfff7c74fa883dc1a6370db572568e10fce81467c2f2a17018de48123dfa7993d6d9644305bfc5ef5b0f445ef40362065fce943efb4af2e761 SHA512 c914e1a0cee95fa5cb332240f3eb6fbee73e5d8baabfa6bdcdc3e852c9480fea0686e435b969e14f45d8c791655edc6e6a7df2259ac99b6a6e63af65b09fa57e
diff --git a/dev-lang/rust/rust-1.65.0.ebuild b/dev-lang/rust/rust-1.65.0.ebuild
index 5c1e5faade7d..bfc942995c50 100644
--- a/dev-lang/rust/rust-1.65.0.ebuild
+++ b/dev-lang/rust/rust-1.65.0.ebuild
@@ -19,7 +19,7 @@ else
SLOT="stable/${ABI_VER}"
MY_P="rustc-${PV}"
SRC="${MY_P}-src.tar.xz"
- KEYWORDS="amd64 arm ~arm64 ~mips ppc64 ~riscv sparc ~x86"
+ KEYWORDS="amd64 arm arm64 ~mips ppc64 ~riscv sparc ~x86"
fi
RUST_STAGE0_VERSION="1.$(($(ver_cut 2) - 1)).0"