diff options
author | V3n3RiX <venerix@koprulu.sector> | 2024-05-29 00:07:15 +0100 |
---|---|---|
committer | V3n3RiX <venerix@koprulu.sector> | 2024-05-29 00:07:15 +0100 |
commit | 5c4786a868bad6e3f46aecf32ad6c6dc5de98408 (patch) | |
tree | 1a1792815761a5b6f645c8d55b6b698e102dca48 /dev-lang/dafny/dafny-4.6.0.ebuild | |
parent | 3c1648a0749c1d66b300d857e6b417c1162890da (diff) |
gentoo auto-resync : 29:05:2024 - 00:07:15
Diffstat (limited to 'dev-lang/dafny/dafny-4.6.0.ebuild')
-rw-r--r-- | dev-lang/dafny/dafny-4.6.0.ebuild | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/dev-lang/dafny/dafny-4.6.0.ebuild b/dev-lang/dafny/dafny-4.6.0.ebuild index 2ec7748b03e7..0ca08b0d4f0f 100644 --- a/dev-lang/dafny/dafny-4.6.0.ebuild +++ b/dev-lang/dafny/dafny-4.6.0.ebuild @@ -372,7 +372,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+=" @@ -473,6 +473,9 @@ src_prepare() { VSComp2010/Problem2-Invert.dfy auditor/TestAuditor.dfy benchmarks/sequence-race/SequenceRace.dfy + c++/extern.dfy + c++/functions.dfy + c++/tuple.dfy cli/runArgument.dfy comp/CoverageReport.dfy concurrency/06-ThreadOwnership.dfy |