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
