Fedora People

Name	Last modified	Size
Parent Directory		-
idris2-0.7.0-1.fc42.src.rpm	2024-09-24 02:43	6.6M
idris2.spec	2024-09-24 02:43	4.4K

The Fedora Project is maintained and driven by the community and sponsored by Red Hat. This is a community maintained site. Red Hat is not responsible for content.

Legal
Trademark Guidelines

Fedora

Navigation