[arch-commits] Commit in haskell-sbv/trunk (PKGBUILD)
Antonio Rojas
arojas at archlinux.org
Mon Jun 3 21:09:59 UTC 2019
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'
More information about the arch-commits
mailing list