diff options
| author | V3n3RiX <venerix@koprulu.sector> | 2025-02-20 00:15:26 +0000 |
|---|---|---|
| committer | V3n3RiX <venerix@koprulu.sector> | 2025-02-20 00:15:26 +0000 |
| commit | 1534d50aaf24272ec425fa439389ef7e1f7bf174 (patch) | |
| tree | c48ca34f49e5c335c0d06b96d9f09d4a74e144d5 /dev-lang/dafny | |
| parent | 2e512e4e32285f8c4eb19586d014cb9d31454ec9 (diff) | |
gentoo auto-resync : 20:02:2025 - 00:15:26
Diffstat (limited to 'dev-lang/dafny')
| -rw-r--r-- | dev-lang/dafny/Manifest | 2 | ||||
| -rw-r--r-- | dev-lang/dafny/dafny-4.8.1.ebuild | 4 |
2 files changed, 3 insertions, 3 deletions
diff --git a/dev-lang/dafny/Manifest b/dev-lang/dafny/Manifest index d89b5f046909..7fccd1914881 100644 --- a/dev-lang/dafny/Manifest +++ b/dev-lang/dafny/Manifest @@ -401,7 +401,7 @@ DIST xunit.runner.visualstudio.2.5.1.nupkg 348549 BLAKE2B 530ffc6b699a1589ad6a7f DIST xunit.skippablefact.1.4.8.nupkg 44542 BLAKE2B 3c9b09d5196e8901770099b2e5078d9373e8ebc2da058a9071707d6fee56eab7c876578734f3be5b088db6ae83c8ad81a3aadfcab38e1fd2b28bd25601fe5463 SHA512 a2c680223bda4f9bfdbd751c8d6a5319e0a4611533272860ca0a396b26c473a13065301a5d8973074ea2bb5119caaeec5a67d547a96ae5d762dc09f337f51ad1 EBUILD dafny-4.10.0.ebuild 18906 BLAKE2B 4c281146c319832cd7c917765d64fe469851bc4bc82cac1070a2687629ab025f068dcc34b8dba79347da790c567803bfdadd314dd240fa6f78082074516d60ed SHA512 005bccb059dd6a7bc0afbbdbea114fe8b01e210b9fa45fe0445cad6a0ec2e730aac9eed697224591f509a9f29047789377faece8ce7a67b4303015657544f580 EBUILD dafny-4.8.0.ebuild 21093 BLAKE2B f3bc2e1080b1a4f47d6dfcfb8ff4284f1c78b165995933058b2ab4898f414de563ffb4daf057a2abdd757f9c12cc9abb3151872c68e073f08f38d6aa73cb8bcd SHA512 0163a7991f085cae600e9c85b5b9dd2a5e48cf8f6618a334e165c4b81469f8fc747172d9b8af829b43b202f7ccdf796eb340e111f203f32d76f68a58aa45bdd9 -EBUILD dafny-4.8.1.ebuild 21158 BLAKE2B 6dca483a23d848a297a17157f8c475d9903cfaee1b3509324bdff1c65a2513b849edeeb67856fbedb7b4545541828168a49760c275672ef33cfd5b11019de56c SHA512 994ffdccde2dadd0c02d5e60c73f58e32cb5d57c547b34ee8aa1566187b914e7514b383f2997d1171a2bc672892d26c2ab5b047444ac3ea1963429ce622651d3 +EBUILD dafny-4.8.1.ebuild 21157 BLAKE2B 12ce0ba00dddf39d85c97c80bfaeed0004866fc17369aa5bd1aaab2c083199ebc2925d2df6d0af46346a6adc124aa89db059ac92a668cd1d23546d94fe274dd1 SHA512 f86332ed23ad789becefc001d873395e5cbcf01870841d5845c86e9500d85db938136218bbc1ad4dcce1a9b1265fecb4614720d90005f1650ea5383f01158b60 EBUILD dafny-4.9.0.ebuild 20390 BLAKE2B e7d426bf27fa8cd4747c6c8e838a79942b24d4ff04f5e0d8c3f64e3ea07551756f18ec465fd83da6fad8d98a47c2a2f8551557e9dbfc819b176fbb843cb889e5 SHA512 6f559f88ff05e9b09c19dd400fd9e7ed9fe675269380b5389f0414d3efd523b34fb7ec53ad597e97bf5fc54bbfc0233784326bb4613e4fd2bff5c27b41104480 EBUILD dafny-4.9.1.ebuild 19073 BLAKE2B ca08b4357977fd8f999912e315df7d42ed7b45d33e6ab1a6bd7dc31e5ea61c947dcfb0641a30bca88d572f8ce5598cff5a4e799bb88fa135e958c4dca3117263 SHA512 1e6a97eabf7bf33801a83f22de141e03aa0b077af92a0fdd866c77ec6cf24c612d33bc3d05d46c66593ce9887b731fd9fb45d71e21a4bfb9c32df3e900c50793 MISC metadata.xml 1884 BLAKE2B e3a53cfd90a4edf1d9fd9f567ac3c23fd88cc46602cfe6aea31ddc40585ebc89ab82833dcd21c82083671a54454d62f162f45d56d6b0ec9c202148b3d5ea2c6d SHA512 4cffb9c237ed85097ce1496a72f5aa9c5a0f5758402fe66ff745a3b1dbc3f8d9a40fecc9140ee1b9418f09b62794f7e0a47f908e6ba01b370087d4df62bfa46e diff --git a/dev-lang/dafny/dafny-4.8.1.ebuild b/dev-lang/dafny/dafny-4.8.1.ebuild index 6026ea288584..c762437bf8cf 100644 --- a/dev-lang/dafny/dafny-4.8.1.ebuild +++ b/dev-lang/dafny/dafny-4.8.1.ebuild @@ -1,4 +1,4 @@ -# Copyright 1999-2024 Gentoo Authors +# Copyright 1999-2025 Gentoo Authors # Distributed under the terms of the GNU General Public License v2 EAPI=8 @@ -373,7 +373,7 @@ else SRC_URI="https://github.com/dafny-lang/${PN}/archive/v${PV}.tar.gz -> ${P}.tar.gz" - KEYWORDS="~amd64" + KEYWORDS="amd64" fi SRC_URI+=" |