diff options
| author | J0WI <J0WI@users.noreply.github.com> | 2018-10-06 14:15:24 +0200 |
|---|---|---|
| committer | Natanael Copa <ncopa@alpinelinux.org> | 2018-10-06 17:19:31 +0000 |
| commit | 16f8ceb8e2d24fc6e5dccc926d86c48ad52a8b64 (patch) | |
| tree | 6af5c7ccab234fa9193f6e12dce1e600a711c966 /testing/idris | |
| parent | 3da23936668d358170c12350b7fd53fc552e15d7 (diff) | |
| download | aports-16f8ceb8e2d24fc6e5dccc926d86c48ad52a8b64.tar.bz2 aports-16f8ceb8e2d24fc6e5dccc926d86c48ad52a8b64.tar.xz | |
testing: (Bulk change) Update urls to https using HTTPS Everywhere and bump pkgrel
Diffstat (limited to 'testing/idris')
| -rw-r--r-- | testing/idris/APKBUILD | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/testing/idris/APKBUILD b/testing/idris/APKBUILD index 4e31e8dc02..ed2fffb40a 100644 --- a/testing/idris/APKBUILD +++ b/testing/idris/APKBUILD @@ -3,9 +3,9 @@ # Maintainer: Mitch Tishmack <mitch.tishmack@gmail.com> pkgname=idris pkgver=1.3.0 -pkgrel=0 +pkgrel=1 pkgdesc="A Language with Dependent Types" -url="http://www.idris-lang.org" +url="https://www.idris-lang.org/" # Note: same as ghc, if it gets ported elsewhere this should run too. # armhf: disabled due to build failure arch="x86_64" |