Сравнение lean-3.51.1 с lean-3.9999
| /usr/portage/sci-mathematics/lean/lean-3.9999.ebuild 2023-10-09 14:52:35.116368492 +0300 | ||
|---|---|---|
| 16 | 16 |
EGIT_REPO_URI="https://github.com/leanprover-community/lean.git" |
| 17 | 17 |
else |
| 18 | 18 |
SRC_URI="https://github.com/leanprover-community/lean/archive/refs/tags/v${PV}.tar.gz -> ${P}.tar.gz"
|
| 19 |
KEYWORDS="amd64 ~x86" |
|
| 19 |
KEYWORDS="~amd64 ~x86" |
|
| 20 | 20 |
fi |
| 21 | 21 |
S="${S}/src"
|
| 22 | 22 | |