SEARCH
NEW RPMS
DIRECTORIES
ABOUT
FAQ
VARIOUS
BLOG
why3-proofgeneral rpm build for :
Rawhide
.
This package is obsolete. Try find newer
why3-proofgeneral
Name :
why3-proofgeneral
Version : 1.7.2
Vendor :
Fedora Project
Release : 10.fc42
Date : 2024-10-14 23:22:33
Group :
Unspecified
Source RPM :
why3-1.7.2-10.fc42.src.rpm
Size : 0.01 MB
Packager :
Fedora Project
