[csisat] Unfix the Source0 URL. It was just a temporary failure at Google.

[Jerry James]

commit 827a1a4ab478e692894c708b14cdfd61fbd56b84
Author: Jerry James <loganjerry at gmail.com>
Date:   Mon Jan 31 11:53:44 2011 -0700

    Unfix the Source0 URL.  It was just a temporary failure at Google.

 csisat.spec |    3 +--
 1 files changed, 1 insertions(+), 2 deletions(-)
---
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 at 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