summaryrefslogtreecommitdiff
path: root/dev-lang
diff options
context:
space:
mode:
authorV3n3RiX <venerix@koprulu.sector>2023-02-01 21:05:47 +0000
committerV3n3RiX <venerix@koprulu.sector>2023-02-01 21:05:47 +0000
commit60f657b5e6155f26601c7def7baa11cee72246d0 (patch)
tree25aecda1c8de352c03f653934407abebf384a560 /dev-lang
parente523ebcd50638ebe53f8f425d126bfa7385703b5 (diff)
gentoo auto-resync : 01:02:2023 - 21:05:47
Diffstat (limited to 'dev-lang')
-rw-r--r--dev-lang/Manifest.gzbin19524 -> 19516 bytes
-rw-r--r--dev-lang/dafny-bin/Manifest2
-rw-r--r--dev-lang/dafny-bin/dafny-bin-3.10.0.ebuild4
-rw-r--r--dev-lang/go/Manifest4
-rw-r--r--dev-lang/go/go-1.18.10.ebuild2
-rw-r--r--dev-lang/go/go-1.19.5.ebuild2
6 files changed, 7 insertions, 7 deletions
diff --git a/dev-lang/Manifest.gz b/dev-lang/Manifest.gz
index 7d8764a0cde5..8d30f5fb7d83 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 a8f7db674095..79ed2907a229 100644
--- a/dev-lang/dafny-bin/Manifest
+++ b/dev-lang/dafny-bin/Manifest
@@ -1,5 +1,5 @@
DIST dafny-3.10.0-x64-ubuntu-16.04.zip 76468200 BLAKE2B d3b35260fca709f1808ec47874f5566dd2fc42af9a43354a97b86b8962b1b15c95df10f25fa8f0d6a12c83f5c12569aa981d56b796aeb1fd7563fc59c62d4259 SHA512 3f8e669025fd655a7709334876652176b3dce1eb980f1f797cf829fa53b125129a66a175d3a4fcc56aa276e28661c6d795ccc01901d0e457bdac754b29382ca3
DIST dafny-3.11.0-x64-ubuntu-16.04.zip 76510888 BLAKE2B 03591064f7af8971c5e175b4538c1344d6fd09c4ca2f3c52fef65af424d5fe462112f3853a59a0d3e84bf5945290b3b088472378577cb0881cf8129401606148 SHA512 0535151b0622f70b49457f1eaaa15c031b5ade5e44e64e79a6c6d1c46b9c2fed155f8da72274f8b8dd7815130ce80bd2b7af8a28d9423ebefde80d8cda1d12bb
-EBUILD dafny-bin-3.10.0.ebuild 1194 BLAKE2B 57799fbc389921f46a770ea54c8403b927810074f0e4e4edd59c338d1cf9287086982c07bfd61628e7bb821751197fc7dd89d5af3c8d4717bdccb8a4cb76402d SHA512 9e233fc8f3d4f0c18d53716e24b4499aad02fbaada2a043a79751a501d694fc87e34b06d0d0f3895c76d1cf855bc05bf7bbc30d6b65c2a50b74f115752ed7836
+EBUILD dafny-bin-3.10.0.ebuild 1193 BLAKE2B c17cc73039e3cec436a191c7e6f3be7e55c25176899866c1b702a4b4d092ada411f97d8a81acc03d6d255d251499b219cc5fa3e48f13cf527533928ad44cfd49 SHA512 03c99063f86d1f8eeeb015053f47e825593461ea5f0fd32a114f35fef31d5f6905d22ed7691e176d700a2015bb53efd1d28bdf8e21fd628869ec31d541cad0c1
EBUILD dafny-bin-3.11.0.ebuild 1194 BLAKE2B fa138121b0ca34ad53b4d7cd6c95d4a34920732f76cb4a1ffc68aff63668a04b7391e1f62745e6dcba50d7d22a903d7bae4fb88ce16565fa2da2aeb9ad30dca5 SHA512 a89f95ac5d102b6f91574ababfa3642d4a220116193ec8496362d045d9b5833eec575866f0b616b5e31909103dc28db3076ca9788e94d3861c0b8d303a6a2b86
MISC metadata.xml 1814 BLAKE2B cf1e080cccf3392a44bbf4b94350cf2d83b4704120c193421e5b0952e36bd07d5d2079968c8fc39b4cfc78daf2fb6aa8e58e71b92d4cf1abe3a7cf4297edb750 SHA512 dfd3eb544a7e76ae7d40a993559291348c3ecb58d433f90b44cb67743879e2ca1f7bb249135e39a98b6c41dd32f439c165a4ad0e6a3bd7572f5786b346df70bb
diff --git a/dev-lang/dafny-bin/dafny-bin-3.10.0.ebuild b/dev-lang/dafny-bin/dafny-bin-3.10.0.ebuild
index 3571c06eeb55..5e486ad54705 100644
--- a/dev-lang/dafny-bin/dafny-bin-3.10.0.ebuild
+++ b/dev-lang/dafny-bin/dafny-bin-3.10.0.ebuild
@@ -1,4 +1,4 @@
-# Copyright 1999-2022 Gentoo Authors
+# Copyright 1999-2023 Gentoo Authors
# Distributed under the terms of the GNU General Public License v2
EAPI=8
@@ -9,7 +9,7 @@ SRC_URI="https://github.com/dafny-lang/dafny/releases/download/v${PV}/dafny-${PV
LICENSE="MIT"
SLOT="0"
-KEYWORDS="-* ~amd64"
+KEYWORDS="-* amd64"
REQUIRED_USE="elibc_glibc"
RDEPEND="
diff --git a/dev-lang/go/Manifest b/dev-lang/go/Manifest
index 104303e2ccaf..340a3c3935e3 100644
--- a/dev-lang/go/Manifest
+++ b/dev-lang/go/Manifest
@@ -3,9 +3,9 @@ DIST go1.18.10.src.tar.gz 22880022 BLAKE2B e458ecd02a4d77b77f2b6b65ecac45195c0f5
DIST go1.18.9.src.tar.gz 22878625 BLAKE2B 47a379642080506ecdc9094cff78ac6ac1c1cc501959b11ad0f5066b5a0e6d3dd050afa5df118fa614ef02f828b8ee9ebb3e976a338f696f2d0cb2d0e6174d94 SHA512 5f47442cc8ffbbc8c709ed5e8a6f3c5e19fc7979a21dc9883bb27096ffd165a08106ed01e2239c95c9276517081f967be9581f7c45272f9b2dcfced096eb8a67
DIST go1.19.4.src.tar.gz 26542047 BLAKE2B 8373cbbad542cb5ccb54677e2a7d01ba62a2a15630a6aa49e4494debb308a8959191f67691e452cf447187e40b8edb1b75bf9b9e5eac299e64e97f4561a81433 SHA512 00866e171d73170583e292439beecdaaee1b8fa907b6ab03013390b0cd7eaebfbe8cb9f9222f1af86933b50602e584677bc3aa25993c02d07a11625a62db263b
DIST go1.19.5.src.tar.gz 26545858 BLAKE2B da4d77fdcde28bc6e27ddbe013bed4c02cbb17db878ff0d935051daaf7277e2cdfe30d0e6917d4ec2df62ded08117815f2eb12830cef48056f56188ac5eb92fb SHA512 26754f2a4870d0a5484162b626dad5109a33c116675898c84de46155659dadeff2b3fa9ea3dd0c7da8d23c8ff0974cfe42bdd07484e6f784617de3a577b3c883
-EBUILD go-1.18.10.ebuild 4802 BLAKE2B d3986f7753a1435f076f259e63bb427fc4b0523efe1c5733e83554aae55343c79e2f068757fab1f4031c4a9fa8ff740bd2caed2b5951106156b09405e594b1a1 SHA512 912e1b0d87c810aa08643bf228e411a951795a1174810f96132d7ce654217d1f27c4e60cbe40e3b739cef0a82f56e0c87ad1693ddd71d82fda9c115c98d510c1
+EBUILD go-1.18.10.ebuild 4801 BLAKE2B 40b7b52a417c7ac40b301a549bf8b8cc30a3874e7542c438a6f9000e809edcfec1babf0d9d5b9dfc3c7f27289cf6b334c5a20aa2df48d23806aa00abe6117899 SHA512 fa66796c61d0e33af0cad04e9b283f8135ae9bfb3c743ab529dd13d4d5fc367e91a643b7709fbbfc06017b1a10997dcf240899e905d09584dd2ea4077556f157
EBUILD go-1.18.9.ebuild 4798 BLAKE2B 8857c2432424a27febc299a46ca61bfd267d9a1d2fad7116096e5938a519410d35bf90b61a1827e2ad769986b9406ecd0bf1b9197e64b8a176e0a8d9dbb600eb SHA512 9e2efbcb8652fd203e239626f2ace311dba12c591829ce00e4204f28c3d908adeca69d1a17855c2544f2f8bc5d88a636a3d1c806d36542788c1949204b5535b8
EBUILD go-1.19.4.ebuild 5054 BLAKE2B bfbc428b87f2e9f73850027eca19f0b4ea1faf02d25b73e45cf7b60a4c517b3aa84eebf8ce7134fd43a14084f56c8117c3327d67a642ee825e8a9f61a90d1e9a SHA512 f48209444e188c0d44a133f9a983787fbe99b8a6eadcd9c16d2e131683f0bcf88cb2299315c2aaff5c5e70ffb0e5ecc49f7f87697fd8dbae7c852b54678d50eb
-EBUILD go-1.19.5.ebuild 5058 BLAKE2B 9d68497f4f879ce8f6f91eaba78196dcc2267f9aced41f1b33605ff7c57e98baad9f3d02b81fc1c0cade571ad39a1173060d5488fe400b0472929993582b82e0 SHA512 5db91ff0bd5335346858ca43c5254b0a8e2ee9d7c88f998c8da6a20334f94982e93ff67feb82d494976c95da075bdfd6140ff1b17c57e386aa659cf4f7d80fed
+EBUILD go-1.19.5.ebuild 5057 BLAKE2B dfb629a248de626a8dae3ec1839a5fbe8cf2e4219a0eb74f20ebcf0b9c1f3f379ce09949c0607bbdffab464a426858bc3b48eb30f8833783d8a564c7f43c9021 SHA512 9f68a265fed20e7c16f0785630cfa96348a7739c1ee53d87ce3c31cdc136ff524878a70374b8b78391bb1168a9195570366251cf4b52d4816b0175b390f070b4
EBUILD go-9999.ebuild 4798 BLAKE2B 50daca174e8bc89f747432e96bc7d66e6c7dd50320d0b4c97754bb90267d62b700d34c250a892fdf60c907fa5eb881dd7adb3e64eba7ceb240740bd90c399f83 SHA512 051671c9a99efe554f9ed66423a20d053546ba68fdbf8a900e4ef0a365622bf8fcc976c678e393ade4a5475e01ccc53668d61d98e1b976e69de030662498273a
MISC metadata.xml 590 BLAKE2B 56da63bdc350df5c6ef3b511a386627f4020f655027ca88da6a83ecb09581d3c3055c836eb8fe98a383412b3d431a77a9935ad753fe2d8392afa37cd613c15b0 SHA512 5d78adbae30c3a805194567bbb1af2ad59b78487819e7841a040d2a4d5db02f5b5d1d58f7cfc7a37f39e5e9bcf332dda4d336456e33e36c33caef792ac45d48b
diff --git a/dev-lang/go/go-1.18.10.ebuild b/dev-lang/go/go-1.18.10.ebuild
index fcb647f36443..9b66d998b583 100644
--- a/dev-lang/go/go-1.18.10.ebuild
+++ b/dev-lang/go/go-1.18.10.ebuild
@@ -21,7 +21,7 @@ case ${PV} in
case ${PV} in
*_beta*|*_rc*) ;;
*)
- KEYWORDS="-* ~amd64 ~arm ~arm64 ppc64 ~riscv ~s390 ~x86 ~amd64-linux ~x86-linux ~x64-macos ~x64-solaris"
+ KEYWORDS="-* ~amd64 ~arm arm64 ppc64 ~riscv ~s390 ~x86 ~amd64-linux ~x86-linux ~x64-macos ~x64-solaris"
;;
esac
esac
diff --git a/dev-lang/go/go-1.19.5.ebuild b/dev-lang/go/go-1.19.5.ebuild
index 478b6a544e12..0963489f3765 100644
--- a/dev-lang/go/go-1.19.5.ebuild
+++ b/dev-lang/go/go-1.19.5.ebuild
@@ -21,7 +21,7 @@ case ${PV} in
case ${PV} in
*_beta*|*_rc*) ;;
*)
- KEYWORDS="-* ~amd64 ~arm ~arm64 ~loong ~mips ppc64 ~riscv ~s390 ~x86 ~amd64-linux ~x86-linux ~x64-macos ~x64-solaris"
+ KEYWORDS="-* ~amd64 ~arm arm64 ~loong ~mips ppc64 ~riscv ~s390 ~x86 ~amd64-linux ~x86-linux ~x64-macos ~x64-solaris"
;;
esac
esac