aboutsummaryrefslogtreecommitdiffstats
path: root/testing/idris/APKBUILD
diff options
context:
space:
mode:
authorJ0WI <J0WI@users.noreply.github.com>2018-10-06 14:15:24 +0200
committerNatanael Copa <ncopa@alpinelinux.org>2018-10-06 17:19:31 +0000
commit16f8ceb8e2d24fc6e5dccc926d86c48ad52a8b64 (patch)
tree6af5c7ccab234fa9193f6e12dce1e600a711c966 /testing/idris/APKBUILD
parent3da23936668d358170c12350b7fd53fc552e15d7 (diff)
downloadaports-16f8ceb8e2d24fc6e5dccc926d86c48ad52a8b64.tar.gz
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/APKBUILD')
-rw-r--r--testing/idris/APKBUILD4
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"