[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