Update of /cvsroot/fink/dists/10.4/unstable/main/finkinfo/sci
In directory sc8-pr-cvs5.sourceforge.net:/tmp/cvs-serv22614
Modified Files:
mizar-gab-html.info mizar-gab.info mizar-semantic-mml.info
mizar.info
Log Message:
Updates from tracker:
http://sourceforge.net/tracker/index.php?func=detail&aid=1692708&group_id=17203&atid=414256
http://sourceforge.net/tracker/index.php?func=detail&aid=1692707&group_id=17203&atid=414256
http://sourceforge.net/tracker/index.php?func=detail&aid=1692705&group_id=17203&atid=414256
Index: mizar-semantic-mml.info
===================================================================
RCS file:
/cvsroot/fink/dists/10.4/unstable/main/finkinfo/sci/mizar-semantic-mml.info,v
retrieving revision 1.3
retrieving revision 1.4
diff -u -d -r1.3 -r1.4
--- mizar-semantic-mml.info 20 Jan 2007 16:58:06 -0000 1.3
+++ mizar-semantic-mml.info 27 Apr 2007 01:32:28 -0000 1.4
@@ -1,13 +1,13 @@
Package: mizar-semantic-mml
Description: Semantic HTML presentation of the MML
-Version: 4.76.959
+Version: 4.81.962
Revision: 1
Replaces: mizar-semantic-mml (<= 4.66.942)
License: Commercial
Homepage: http://mmlquery.mizar.org
Source: http://lipa.ms.mff.cuni.cz/~urban/xmlmml/html_abstr.%v.tar.gz
-Source-MD5: 6901f4a96835f14acd32cf5a275a5880
-SourceDirectory: html_abstr.%v
+Source-MD5: 4cb505e2b53bfde61cf8168640702e9a
+SourceDirectory: html
CompileScript: <<
<<
InstallScript: <<
@@ -22,5 +22,3 @@
<<
Maintainer: Jesse Alama <[EMAIL PROTECTED]>
-
-
Index: mizar-gab.info
===================================================================
RCS file: /cvsroot/fink/dists/10.4/unstable/main/finkinfo/sci/mizar-gab.info,v
retrieving revision 1.2
retrieving revision 1.3
diff -u -d -r1.2 -r1.3
--- mizar-gab.info 6 Feb 2007 17:30:11 -0000 1.2
+++ mizar-gab.info 27 Apr 2007 01:32:28 -0000 1.3
@@ -1,11 +1,11 @@
Package: mizar-gab
Description: Generated ABstracts for articles in the MML
-Version: 4.76.959
+Version: 4.81.962
Revision: 1
License: Commercial
Recommends: mizar, mizar-gab-html
Source: http://merak.pb.bialystok.pl/mmlquery/downloads/gab-%v.tgz
-Source-MD5: e78a0c6d1ca10d9d2956ef5b1c8c8e3a
+Source-MD5: a8f6ed9a1a5eda9e93a337982070002c
SourceDirectory: %v
CompileScript: <<
<<
@@ -24,5 +24,3 @@
<<
Homepage: http://merak.pb.bialystok.pl
Maintainer: Jesse Alama <[EMAIL PROTECTED]>
-
-
Index: mizar.info
===================================================================
RCS file: /cvsroot/fink/dists/10.4/unstable/main/finkinfo/sci/mizar.info,v
retrieving revision 1.7
retrieving revision 1.8
diff -u -d -r1.7 -r1.8
--- mizar.info 4 Feb 2007 03:08:10 -0000 1.7
+++ mizar.info 27 Apr 2007 01:32:28 -0000 1.8
@@ -1,6 +1,6 @@
Package: mizar
Depends: mizar-bin, mizar-mml, mizar-doc
-Version: 7.8.03-4.76.959
+Version: 7.8.04-4.81.962
Revision: 2
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.03_4.76.959-ppc-darwin.tar
-Source-MD5: 48cbb2bef1b01edb7eb490acc233e570
+Source:
ftp://mizar.uwb.edu.pl/pub/system/ppc-darwin/%n-7.8.04_4.81.962-ppc-darwin.tar
+Source-MD5: 0633cb2dbfae2974cc9a3c5c99dfdcc9
NoSourceDirectory: true
DocFiles: README
License: Commercial
@@ -121,5 +121,4 @@
share/doc/mizar/syntax.txt
share/doc/mizar/xml
<<
-<<
-
+<<
\ No newline at end of file
Index: mizar-gab-html.info
===================================================================
RCS file:
/cvsroot/fink/dists/10.4/unstable/main/finkinfo/sci/mizar-gab-html.info,v
retrieving revision 1.2
retrieving revision 1.3
diff -u -d -r1.2 -r1.3
--- mizar-gab-html.info 6 Feb 2007 17:30:11 -0000 1.2
+++ mizar-gab-html.info 27 Apr 2007 01:32:28 -0000 1.3
@@ -1,11 +1,11 @@
Package: mizar-gab-html
Description: HTML presentation of Generated ABstracts
-Version: 4.76.959
+Version: 4.81.962
Revision: 1
Homepage: http://merak.pb.bialystok.pl
License: Commercial
Source: http://merak.pb.bialystok.pl/mmlquery/downloads/html-%v.tgz
-Source-MD5: e04dddcb8320686233db4efa241a70f2
+Source-MD5: afd148fd436ef68694610f9e07f63c0c
SourceDirectory: %v
Maintainer: Jesse Alama <[EMAIL PROTECTED]>
CompileScript: <<
@@ -22,5 +22,4 @@
For more information on the MML Query tool, which is used to produce
the GAB's, see http://merak.pb.bialystok.pl .
-<<
-
+<<
\ No newline at end of file
-------------------------------------------------------------------------
This SF.net email is sponsored by DB2 Express
Download DB2 Express C - the FREE version of DB2 express and take
control of your XML. No limits. Just data. Click to get it now.
http://sourceforge.net/powerbar/db2/
_______________________________________________
Fink-commits mailing list
Fink-commits@lists.sourceforge.net
https://lists.sourceforge.net/lists/listinfo/fink-commits
