Update of /cvsroot/fink/dists/10.4/unstable/main/finkinfo/sci
In directory sc8-pr-cvs5.sourceforge.net:/tmp/cvs-serv16639/main/finkinfo/sci
Modified Files:
mizar.info
Log Message:
Mew from tracker 1625499
Index: mizar.info
===================================================================
RCS file: /cvsroot/fink/dists/10.4/unstable/main/finkinfo/sci/mizar.info,v
retrieving revision 1.2
retrieving revision 1.3
diff -u -d -r1.2 -r1.3
--- mizar.info 6 Dec 2006 01:30:40 -0000 1.2
+++ mizar.info 10 Jan 2007 03:41:28 -0000 1.3
@@ -1,6 +1,6 @@
Package: mizar
Version: 7.8.03-4.75.958
-Revision: 1
+Revision: 2
Description: Build and check first-order formal proofs
DescDetail: <<
The Mizar project started around 1973 as an attempt to reconstruct
@@ -34,6 +34,7 @@
# in another package (mizar-mode)
rm %i/share/doc/mizar/.emacs
rm %i/share/mizar/mizar.el
+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
