Wed, 01 Apr 2020 09:03:10 UTC

Information for user jjames

Namejjames
ID330
Tasks6961
Packages
Page:
1 through 10 of 3036 >>>
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:
1 through 10 of 6435 >>>
NVR Finished descending sort State
coq-8.11.0-2.fc33 2020-04-01 01:50:50 complete
tbb-2020.2-1.fc32 2020-03-31 15:49:44 complete
tbb-2020.2-1.fc33 2020-03-31 14:44:59 complete
gappalib-coq-1.4.2-6.fc33 2020-03-30 16:43:03 complete
flocq-3.2.0-7.fc33 2020-03-30 16:14:48 complete
why3-1.3.1-2.fc32 2020-03-28 14:41:20 complete
why3-1.3.1-2.fc33 2020-03-28 14:15:28 complete
frama-c-20.0-1.fc32 2020-03-27 23:29:17 complete
why3-1.3.1-1.fc32 2020-03-27 22:52:36 complete
hevea-2.34-1.fc32 2020-03-27 22:40:20 complete