Update of /cvsroot/fink/dists/10.4/unstable/main/finkinfo/sci
In directory sc8-pr-cvs5.sourceforge.net:/tmp/cvs-serv10550/main/finkinfo/sci
Added Files:
mizar-gab.info
Log Message:
New from tracker 1636384
--- NEW FILE: mizar-gab.info ---
Package: mizar-gab
Description: Generated ABstracts for articles in the MML
Version: 4.75.958
Revision: 1
License: Commercial
Recommends: mizar, mizar-gab-html
Source: http://www.stanford.edu/~alama/%n-%v.tar.bz2
Source-MD5: 47b67542d48f4679460b142510b64154
CompileScript: <<
<<
InstallScript: <<
mkdir -p %i/share/mizar/gab
cp *.gab %i/share/mizar/gab
cp *.gab.raw %i/share/mizar/gab
<<
DescDetail: <<
This package contains Generated ABstracts (GAB's) of articles in the Mizar
Mathematical Library. See
http://merak.pb.bialystok.pl
for more details.
<<
Homepage: http://merak.pb.bialystok.pl
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
