From 827a1a4ab478e692894c708b14cdfd61fbd56b84 Mon Sep 17 00:00:00 2001
From: Jerry James <loganjerry@gmail.com>
Date: Jan 31 2011 18:53:44 +0000
Subject: Unfix the Source0 URL.  It was just a temporary failure at Google.


---

diff --git a/csisat.spec b/csisat.spec
index eacfeb1..2ea9c87 100644
--- a/csisat.spec
+++ b/csisat.spec
@@ -6,7 +6,7 @@ Summary:        Tool for LA+EUF Interpolation
 Group:          Applications/Engineering
 License:        ASL 2.0
 URL:            http://csisat.googlecode.com/
-Source0:        http://code.google.com/p/csisat/downloads/detail?name=csisat-%{version}.zip
+Source0:        http://csisat.googlecode.com/files/csisat-%{version}.zip
 # This patch has not been sent upstream.  Upstream wishes to distribute the
 # picosat sources with their code.  This patch builds with the system picosat
 # instead, and also adds missing dependencies so that parallel make works.
@@ -61,7 +61,6 @@ rm -rf $RPM_BUILD_ROOT
 
 %changelog
 * Mon Jan 31 2011 Jerry James <loganjerry@gmail.com> - 1.2-4
-- Fix Source0 URL
 - Don't use the OCaml dependency generators, which find no dependencies
 - Update list of supported arches from the ocaml spec file