Date: Monday, June 3, 2019 @ 21:09:57 Author: arojas Revision: 476799
https Modified: haskell-sbv/trunk/PKGBUILD ----------+ PKGBUILD | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD =================================================================== --- PKGBUILD 2019-06-03 21:09:32 UTC (rev 476798) +++ PKGBUILD 2019-06-03 21:09:57 UTC (rev 476799) @@ -6,7 +6,7 @@ pkgver=8.2 pkgrel=8 pkgdesc="SMT Based Verification: Symbolic Haskell theorem prover using SMT solving" -url="http://leventerkok.github.com/sbv"; +url="https://leventerkok.github.com/sbv"; license=("BSD") arch=('x86_64') depends=('ghc-libs' 'haskell-ghc' 'haskell-quickcheck' 'haskell-cracknum' 'haskell-async'
