[arch-commits] Commit in cryptol/trunk (PKGBUILD)

Antonio Rojas arojas at archlinux.org
Mon May 27 20:57:58 UTC 2019


    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'


More information about the arch-commits mailing list