Update of /cvsroot/fink/dists/10.4/unstable/main/finkinfo/sci
In directory sc8-pr-cvs5.sourceforge.net:/tmp/cvs-serv7696/finkinfo/sci
Modified Files:
mizar-semantic-mml.info
Log Message:
New upstream version from maintainer on tracker 1635437
Index: mizar-semantic-mml.info
===================================================================
RCS file:
/cvsroot/fink/dists/10.4/unstable/main/finkinfo/sci/mizar-semantic-mml.info,v
retrieving revision 1.1
retrieving revision 1.2
diff -u -d -r1.1 -r1.2
--- mizar-semantic-mml.info 10 Jan 2007 03:47:20 -0000 1.1
+++ mizar-semantic-mml.info 16 Jan 2007 02:03:06 -0000 1.2
@@ -1,16 +1,18 @@
Package: mizar-semantic-mml
Description: Semantic HTML presentation of the MML
-Version: 4.66.942
+Version: 4.75.958
Revision: 1
+Replaces: mizar-semantic-mml (<= 4.66.942)
License: Commercial
Homepage: http://mmlquery.mizar.org
-Source: http://www.stanford.edu/~alama/semantic-mml.tar.bz2
-Source-MD5: 4906a0cc61a3d11ed5800afecb3e1423
+Source: http://lipa.ms.mff.cuni.cz/~urban/xmlmml/html.%v.tar.gz
+Source-MD5: 06b2a14e57f623b07f6a5a8bd172049a
+SourceDirectory: html
CompileScript: <<
<<
InstallScript: <<
- mkdir -p %i/share/mizar/semantic-mml
- cp *.html %i/share/mizar/semantic-mml
+ mkdir -p %i/share/mizar/html
+ cp *.html %i/share/mizar/html
<<
DescDetail: <<
This package provides a hypertext version of a rich semantic
-------------------------------------------------------------------------
Take Surveys. Earn Cash. Influence the Future of IT
Join SourceForge.net's Techsay panel and you'll get the chance to share your
opinions on IT & business topics through brief surveys - and earn cash
http://www.techsay.com/default.php?page=join.php&p=sourceforge&CID=DEVDEV
_______________________________________________
Fink-commits mailing list
Fink-commits@lists.sourceforge.net
https://lists.sourceforge.net/lists/listinfo/fink-commits
