Update of /cvsroot/fink/dists/10.4/unstable/main/finkinfo/sci In directory vz-cvs-3.sog:/tmp/cvs-serv6016
Modified Files: eprover.info eprover.patch Log Message: Bump upstream ("Ringtong"). Index: eprover.patch =================================================================== RCS file: /cvsroot/fink/dists/10.4/unstable/main/finkinfo/sci/eprover.patch,v retrieving revision 1.2 retrieving revision 1.3 diff -u -d -r1.2 -r1.3 --- eprover.patch 29 Sep 2010 09:32:22 -0000 1.2 +++ eprover.patch 30 Jun 2011 11:08:49 -0000 1.3 @@ -1,6 +1,6 @@ -diff -Naur --exclude='*~' E/Makefile E.fink/Makefile ---- E/Makefile 2010-07-20 12:13:34.000000000 +0100 -+++ E.fink/Makefile 2010-09-19 13:54:05.000000000 +0100 +diff -Naur --exclude='*~' E/Makefile E-fink/Makefile +--- E/Makefile 2010-07-20 13:13:34.000000000 +0200 ++++ E-fink/Makefile 2011-06-30 13:03:09.000000000 +0200 @@ -132,12 +132,12 @@ # Configure and copy executables to the installation directory Index: eprover.info =================================================================== RCS file: /cvsroot/fink/dists/10.4/unstable/main/finkinfo/sci/eprover.info,v retrieving revision 1.4 retrieving revision 1.5 diff -u -d -r1.4 -r1.5 --- eprover.info 29 Sep 2010 13:44:24 -0000 1.4 +++ eprover.info 30 Jun 2011 11:08:49 -0000 1.5 @@ -1,7 +1,7 @@ Package: eprover Description: Powerful equational logic theorem prover Homepage: http://www.eprover.org -Version: 1.2-001 +Version: 1.3 Revision: 1 Depends: gawk, help2man BuildDepends: fink (>= 0.24.12) @@ -37,12 +37,12 @@ Source: http://www4.informatik.tu-muenchen.de/~schulz/WORK/E_DOWNLOAD/V_%v/E.tgz Source-MD5: acee33e200af096b65c94df16b992c87 PatchFile: %n.patch -PatchFile-MD5: 75cfeccd6a0facf41486f8d17158e045 +PatchFile-MD5: 9a87dbb5fee253bbcafe7e8d5f387375 DocFiles: COPYING README DOC/eprover.pdf DOC/ANNOUNCE DOC/CREDITS DOC/NEWS License: GPL InstallScript: << mkdir -p %i/bin - make install DESTDIR=%d + make install DESTDIR=%d MANPATH=%i/share/man # man mkdir -p %i/share/man/man1 ------------------------------------------------------------------------------ All of the data generated in your IT infrastructure is seriously valuable. Why? It contains a definitive record of application performance, security threats, fraudulent activity, and more. Splunk takes this data and makes sense of it. IT sense. And common sense. http://p.sf.net/sfu/splunk-d2d-c2 _______________________________________________ Fink-commits mailing list Fink-commits@lists.sourceforge.net http://news.gmane.org/gmane.os.apple.fink.cvs