ghc-devel(numbers-3000.2.0.2-CafMc1i8kUGzIE2RU1j6C) |
ghc-numbers-devel = 3000.2.0.2-23.rvre0.fc38 |
ghc-numbers-devel(riscv-64) = 3000.2.0.2-23.rvre0.fc38 |
ghc-numbers-static = 3000.2.0.2-23.rvre0.fc38 |
ghc-numbers-static(riscv-64) = 3000.2.0.2-23.rvre0.fc38 |