SEARCH
NEW RPMS
DIRECTORIES
ABOUT
FAQ
VARIOUS
BLOG
DONATE




YUM REPOSITORY

 
 
metamath-theories rpm build for : Fedora 25.

This package is obsolete. Try find newer metamath-theories


Name : metamath-theories
Version : 0.146 Vendor : Fedora Project
Release : 1.fc25 Date : 2017-07-04 02:13:02
Group : Unspecified Source RPM : metamath-0.146-1.fc25.src.rpm
Size : 32.59 MB
Packager : Fedora Project