Update of /cvsroot/fink/dists/10.4/unstable/main/finkinfo/sci
In directory sc8-pr-cvs5.sourceforge.net:/tmp/cvs-serv32674/main/finkinfo/sci
Modified Files:
prover9.info
Log Message:
Fix heredoc
Index: prover9.info
===================================================================
RCS file: /cvsroot/fink/dists/10.4/unstable/main/finkinfo/sci/prover9.info,v
retrieving revision 1.1
retrieving revision 1.2
diff -u -d -r1.1 -r1.2
--- prover9.info 16 Jan 2007 03:00:39 -0000 1.1
+++ prover9.info 16 Jan 2007 03:06:49 -0000 1.2
@@ -48,6 +48,7 @@
DescPackaging: <<
Author has given permission for the package to be distributed by Fink, and
hasn't
descided upon an established licensure (e.g. GPL) as of yet.
+<<
Homepage: http://www.cs.unm.edu/~mccune/prover9
Maintainer: Jesse Alama <[EMAIL PROTECTED]>
-------------------------------------------------------------------------
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
