Wed, 28 Oct 2020 15:02:21 UTC

Information for user petersen

Namepetersen
ID56
Tasks14010
Packages
Page:
1 through 10 of 5230 >>>
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 10009 >>>
NVR Finished descending sort State
fedora-toolbox-33-7 2020-10-27 14:00:32 complete
editline-1.17.1-2.el7 2020-10-20 17:17:26 complete
editline-1.17.1-2.el8 2020-10-20 17:04:20 complete
editline-1.17.1-2.fc32 2020-10-20 16:16:07 complete
editline-1.17.1-2.fc33 2020-10-20 15:11:02 complete
editline-1.17.1-2.fc34 2020-10-19 15:36:44 complete
dhall-json-1.3.0-1.fc32 2020-10-09 03:38:35 complete
ghc-aeson-yaml-1.0.6.0-2.fc32 2020-10-08 20:18:04 complete
cabal-rpm-2.0.7-1.fc31 2020-10-08 18:53:08 complete
ghc-simple-cabal-0.1.3-1.fc31 2020-10-08 18:37:40 complete