Mon, 24 Jun 2019 11:40:15 UTC

Information for user petersen

Namepetersen
ID56
Tasks11559
Packages
Page:
1 through 10 of 4953 >>>
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 8088 >>>
NVR Finished descending sort State
ghc-html-conduit-1.3.2-1.fc29 2019-06-20 08:38:27 complete
ghc-html-conduit-1.3.2-1.fc30 2019-06-20 07:43:46 complete
ghc-simple-cmd-args-0.1.2-1.fc29 2019-06-20 05:24:19 complete
ghc-simple-cmd-args-0.1.2-1.fc30 2019-06-20 04:55:14 complete
ghc-8.8-3120190617071324.f636be4b 2019-06-20 02:07:17 complete
ghc-simple-cmd-args-0.1.2-1.fc31 2019-06-19 17:30:45 complete
ghc-8.8-3020190617071324.a5b0195c 2019-06-18 02:25:07 complete
hledger-web-1.10-1.fc30 2019-06-17 01:49:49 complete
ghc-microlens-mtl-0.1.11.1-1.fc30 2019-06-14 02:42:19 complete
ghc-microlens-mtl-0.1.11.1-1.fc31 2019-06-13 07:49:55 complete