diff options
| author | V3n3RiX <venerix@koprulu.sector> | 2023-02-01 21:05:47 +0000 |
|---|---|---|
| committer | V3n3RiX <venerix@koprulu.sector> | 2023-02-01 21:05:47 +0000 |
| commit | 60f657b5e6155f26601c7def7baa11cee72246d0 (patch) | |
| tree | 25aecda1c8de352c03f653934407abebf384a560 /dev-lang/dafny-bin | |
| parent | e523ebcd50638ebe53f8f425d126bfa7385703b5 (diff) | |
gentoo auto-resync : 01:02:2023 - 21:05:47
Diffstat (limited to 'dev-lang/dafny-bin')
| -rw-r--r-- | dev-lang/dafny-bin/Manifest | 2 | ||||
| -rw-r--r-- | dev-lang/dafny-bin/dafny-bin-3.10.0.ebuild | 4 |
2 files changed, 3 insertions, 3 deletions
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=" |