Update of /cvsroot/fink/dists/10.7/stable/main/finkinfo/sci
In directory vz-cvs-3.sog:/tmp/cvs-serv17668
Modified Files:
eprover.info
Log Message:
E 1.4 Namring.
Index: eprover.info
===================================================================
RCS file: /cvsroot/fink/dists/10.7/stable/main/finkinfo/sci/eprover.info,v
retrieving revision 1.1
retrieving revision 1.2
diff -u -d -r1.1 -r1.2
--- eprover.info 7 Aug 2011 14:03:17 -0000 1.1
+++ eprover.info 20 Aug 2011 07:02:56 -0000 1.2
@@ -1,8 +1,8 @@
Package: eprover
Description: Powerful equational logic theorem prover
Homepage: http://www.eprover.org
-Version: 1.3
-Revision: 3
+Version: 1.4
+Revision: 1
Depends: gawk, help2man
BuildDepends: fink (>= 0.24.12)
Maintainer: Jesse Alama <[email protected]>
@@ -35,10 +35,10 @@
system.
<<
Source:
http://www4.informatik.tu-muenchen.de/~schulz/WORK/E_DOWNLOAD/V_%v/E.tgz
-Source-MD5: f18fb8e54b34eee11e83250df324306b
+Source-MD5: 4da7b0c06dddd96ce8ffeb77462d7f77
PatchFile: %n.patch
-PatchFile-MD5: 0b5f15ad3fe42a104c06c12beeed38c9
-DocFiles: COPYING README DOC/eprover.pdf DOC/ANNOUNCE DOC/CREDITS DOC/NEWS
+PatchFile-MD5: 548c62c585802378888be7582230dff8
+DocFiles: COPYING README DOC/eprover.pdf DOC/ANNOUNCE DOC/CREDITS DOC/NEWS
DOC/HISTORY DOC/WISHLIST
License: GPL
InstallScript: <<
mkdir -p %i/bin
@@ -47,10 +47,12 @@
# man
mkdir -p %i/share/man/man1
install -m 644 \
+ DOC/man/e_axfilter.1 \
+ DOC/man/e_ltb_runner.1 \
DOC/man/eground.1 \
DOC/man/epclextract.1 \
- DOC/man/e_axfilter.1 \
DOC/man/eproof.1 \
+ DOC/man/eproof_ram.1 \
DOC/man/eprover.1 \
%i/share/man/man1
<<
------------------------------------------------------------------------------
Get a FREE DOWNLOAD! and learn more about uberSVN rich system,
user administration capabilities and model configuration. Take
the hassle out of deploying and managing Subversion and the
tools developers use with it. http://p.sf.net/sfu/wandisco-d2d-2
_______________________________________________
Fink-commits mailing list
[email protected]
http://news.gmane.org/gmane.os.apple.fink.cvs
