diff options
| author | V3n3RiX <venerix@koprulu.sector> | 2022-07-27 03:00:39 +0100 |
|---|---|---|
| committer | V3n3RiX <venerix@koprulu.sector> | 2022-07-27 03:00:39 +0100 |
| commit | fe618c8b8c934661d2297b2aeb0615a48e787691 (patch) | |
| tree | 24a8209687e0ff34205acd703b6b80e7c6897f81 /sci-mathematics/why3-for-spark/why3-for-spark-2021-r1.ebuild | |
| parent | 1d4cc2fdaa7a04ed1fe39b6cf1d892bd83bd8030 (diff) | |
gentoo auto-resync : 27:07:2022 - 03:00:38
Diffstat (limited to 'sci-mathematics/why3-for-spark/why3-for-spark-2021-r1.ebuild')
| -rw-r--r-- | sci-mathematics/why3-for-spark/why3-for-spark-2021-r1.ebuild | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/sci-mathematics/why3-for-spark/why3-for-spark-2021-r1.ebuild b/sci-mathematics/why3-for-spark/why3-for-spark-2021-r1.ebuild index fd2397eb1b04..0801160e66e9 100644 --- a/sci-mathematics/why3-for-spark/why3-for-spark-2021-r1.ebuild +++ b/sci-mathematics/why3-for-spark/why3-for-spark-2021-r1.ebuild @@ -10,7 +10,7 @@ ID=dd74ae7ecfd7d56aff7b17cee7a35559384a600f MYP=why3-${PV}-20210519-19ADF-src DESCRIPTION="Platform for deductive program verification" -HOMEPAGE="http://why3.lri.fr/" +HOMEPAGE="https://why3.lri.fr/" SRC_URI="${ADAMIRROR}/${ID}?filename=${MYP}.tar.gz -> ${MYP}.tar.gz" LICENSE="GPL-3" |