Sat, 28 Jan 2023 20:47:00 UTC

Information for user petersen

Namepetersen
ID56
Tasks17422
Packages
Page:
1 through 10 of 10949 >>>
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:
<<< 11 through 20 of 12581 >>>
NVR Finished descending sort State
ghc-srpm-macros-1.6.0-1.fc38 2023-01-21 15:55:34 complete
fedora-toolbox-38-3 2023-01-20 03:30:12 complete
ghc9.6-9.6.0.20230111-1.fc37 2023-01-19 09:07:55 complete
ghc-8.10.7-122.fc38 2023-01-07 05:37:31 complete
ghc9.4-9.4.4-16.el9 2023-01-06 12:48:35 complete
fbrnch-1.2.1-9.el9 2023-01-04 09:30:03 complete
hadolint-2.8.0-9.fc38 2022-12-29 06:04:31 complete
ghc9.4-9.4.4-15.el9 2022-12-27 06:08:06 complete
ghc9.4-9.4.4-15.fc36 2022-12-26 19:13:30 complete
ghc9.4-9.4.4-15.fc37 2022-12-26 15:06:56 complete