Update of /cvsroot/fink/experimental/jessealama/finkinfo
In directory vz-cvs-3.sog:/tmp/cvs-serv5972
Modified Files:
eprover.info eprover.patch
Log Message:
Bump upstream ("Ringtong").
Index: eprover.patch
===================================================================
RCS file: /cvsroot/fink/experimental/jessealama/finkinfo/eprover.patch,v
retrieving revision 1.2
retrieving revision 1.3
diff -u -d -r1.2 -r1.3
--- eprover.patch 19 Sep 2010 12:59:31 -0000 1.2
+++ eprover.patch 30 Jun 2011 11:08:01 -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/experimental/jessealama/finkinfo/eprover.info,v
retrieving revision 1.3
retrieving revision 1.4
diff -u -d -r1.3 -r1.4
--- eprover.info 29 Sep 2010 13:43:23 -0000 1.3
+++ eprover.info 30 Jun 2011 11:08:01 -0000 1.4
@@ -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
