Mon, 27 Sep 2021 15:34:18 UTC

RPMs built in buildroot f22-ghc-2917698-452407

RPMs 1 through 2 of 2
NVR ascending sort
idris-0.9.9.1-4.fc22.src.rpm
idris-0.9.9.1-4.fc22.x86_64.rpm
RPMs 1 through 2 of 2