Fri, 23 Aug 2019 22:26:43 UTC

Information for user petersen

Namepetersen
ID56
Tasks12224
Packages
Page:
1 through 10 of 5013 >>>
Name ascending sort Tag Included?
Agda dist-f15 yes
Agda f18-Alpha yes
Agda f18-Beta yes
Agda dist-f15-eol yes
Agda f18-final yes
Agda f18 yes
Agda f22-Beta yes
Agda f22-Alpha yes
Agda f21-beta yes
Agda f23_Beta yes
Builds
Page:
1 through 10 of 8640 >>>
NVR Finished descending sort State
git-annex-7.20190730-1.fc31 building
Agda-stdlib-1.1-1.fc31 2019-08-20 21:23:57 complete
Agda-stdlib-1.1-1.fc32 2019-08-17 10:41:36 complete
git-annex-7.20190730-1.fc32 2019-08-16 07:47:41 complete
ghc-zlib-0.6.2-7.fc32 2019-08-14 14:57:55 complete
ghc-zlib-0.6.2-6.fc32 2019-08-14 11:54:15 complete
ghc-zlib-0.6.2-5.fc32 2019-08-14 10:34:50 complete
ghc-rpm-macros-2.0.4-1.fc32 2019-08-14 09:53:55 complete
ghc-gi-gtk-3.0.27-1.fc31 2019-08-12 01:17:30 complete
ghc-gi-atk-2.0.18-1.fc31 2019-08-11 22:24:28 complete