Wed, 01 Dec 2021 08:02:43 UTC

Information for user dwheeler

Namedwheeler
ID725
Tasks236
Packages
Page:
1 through 10 of 62 >>>
Name Tag descending sort Included?
auto-destdir trashcan yes
tex-zfuzz f9-cutoff yes
zenon f9-cutoff yes
minisat2 f9-cutoff yes
E f9-cutoff yes
stp f9-cutoff yes
tex-zfuzz f9-build-cutoff yes
zenon f9-build-cutoff yes
minisat2 f9-build-cutoff yes
E f9-build-cutoff yes
Builds
Page:
<<< 21 through 30 of 42 >>>
NVR Finished descending sort State
stp-0.1-4.fc10 2009-03-06 06:03:39 complete
stp-0.1-4.fc11 2009-03-06 05:54:42 complete
stp-0.1-2.fc10 2009-03-06 05:34:46 deleted
stp-0.1-2.fc11 2009-03-06 05:34:11 deleted
E-1.0.002-3.fc9 2008-12-23 00:23:03 complete
E-1.0.002-3.fc10 2008-12-23 00:15:45 complete
E-1.0.002-3.fc11 2008-12-23 00:00:01 complete
E-1.0.002-1.fc11 2008-12-22 23:06:25 failed
E-0.999.006-2.fc10 2008-08-28 15:15:40 complete
E-0.999.006-2.fc9 2008-08-28 14:56:56 deleted