Sat, 08 May 2021 23:41:16 UTC

Information for user petersen

Namepetersen
ID56
Tasks14306
Packages
Page:
1 through 10 of 7455 >>>
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 10241 >>>
NVR Finished descending sort State
ghc-8.2.2-68.4.el8 2021-04-28 18:28:04 complete
llvm5.0-5.0.1-7.el8 2021-04-28 18:24:29 complete
ghc-9.2-20210427150231.91beb1ea 2021-04-27 21:35:59 complete
ghc-9.2-3420210427150231.9368d755 2021-04-27 21:34:03 complete
ghc-9.2-3520210427150231.9fdbd1aa 2021-04-27 21:31:13 complete
ghc-9.2-3220210427150231.24ee2502 2021-04-27 20:32:27 complete
ghc-8.2-820210427020501.9edba152 2021-04-27 14:07:28 complete
ghc-protolude-0.3.0-1.fc33 2021-04-26 08:25:36 complete
ghc-protolude-0.3.0-1.fc34 2021-04-26 08:14:30 complete
ghc-wai-websockets-3.0.1.2-1.fc33 2021-04-26 08:05:12 complete