Date: Monday, June 3, 2019 @ 21:18:22 Author: arojas Revision: 476815
https Modified: idris/trunk/PKGBUILD ----------+ PKGBUILD | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD =================================================================== --- PKGBUILD 2019-06-03 21:17:55 UTC (rev 476814) +++ PKGBUILD 2019-06-03 21:18:22 UTC (rev 476815) @@ -5,7 +5,7 @@ pkgver=1.3.1 pkgrel=79 pkgdesc="Functional Programming Language with Dependent Types" -url="http://www.idris-lang.org/"; +url="https://www.idris-lang.org/"; license=("BSD") arch=('x86_64') depends=('ghc-libs' 'haskell-aeson' 'haskell-annotated-wl-pprint' 'haskell-ansi-terminal'
