Package: mizar-gab
Description: Generated ABstracts for articles in the MML
Version: 4.166.1132
Revision: 1
License: Commercial
Recommends: mizar, mizar-gab-html
Source: http://mmlquery.mizar.org/mmlquery/downloads/gab-%v.tgz
Source-MD5: b2b971dae7d20bea2c7a03fba8c4fb2d
SourceDirectory: %v
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 <alama@stanford.edu>