../ ghc-vector-0.13.1.0-1.fc41.x86_64.rpm 10-Feb-2025 16:39 681551 ghc-vector-devel-0.13.1.0-1.fc41.x86_64.rpm 10-Feb-2025 16:39 1086582 ghc-vector-stream-0.1.0.1-1.fc41.x86_64.rpm 10-Feb-2025 16:39 54613 ghc-vector-stream-devel-0.1.0.1-1.fc41.x86_64.rpm 10-Feb-2025 16:39 75974