Thu, 09 Feb 2023 11:44:13 UTC

Information for user petersen

Namepetersen
ID56
Tasks17516
Packages
Page:
1 through 10 of 11368 >>>
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 12606 >>>
NVR Finished State ascending sort
ghc-shakespeare-1.0.0.2-1.fc17 2012-06-28 04:21:43 complete
ghc-hamlet-1.0.1.3-1.fc17 2012-06-28 04:41:01 complete
ghc-rpm-macros-1.0.8-1.fc21 2013-08-27 10:40:26 complete
xmonad-0.10-12.fc18 2012-06-15 03:41:42 complete
ghc-blaze-builder-0.3.1.0-3.fc18 2012-06-15 14:53:57 complete
ghc-X11-xft-0.3.1-4.fc18 2012-06-15 03:41:07 complete
ghc-attoparsec-enumerator-0.3-5.fc18 2012-06-21 08:11:08 complete
bluetile-0.6-24.fc20 2014-01-04 12:38:02 complete
ghc-path-pieces-0.1.2-1.fc20 2013-07-20 12:11:47 complete
ghc-gtk-0.12.3.1-1.fc18 2012-06-21 09:02:22 complete