Update of /cvsroot/fink/dists/10.7/stable/main/finkinfo/sci
In directory sfp-cvs-1.v30.ch3.sourceforge.com:/tmp/cvs-serv12521
Modified Files:
tptp.info
Log Message:
Adjust MD5 (seems upstream silently modified the package).
Thanks to Hanspeter Niederstrasse for the bug report.
Index: tptp.info
===================================================================
RCS file: /cvsroot/fink/dists/10.7/stable/main/finkinfo/sci/tptp.info,v
retrieving revision 1.1
retrieving revision 1.2
diff -u -d -r1.1 -r1.2
--- tptp.info 22 Sep 2013 08:29:48 -0000 1.1
+++ tptp.info 25 Sep 2013 08:53:36 -0000 1.2
@@ -2,10 +2,10 @@
Description: Thousands of Problems for Theorem Provers
Homepage: http://www.tptp.org
Version: 6.0.0
-Revision: 1
+Revision: 2
License: Commercial
Source: http://www.cs.miami.edu/~tptp/TPTP/Distribution/TPTP-v%v.tgz
-Source-MD5: dffabadd1b543a57f04e7cc3aa55d0b9
+Source-MD5: d822bead5549f89ebd020be9d9e023c0
PatchFile: %n.patch
PatchFile-MD5: ce966d47ea0f35e274bc1d0061284730
PatchScript: sed 's|@PREFIX@|%p|g' < %{PatchFile} | patch -p1
------------------------------------------------------------------------------
October Webinars: Code for Performance
Free Intel webinars can help you accelerate application performance.
Explore tips for MPI, OpenMP, advanced profiling, and more. Get the most from
the latest Intel processors and coprocessors. See abstracts and register >
http://pubads.g.doubleclick.net/gampad/clk?id=60133471&iu=/4140/ostg.clktrk
_______________________________________________
Fink-commits mailing list
Fink-commits@lists.sourceforge.net
http://news.gmane.org/gmane.os.apple.fink.cvs
