Tue, 07 Jul 2020 20:28:47 UTC

Information for user petersen

Namepetersen
ID56
Tasks13157
Packages
Page:
1 through 10 of 5156 >>>
Name ascending sort Tag Included?
Agda dist-f15 yes
Agda f18 yes
Agda f18-Alpha yes
Agda dist-f15-eol yes
Agda f18-Beta yes
Agda f18-final yes
Agda f21-beta yes
Agda f22-Alpha yes
Agda f22-Beta yes
Agda f24 yes
Builds
Page:
1 through 10 of 9274 >>>
NVR Finished descending sort State
ghc-HsOpenSSL-0.11.4.18-1.fc33 2020-07-07 02:12:22 complete
ghc-8.6.5-104.fc33 2020-07-06 12:24:57 complete
rpmbuild-order-0.3.1-1.fc31 2020-07-04 14:03:24 complete
rpmbuild-order-0.3.1-1.fc32 2020-07-04 13:56:30 complete
rpmbuild-order-0.3.1-1.fc33 2020-07-04 11:04:20 complete
ghc-js-flot-0.8.3-1.fc33 2020-07-04 08:02:32 complete
ghc-unicode-transforms-0.3.6-1.fc33 2020-07-04 06:59:11 complete
cabal-rpm-2.0.5.1-1.fc31 2020-07-03 07:31:38 complete
cabal-rpm-2.0.5.1-1.fc32 2020-07-03 07:07:02 complete
cabal-rpm-2.0.5.1-1.fc33 2020-07-03 06:43:38 complete