SEARCH
NEW RPMS
DIRECTORIES
ABOUT
FAQ
VARIOUS
BLOG
coq-core-debuginfo rpm build for :
Rawhide
.
This package is obsolete. Try find newer
coq-core-debuginfo
Name :
coq-core-debuginfo
Version : 8.18.0
Vendor :
Fedora Project
Release : 10.fc41
Date : 2024-07-17 22:05:19
Group :
Development/Debug
Source RPM :
coq-8.18.0-10.fc41.src.rpm
Size : 115.42 MB
Packager :
Fedora Project
Download
ftp.icm.edu.pl
coq-core-debuginfo-8.18.0-10.fc41.x86_64.rpm
