SEARCH
NEW RPMS
DIRECTORIES
ABOUT
FAQ
VARIOUS
BLOG
coq-doc rpm build for :
OpenSuSE
.
This package is obsolete. Try find newer
coq-doc
Name :
coq-doc
Version : 8.19.1
Vendor :
openSUSE
Release : 1.1
Date : 2024-03-07 23:31:46
Group :
Documentation/HTML
Source RPM :
coq-8.19.1-1.1.src.rpm
Size : 81.85 MB
Packager :
https://bugs_opensuse_org
