From d420c55f9144379d639163594a184e47e33151db Mon Sep 17 00:00:00 2001 From: Juan RP Date: Thu, 18 Apr 2013 15:21:04 +0200 Subject: [PATCH] webkitgtk: downgrade to 2.0.0; it's broken right now. --- srcpkgs/webkitgtk/template | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/srcpkgs/webkitgtk/template b/srcpkgs/webkitgtk/template index 6e1e47eb1c4..a6a272f99d3 100644 --- a/srcpkgs/webkitgtk/template +++ b/srcpkgs/webkitgtk/template @@ -1,13 +1,13 @@ # Template file for 'webkitgtk' pkgname=webkitgtk -version=2.0.1 +version=2.0.0 revision=1 short_desc="GTK+3 port of the WebKit browser engine" maintainer="Juan RP " homepage="http://webkitgtk.org/" license="LGPL-2.1, Simplified BSD (2 clause)" distfiles="${homepage}/releases/${pkgname}-${version}.tar.xz" -checksum=6303552a39d7912725d75bc55f530cdb99171fb873e299798d0bb932d6ea76cb +checksum=-checksum=454cdc4beffc2010f83661059178e33b6d9a07bcd60d09eabdf5d7cda17b88e4 build_style=gnu-configure configure_args="--with-gtk=3.0 --enable-web-audio