diff options
| author | V3n3RiX <venerix@koprulu.sector> | 2025-03-05 01:46:50 +0000 |
|---|---|---|
| committer | V3n3RiX <venerix@koprulu.sector> | 2025-03-05 01:46:50 +0000 |
| commit | 77d1bb6f8d47023aa21aaee830bf3229837233d1 (patch) | |
| tree | 751b6c0d12ed0ed73cc1e3fbca7404072ba6cc7a /dev-lang/dafny | |
| parent | d13006cca857323814c09f5123b87c1a005bba74 (diff) | |
gentoo auto-resync : 05:03:2025 - 01:46:50
Diffstat (limited to 'dev-lang/dafny')
| -rw-r--r-- | dev-lang/dafny/Manifest | 2 | ||||
| -rw-r--r-- | dev-lang/dafny/dafny-4.9.1.ebuild | 4 |
2 files changed, 3 insertions, 3 deletions
diff --git a/dev-lang/dafny/Manifest b/dev-lang/dafny/Manifest index 7fccd1914881..a2345506d69c 100644 --- a/dev-lang/dafny/Manifest +++ b/dev-lang/dafny/Manifest @@ -403,5 +403,5 @@ EBUILD dafny-4.10.0.ebuild 18906 BLAKE2B 4c281146c319832cd7c917765d64fe469851bc4 EBUILD dafny-4.8.0.ebuild 21093 BLAKE2B f3bc2e1080b1a4f47d6dfcfb8ff4284f1c78b165995933058b2ab4898f414de563ffb4daf057a2abdd757f9c12cc9abb3151872c68e073f08f38d6aa73cb8bcd SHA512 0163a7991f085cae600e9c85b5b9dd2a5e48cf8f6618a334e165c4b81469f8fc747172d9b8af829b43b202f7ccdf796eb340e111f203f32d76f68a58aa45bdd9 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 +EBUILD dafny-4.9.1.ebuild 19072 BLAKE2B 5ca3c00280b18f3f8d4d16ac2497c5cfb1f6860a896f2b2661202f673b7ebc4b91de0d2525f3da5a9ccf27bf386a0acd62f2c495554cb2d2709db24e44aed4b0 SHA512 ffd12e57b9b46930c148a022749bb736bd7f8a28461b662e86064e8ac19bfd7fbb004f8ed1cfa18fe6288349948c5ee539f347be1d9ce685277cdb59f518d34a MISC metadata.xml 1884 BLAKE2B e3a53cfd90a4edf1d9fd9f567ac3c23fd88cc46602cfe6aea31ddc40585ebc89ab82833dcd21c82083671a54454d62f162f45d56d6b0ec9c202148b3d5ea2c6d SHA512 4cffb9c237ed85097ce1496a72f5aa9c5a0f5758402fe66ff745a3b1dbc3f8d9a40fecc9140ee1b9418f09b62794f7e0a47f908e6ba01b370087d4df62bfa46e diff --git a/dev-lang/dafny/dafny-4.9.1.ebuild b/dev-lang/dafny/dafny-4.9.1.ebuild index 895f847e745f..0002c1730a8e 100644 --- a/dev-lang/dafny/dafny-4.9.1.ebuild +++ b/dev-lang/dafny/dafny-4.9.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 @@ -375,7 +375,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+=" |