SEARCH
NEW RPMS
DIRECTORIES
ABOUT
FAQ
VARIOUS
BLOG
coq rpm build for :
Fedora Other
.
This package is obsolete. Try find newer
coq
Name :
coq
Version : 8.18.0
Vendor :
Fedora Project
Release : 11.fc41
Date : 2025-01-29 21:18:58
Group :
Unspecified
Source RPM :
coq-8.18.0-11.fc41.src.rpm
Size : 87.69 MB
Packager :
Fedora Project
