SEARCH
NEW RPMS
DIRECTORIES
ABOUT
FAQ
VARIOUS
BLOG
DONATE
YUM REPOSITORY
metamath-theories rpm build for :
Fedora 32
.
This package is obsolete. Try find newer
metamath-theories
Name :
metamath-theories
Version : 0.194
Vendor :
Fedora Project
Release : 1.fc32
Date : 2020-12-28 17:05:02
Group :
Unspecified
Source RPM :
metamath-0.194-1.fc32.src.rpm
Size : 46.93 MB
Packager :
Fedora Project
