SEARCH
NEW RPMS
DIRECTORIES
ABOUT
FAQ
VARIOUS
BLOG
ghc-idris-doc rpm build for :
Rawhide
.
This package is obsolete. Try find newer
ghc-idris-doc
Name :
ghc-idris-doc
Version : 1.3.4
Vendor :
Fedora Project
Release : 17.fc41
Date : 2024-08-06 19:18:52
Group :
Unspecified
Source RPM :
idris-1.3.4-17.fc41.src.rpm
Size : 48.18 MB
Packager :
Fedora Project
