Date: Monday, May 27, 2019 @ 20:57:56 Author: arojas Revision: 472052
https Modified: cryptol/trunk/PKGBUILD ----------+ PKGBUILD | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD =================================================================== --- PKGBUILD 2019-05-27 20:57:25 UTC (rev 472051) +++ PKGBUILD 2019-05-27 20:57:56 UTC (rev 472052) @@ -4,7 +4,7 @@ pkgver=2.7.0 pkgrel=4 pkgdesc="The Language of Cryptography" -url="http://www.cryptol.net"; +url="https://www.cryptol.net"; license=("BSD") arch=('x86_64') depends=('ghc-libs' 'z3' 'haskell-base-compat' 'haskell-cryptohash-sha1' 'haskell-gitrev'
