SEARCH
NEW RPMS
DIRECTORIES
ABOUT
FAQ
VARIOUS
BLOG
coq-coqide-server rpm build for :
Fedora Other
.
This package is obsolete. Try find newer
coq-coqide-server
Name :
coq-coqide-server
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 : 90.67 MB
Packager :
Fedora Project
