Update of /cvsroot/fink/dists/10.4/unstable/main/finkinfo/sci
In directory sc8-pr-cvs17.sourceforge.net:/tmp/cvs-serv32603
Modified Files:
mizar.info
Log Message:
Update from tracker
http://sourceforge.net/tracker/index.php?func=detail&aid=1969315&group_id=17203&atid=414256
Index: mizar.info
===================================================================
RCS file: /cvsroot/fink/dists/10.4/unstable/main/finkinfo/sci/mizar.info,v
retrieving revision 1.13
retrieving revision 1.14
diff -u -d -r1.13 -r1.14
--- mizar.info 24 Mar 2008 01:04:06 -0000 1.13
+++ mizar.info 31 May 2008 20:21:42 -0000 1.14
@@ -1,6 +1,6 @@
Package: mizar
Depends: mizar-bin, mizar-mml, mizar-doc
-Version: 7.8.10-4.100.1011
+Version: 7.9.01-4.103.1019
Revision: 1
Description: Build and check first-order formal proofs
Recommends: mizar-semantic-mml, mizar-gab, mizar-mode, mizar-gab-html
@@ -25,8 +25,8 @@
<<
Maintainer: Jesse Alama <[EMAIL PROTECTED]>
Homepage: http://www.mizar.org/
-Source:
ftp://mizar.uwb.edu.pl/pub/system/ppc-darwin/%n-7.8.10_4.100.1011-ppc-darwin.tar
-Source-MD5: c13f29b035da6aade0fdd6aca6398ead
+Source:
ftp://mizar.uwb.edu.pl/pub/system/ppc-darwin/%n-7.9.01_4.103.1019-ppc-darwin.tar
+Source-MD5: c9ec2524300cd08ffc67ba41238144b3
NoSourceDirectory: true
DocFiles: README
License: Commercial
-------------------------------------------------------------------------
This SF.net email is sponsored by: Microsoft
Defy all challenges. Microsoft(R) Visual Studio 2008.
http://clk.atdmt.com/MRT/go/vse0120000070mrt/direct/01/
_______________________________________________
Fink-commits mailing list
Fink-commits@lists.sourceforge.net
http://news.gmane.org/gmane.os.apple.fink.cvs
