diff options
| author | Liguros - Gitlab CI/CD [develop] <gitlab@liguros.net> | 2024-04-11 06:51:18 +0000 |
|---|---|---|
| committer | Liguros - Gitlab CI/CD [develop] <gitlab@liguros.net> | 2024-04-11 06:51:18 +0000 |
| commit | 95a3feca3fe1a4e5ec431386c1d35802e9ef12db (patch) | |
| tree | b7d13717e304feec065cb339d880eddf9c93e07e /dev-lang/boogie | |
| parent | 7052d4d4b70087ad112937b50b93deab01abc149 (diff) | |
| download | baldeagleos-repo-95a3feca3fe1a4e5ec431386c1d35802e9ef12db.tar.gz baldeagleos-repo-95a3feca3fe1a4e5ec431386c1d35802e9ef12db.tar.xz baldeagleos-repo-95a3feca3fe1a4e5ec431386c1d35802e9ef12db.zip | |
Adding metadata
Diffstat (limited to 'dev-lang/boogie')
| -rw-r--r-- | dev-lang/boogie/boogie-3.1.2.ebuild | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/dev-lang/boogie/boogie-3.1.2.ebuild b/dev-lang/boogie/boogie-3.1.2.ebuild index 1e5de6f37894..7a1a6ee296b5 100644 --- a/dev-lang/boogie/boogie-3.1.2.ebuild +++ b/dev-lang/boogie/boogie-3.1.2.ebuild @@ -210,7 +210,7 @@ else SRC_URI="https://github.com/boogie-org/${PN}/archive/v${PV}.tar.gz -> ${P}.tar.gz" - KEYWORDS="~amd64" + KEYWORDS="amd64" fi SRC_URI+=" ${NUGET_URIS} " |