Package mizar-gab-4.166.1132-1
| System | Binary Distributions | CVS/rsync Source Distributions | |
|---|---|---|---|
 stable | unstable | ||
10.7/x86_64 | |||
10.6/x86_64 | |||
10.6/i386 | |||
10.5/i386 | |||
10.5/powerpc | 4.166.1132-1 | ||
| Description: | Generated ABstracts for articles in the MML (4.166.1132-1) | |
This package contains Generated ABstracts (GAB's) of articles in the Mizar
Mathematical Library. See
http://merak.pb.bialystok.pl
for more details. | ||
| Section: | sci | |
| Maintainer: | Jesse Alama <alamaATstanfordDOTedu> | |
| Website: | http://merak.pb.bialystok.pl | |
| License: | Commercial | |
| Info-File: | dists/10.4/stable/main/finkinfo/sci/mizar-gab.info CVS log, Last Changed: Sat, 24 Mar 2012 22:45:35 (UTC) | |
Section list - Flat package list - Search packages
(*) = Unsupported distribution.