Update of /cvsroot/fink/dists/10.4/unstable/main/finkinfo/sci In directory sc8-pr-cvs5.sourceforge.net:/tmp/cvs-serv15570/main/finkinfo/sci
Modified Files: mizar.info Log Message: New upstream from tracker http://sourceforge.net/tracker/index.php?func=detail&aid=1643017&group_id=17203&atid=414256 Index: mizar.info =================================================================== RCS file: /cvsroot/fink/dists/10.4/unstable/main/finkinfo/sci/mizar.info,v retrieving revision 1.6 retrieving revision 1.7 diff -u -d -r1.6 -r1.7 --- mizar.info 20 Jan 2007 16:58:06 -0000 1.6 +++ mizar.info 4 Feb 2007 03:08:10 -0000 1.7 @@ -1,6 +1,7 @@ Package: mizar +Depends: mizar-bin, mizar-mml, mizar-doc Version: 7.8.03-4.76.959 -Revision: 1 +Revision: 2 Description: Build and check first-order formal proofs Recommends: mizar-semantic-mml, mizar-gab, mizar-mode, mizar-gab-html DescDetail: << @@ -18,10 +19,10 @@ See the Mizar homepage, http://www.mizar.org, for more information. The Mizar community maintains a wiki; it is available at http://wiki.mizar.org . + +Installing this package will install the Mizar binaries, +documentation, and the MML. << -RuntimeVars: << -MIZFILES: %p/share/mizar -<< 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 @@ -32,19 +33,93 @@ CompileScript: << << InstallScript: << -mkdir -p %i/bin -tar Cxfz %i/bin mizbin.tar.gz -mkdir -p %i/share/doc/mizar -tar Cxfz %i/share/doc/mizar mizdoc.tar.gz -mkdir -p %i/share/mizar -tar Cxfz %i/share/mizar mizshare.tar.gz -# Clean up unneeded stuff related to emacs -- these files are included -# in another package (mizar-mode) -rm %i/share/doc/mizar/.emacs -rm %i/share/mizar/mizar.el -# As of January 15, 2007, the graphviz package contains a file called -# %p/bin/prune; let's mark our prune with a special suffix. -mv %i/bin/prune %i/bin/prune.mizar + mkdir -p %i/bin + tar Cxfz %i/bin mizbin.tar.gz + mkdir -p %i/share/doc/mizar + tar Cxfz %i/share/doc/mizar mizdoc.tar.gz + mkdir -p %i/share/mizar + tar Cxfz %i/share/mizar mizshare.tar.gz + # Clean up unneeded stuff related to emacs -- these files are included + # in another package (mizar-mode) + rm %i/share/doc/mizar/.emacs + rm %i/share/mizar/mizar.el + # As of January 15, 2007, the graphviz package contains a file called + # %p/bin/prune; let's mark our prune with a special suffix. + mv %i/bin/prune %i/bin/prune.mizar +<< +SplitOff: << + Package: mizar-bin + Conflicts: mizar (<< 7.8.03-4.76.959-2) + RuntimeVars: << + MIZFILES: %p/share/mizar + << + Files: << + bin/absedt + bin/accom + bin/addfmsg + bin/checkvoc + bin/chklab + bin/constr + bin/edtfile + bin/errflag + bin/exporter + bin/findvoc + bin/inacc + bin/irrths + bin/irrvoc + bin/lisppars + bin/listvoc + bin/makeenv + bin/mglue + bin/miz2abs + bin/miz2prel + bin/mizf + bin/msplit + bin/prune.mizar + bin/ratproof + bin/relinfer + bin/reliters + bin/relprem + bin/remflags + bin/renthlab + bin/revedt + bin/revf + bin/transfer + bin/trivdemo + bin/verifier +<< +<< +SplitOff2: << + Package: mizar-mml + Conflicts: mizar (<< 7.8.03-4.76.959-2) + Files: << + share/mizar/abstr + share/mizar/miz.xml + share/mizar/mizar.dct + share/mizar/mizar.msg + share/mizar/mml + share/mizar/mml.ini + share/mizar/mml.lar + share/mizar/mml.vct + share/mizar/prel + << << +SplitOff3: << + Package: mizar-doc + Conflicts: mizar (<< 7.8.03-4.76.959-2) + Files: << + share/doc/mizar/example.bib + share/doc/mizar/external.bib + share/doc/mizar/fm.bib + share/doc/mizar/fmbibs.zip + share/doc/mizar/mml.txt + share/doc/mizar/mmldecl.txt + share/doc/mizar/mmldecls.txt + share/doc/mizar/replthls.txt + share/doc/mizar/replths.txt + share/doc/mizar/syntax.txt + share/doc/mizar/xml + << +<< ------------------------------------------------------------------------- Using Tomcat but need to do more? Need to support web services, security? Get stuff done quickly with pre-integrated technology to make your job easier. Download IBM WebSphere Application Server v.1.0.1 based on Apache Geronimo http://sel.as-us.falkag.net/sel?cmd=lnk&kid=120709&bid=263057&dat=121642 _______________________________________________ Fink-commits mailing list Fink-commits@lists.sourceforge.net https://lists.sourceforge.net/lists/listinfo/fink-commits