Tue, 29 Nov 2022 10:17:52 UTC

Information for user dwheeler

Namedwheeler
ID725
Tasks236
Packages
Page:
1 through 10 of 62 >>>
Name Tag ascending sort Included?
auto-destdir dist-f10 yes
stp dist-f9 yes
tex-zfuzz dist-fc7 yes
zenon dist-fc7 yes
minisat2 dist-fc7 yes
E dist-fc7 yes
tex-zfuzz f10-alpha yes
zenon f10-alpha yes
tex-zfuzz f10-beta yes
zenon f10-beta yes
Builds
Page:
1 through 10 of 42 >>>
NVR Finished State ascending sort
E-0.999.006-2.fc8 2008-08-28 14:37:55 complete
zenon-0.5.0-3.fc8 2008-07-25 20:03:38 complete
auto-destdir-1.11-1.fc12 2009-09-11 01:29:03 complete
alt-ergo-0.92.1-1.fc15 2010-10-09 15:02:51 complete
auto-destdir-1.10-1.fc10 2009-09-02 22:43:09 complete
zenon-0.5.0-3.fc9 2008-07-25 20:02:21 complete
tex-zfuzz-0-0.20070911.3.fc9 2008-07-10 21:33:36 complete
minisat2-2.0-7.20070721.fc10 2008-08-14 04:44:18 complete
minisat2-2.0-7.20070721.fc8 2008-08-14 04:43:30 complete
E-1.0.002-3.fc11 2008-12-23 00:00:01 complete