Update of /cvsroot/fink/dists/10.4/unstable/main/finkinfo/sci
In directory fdv4jf1.ch3.sourceforge.com:/tmp/cvs-serv2043
Modified Files:
mizar-i386.info
Log Message:
Update from tracker
https://sourceforge.net/tracker/index.php?func=detail&aid=2164848&group_id=17203&atid=414256
Tested on 10.5.5/Intel
Index: mizar-i386.info
===================================================================
RCS file: /cvsroot/fink/dists/10.4/unstable/main/finkinfo/sci/mizar-i386.info,v
retrieving revision 1.1
retrieving revision 1.2
diff -u -d -r1.1 -r1.2
--- mizar-i386.info 16 Aug 2008 00:41:43 -0000 1.1
+++ mizar-i386.info 7 Dec 2008 21:39:30 -0000 1.2
@@ -1,7 +1,7 @@
Package: mizar
Depends: mizar-bin, mizar-mml, mizar-doc
Architecture: i386
-Version: 7.9.03-4.104.1021
+Version: 7.10.01-4.111.1036
Revision: 1
Description: Build and check first-order formal proofs
Recommends: mizar-semantic-mml, mizar-gab, mizar-mode, mizar-gab-html
@@ -26,8 +26,8 @@
<<
Maintainer: Jesse Alama <[EMAIL PROTECTED]>
Homepage: http://www.mizar.org/
-Source:
ftp://mizar.uwb.edu.pl/pub/system/i386-darwin/%n-7.9.03_4.104.1021-i386-darwin.tar
-Source-MD5: 557d4dc8cbf81eed55679f9a14f84c99
+Source:
ftp://mizar.uwb.edu.pl/pub/system/i386-darwin/%n-7.10.01_4.111.1036-i386-darwin.tar
+Source-MD5: 7548fbc11a5eb010a3c56379ae6564e8
NoSourceDirectory: true
DocFiles: README
License: Commercial
------------------------------------------------------------------------------
SF.Net email is Sponsored by MIX09, March 18-20, 2009 in Las Vegas, Nevada.
The future of the web can't happen without you. Join us at MIX09 to help
pave the way to the Next Web now. Learn more and register at
http://ad.doubleclick.net/clk;208669438;13503038;i?http://2009.visitmix.com/
_______________________________________________
Fink-commits mailing list
[email protected]
http://news.gmane.org/gmane.os.apple.fink.cvs
