Fri, 24 Sep 2021 10:09:45 UTC

Information for user petersen

Namepetersen
ID56
Tasks15220
Packages
Page:
1 through 10 of 8079 >>>
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 10997 >>>
NVR Finished descending sort State
unicode-ucd-14.0.0-1.fc36 2021-09-20 10:18:02 complete
ghc-8.10-3520210920031153.f27b74a8 2021-09-20 10:08:26 complete
cabal-install-3.2.0.0-2.fc35 2021-09-09 16:29:53 complete
cabal-install-3.2.0.0-2.fc36 2021-09-09 15:23:34 complete
fedora-toolbox-36-2 2021-09-09 03:26:05 complete
rhbzquery-0.4.4-1.el8 2021-09-07 15:10:51 failed
rhbzquery-0.4.4-1.fc33 2021-09-07 15:05:18 complete
rhbzquery-0.4.4-1.fc34 2021-09-07 14:52:06 complete
ghc-9.2-3320210906104310.646e4c76 2021-09-06 20:05:07 complete
ghc-9.2-3420210906104310.9368d755 2021-09-06 18:35:50 complete