Update of /cvsroot/fink/dists/10.4/unstable/main/finkinfo/sci In directory sc8-pr-cvs5.sourceforge.net:/tmp/cvs-serv2646/main/finkinfo/sci
Modified Files: mizar.info Log Message: New revision from tracker 1636382 Index: mizar.info =================================================================== RCS file: /cvsroot/fink/dists/10.4/unstable/main/finkinfo/sci/mizar.info,v retrieving revision 1.4 retrieving revision 1.5 diff -u -d -r1.4 -r1.5 --- mizar.info 10 Jan 2007 03:47:20 -0000 1.4 +++ mizar.info 16 Jan 2007 03:13:18 -0000 1.5 @@ -1,7 +1,8 @@ Package: mizar Version: 7.8.03-4.75.958 -Revision: 3 +Revision: 4 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 @@ -13,12 +14,18 @@ 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 . << +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.75.958-ppc-darwin.tar Source-MD5: f5e693a5fc4e8b926de3837db051f1c5 -Suggests: mizar-semantic-mml NoSourceDirectory: true DocFiles: README License: Commercial @@ -35,6 +42,8 @@ # 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 << ------------------------------------------------------------------------- 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