Update of /cvsroot/fink/dists/10.4/unstable/main/finkinfo/sci
In directory fdv4jf1.ch3.sourceforge.com:/tmp/cvs-serv18538
Modified Files:
mizar-i386.info
Log Message:
New upstream version. Update by jessealama from the submissions tracker:
https://sourceforge.net/tracker/?func=detail&aid=2838285&group_id=17203&atid=414256
Index: mizar-i386.info
===================================================================
RCS file: /cvsroot/fink/dists/10.4/unstable/main/finkinfo/sci/mizar-i386.info,v
retrieving revision 1.3
retrieving revision 1.4
diff -u -d -r1.3 -r1.4
--- mizar-i386.info 10 Jan 2009 21:46:11 -0000 1.3
+++ mizar-i386.info 3 Sep 2009 11:31:05 -0000 1.4
@@ -1,7 +1,7 @@
Package: mizar
Depends: mizar-bin, mizar-mml, mizar-doc
Architecture: i386
-Version: 7.11.01-4.117.1046
+Version: 7.11.02-4.125.1059
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 <al...@stanford.edu>
Homepage: http://www.mizar.org/
-Source:
ftp://mizar.uwb.edu.pl/pub/system/i386-darwin/%n-7.11.01_4.117.1046-i386-darwin.tar
-Source-MD5: a61b7ad186a223d569818ea2b46bf147
+Source:
ftp://mizar.uwb.edu.pl/pub/system/i386-darwin/%n-7.11.02_4.125.1059-i386-darwin.tar
+Source-MD5: af1b7d1bd5effa223282fecc9455ea5f
NoSourceDirectory: true
DocFiles: README
License: Commercial
------------------------------------------------------------------------------
Let Crystal Reports handle the reporting - Free Crystal Reports 2008 30-Day
trial. Simplify your report design, integration and deployment - and focus on
what you do best, core application coding. Discover what's new with
Crystal Reports now. http://p.sf.net/sfu/bobj-july
_______________________________________________
Fink-commits mailing list
Fink-commits@lists.sourceforge.net
http://news.gmane.org/gmane.os.apple.fink.cvs
