summarylogtreecommitdiffstats
path: root/PKGBUILD
diff options
context:
space:
mode:
Diffstat (limited to 'PKGBUILD')
-rw-r--r--PKGBUILD2
1 files changed, 1 insertions, 1 deletions
diff --git a/PKGBUILD b/PKGBUILD
index 4eba125b08bd..00d2dace6fe1 100644
--- a/PKGBUILD
+++ b/PKGBUILD
@@ -10,7 +10,7 @@ arch=('i686' 'x86_64' 'armv7h')
license=('BSD')
depends=('glibc')
makedepends=('jbuilder' 'ocaml-findlib' 'ocamlbuild' 'clingo' 'python2')
-url='http://mjambon.com/cppo.html'
+url=('https://github.com/mjambon/cppo')
source=("https://github.com/mjambon/${pkgname}/archive/v${pkgver}.tar.gz")
sha256sums=('29cb0223adc1f0c4c5238d6c7bf8931b909505aed349fde398fbf1a39eaa1819')