Sat, 08 Aug 2020 11:23:28 UTC

Information for user jjames

Namejjames
ID330
Tasks7464
Packages
Page:
1 through 10 of 3032 >>>
Name ascending sort Tag Included?
DSDP trashcan yes
DSDP dist-f11 yes
DSDP f18 yes
DSDP f17-final yes
DSDP f18-Alpha yes
DSDP dist-f15-eol yes
DSDP f18-Beta yes
DSDP f18-final yes
DSDP f21-beta yes
DSDP f22-Alpha yes
Builds
Page:
<<< 11 through 20 of 6888 >>>
NVR Finished descending sort State
ocaml-ppxlib-0.13.0-4.fc33 2020-08-07 19:20:35 complete
ocaml-ppxlib-0.13.0-3.fc33 2020-08-07 18:32:26 complete
why3-1.3.1-12.fc33 2020-08-07 04:18:43 complete
gappalib-coq-1.4.4-3.fc33 2020-08-07 03:35:30 complete
flocq-3.3.1-4.fc33 2020-08-07 03:08:03 complete
alt-ergo-2.2.0-2.fc33 2020-08-07 01:30:04 complete
coq-8.11.2-4.fc33 2020-08-06 23:42:41 complete
ocaml-ppx-compare-0.14.0-1.fc33 2020-08-06 22:50:33 complete
polymake-4.1-3.fc33 2020-08-06 21:36:20 complete
ocaml-ppxlib-0.15.0-1.fc33 2020-08-06 20:32:32 complete