Update of /cvsroot/fink/dists/10.4/unstable/main/finkinfo/sci
In directory sc8-pr-cvs17:/tmp/cvs-serv10994
Modified Files:
mizar-gab-html.info mizar-gab.info mizar.info
Log Message:
Updates from tracker
http://sourceforge.net/tracker/index.php?func=detail&aid=1761626&group_id=17203&atid=414256
http://sourceforge.net/tracker/index.php?func=detail&aid=1761650&group_id=17203&atid=414256
http://sourceforge.net/tracker/index.php?func=detail&aid=1761651&group_id=17203&atid=414256
Index: mizar-gab.info
===================================================================
RCS file: /cvsroot/fink/dists/10.4/unstable/main/finkinfo/sci/mizar-gab.info,v
retrieving revision 1.3
retrieving revision 1.4
diff -u -d -r1.3 -r1.4
--- mizar-gab.info 27 Apr 2007 01:32:28 -0000 1.3
+++ mizar-gab.info 7 Aug 2007 01:38:51 -0000 1.4
@@ -1,11 +1,11 @@
Package: mizar-gab
Description: Generated ABstracts for articles in the MML
-Version: 4.81.962
+Version: 4.84.971
Revision: 1
License: Commercial
Recommends: mizar, mizar-gab-html
Source: http://merak.pb.bialystok.pl/mmlquery/downloads/gab-%v.tgz
-Source-MD5: a8f6ed9a1a5eda9e93a337982070002c
+Source-MD5: 70f72ba6a92e4c86ba4a1326de855236
SourceDirectory: %v
CompileScript: <<
<<
Index: mizar.info
===================================================================
RCS file: /cvsroot/fink/dists/10.4/unstable/main/finkinfo/sci/mizar.info,v
retrieving revision 1.8
retrieving revision 1.9
diff -u -d -r1.8 -r1.9
--- mizar.info 27 Apr 2007 01:32:28 -0000 1.8
+++ mizar.info 7 Aug 2007 01:38:51 -0000 1.9
@@ -1,7 +1,7 @@
Package: mizar
Depends: mizar-bin, mizar-mml, mizar-doc
-Version: 7.8.04-4.81.962
-Revision: 2
+Version: 7.8.05-4.84.971
+Revision: 1
Description: Build and check first-order formal proofs
Recommends: mizar-semantic-mml, mizar-gab, mizar-mode, mizar-gab-html
DescDetail: <<
@@ -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.04_4.81.962-ppc-darwin.tar
-Source-MD5: 0633cb2dbfae2974cc9a3c5c99dfdcc9
+Source:
ftp://mizar.uwb.edu.pl/pub/system/ppc-darwin/%n-7.8.05_4.84.971-ppc-darwin.tar
+Source-MD5: 98d2b1f364d7204540db6611f734875e
NoSourceDirectory: true
DocFiles: README
License: Commercial
Index: mizar-gab-html.info
===================================================================
RCS file:
/cvsroot/fink/dists/10.4/unstable/main/finkinfo/sci/mizar-gab-html.info,v
retrieving revision 1.3
retrieving revision 1.4
diff -u -d -r1.3 -r1.4
--- mizar-gab-html.info 27 Apr 2007 01:32:28 -0000 1.3
+++ mizar-gab-html.info 7 Aug 2007 01:38:51 -0000 1.4
@@ -1,11 +1,11 @@
Package: mizar-gab-html
Description: HTML presentation of Generated ABstracts
-Version: 4.81.962
+Version: 4.84.971
Revision: 1
Homepage: http://merak.pb.bialystok.pl
License: Commercial
Source: http://merak.pb.bialystok.pl/mmlquery/downloads/html-%v.tgz
-Source-MD5: afd148fd436ef68694610f9e07f63c0c
+Source-MD5: af0091e2d7f9d219f02135374828dba9
SourceDirectory: %v
Maintainer: Jesse Alama <[EMAIL PROTECTED]>
CompileScript: <<
-------------------------------------------------------------------------
This SF.net email is sponsored by: Splunk Inc.
Still grepping through log files to find problems? Stop.
Now Search log events and configuration files using AJAX and a browser.
Download your FREE copy of Splunk now >> http://get.splunk.com/
_______________________________________________
Fink-commits mailing list
[email protected]
https://lists.sourceforge.net/lists/listinfo/fink-commits
