SEARCH
NEW RPMS
DIRECTORIES
ABOUT
FAQ
VARIOUS
BLOG
DONATE


YUM REPOSITORY

 
 
metamath-theories rpm build for : Fedora 33.

This package is obsolete. Try find newer metamath-theories


Name : metamath-theories
Version : 0.194 Vendor : Fedora Project
Release : 1.fc33 Date : 2020-12-28 16:50:14
Group : Unspecified Source RPM : metamath-0.194-1.fc33.src.rpm
Size : 46.93 MB
Packager : Fedora Project