Update of /cvsroot/fink/dists/10.4/unstable/main/finkinfo/sci
In directory fdv4jf1.ch3.sourceforge.com:/tmp/cvs-serv2877
Added Files:
mizar-ppc.info
Log Message:
Update from tracker
http://sourceforge.net/tracker/index.php?func=detail&aid=2164848&group_id=17203&atid=414256
Tested on 10.5.5/PowerPC
--- NEW FILE: mizar-ppc.info ---
Package: mizar
Depends: mizar-bin, mizar-mml, mizar-doc
Architecture: powerpc
Version: 7.10.01-4.111.1036
Revision: 1
Description: Build and check first-order formal proofs
Recommends: mizar-semantic-mml, mizar-gab, mizar-mode, mizar-gab-html
DescDetail: <<
The Mizar project started around 1973 as an attempt to reconstruct
mathematical vernacular in a computer-oriented environment. Since
then a vast number of articles, representing formal developments of
various parts of mathematics, have been written. Accompanying this
library of proofs is a verification system for checking the
correctness of a proof.
Installing this package will install the Mizar binaries (which are
used to check proofs for correctness), user documentation, and the MML
(Mizar Mathematical Library).
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.
<<
Maintainer: Jesse Alama <[EMAIL PROTECTED]>
Homepage: http://www.mizar.org/
Source:
ftp://mizar.uwb.edu.pl/pub/system/ppc-darwin/%n-7.10.01_4.111.1036-ppc-darwin.tar
Source-MD5: 53fc6d78bf78a349531749063d1e0afc
NoSourceDirectory: true
DocFiles: README
License: Commercial
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
<<
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
<<
<<
------------------------------------------------------------------------------
SF.Net email is Sponsored by MIX09, March 18-20, 2009 in Las Vegas, Nevada.
The future of the web can't happen without you. Join us at MIX09 to help
pave the way to the Next Web now. Learn more and register at
http://ad.doubleclick.net/clk;208669438;13503038;i?http://2009.visitmix.com/
_______________________________________________
Fink-commits mailing list
[email protected]
http://news.gmane.org/gmane.os.apple.fink.cvs
