SEARCH
NEW RPMS
DIRECTORIES
ABOUT
FAQ
VARIOUS
BLOG
DONATE




YUM REPOSITORY

 
 
metamath-theories rpm build for : Fedora 24.

This package is obsolete. Try find newer metamath-theories


Name : metamath-theories
Version : 0.141 Vendor : Fedora Project
Release : 1.fc24 Date : 2017-05-08 05:54:45
Group : Unspecified Source RPM : metamath-0.141-1.fc24.src.rpm
Size : 33.17 MB
Packager : Fedora Project