../ ghc-copilot-theorem-3.19.1-3.fc42.src.rpm 29-Jan-2025 18:45 78654 ghc-copilot-theorem-3.19.1-3.fc42.x86_64.rpm 29-Jan-2025 18:48 252829 ghc-copilot-theorem-devel-3.19.1-3.fc42.x86_64.rpm 29-Jan-2025 18:48 426210 ghc-copilot-theorem-doc-3.19.1-3.fc42.noarch.rpm 29-Jan-2025 18:48 202158 ghc-copilot-theorem-prof-3.19.1-3.fc42.x86_64.rpm 29-Jan-2025 18:45 588405