SEARCH
NEW RPMS
DIRECTORIES
ABOUT
FAQ
VARIOUS
BLOG
ghc-peano-doc rpm build for :
Rawhide
.
This package is obsolete. Try find newer
ghc-peano-doc
Name :
ghc-peano-doc
Version : 0.1.0.2
Vendor :
Fedora Project
Release : 51.fc42
Date : 2024-12-09 17:01:21
Group :
Unspecified
Source RPM :
Agda-2.6.4.3-51.fc42.src.rpm
Size : 0.14 MB
Packager :
Fedora Project
