Fri, 03 Dec 2021 19:08:10 UTC

Information for user dwheeler

Namedwheeler
ID725
Tasks236
Packages
Page:
<<< 11 through 20 of 62 >>>
Name Tag ascending sort Included?
E f10-beta yes
minisat2 f10-beta yes
tex-zfuzz f10-final yes
zenon f10-final yes
E f10-final yes
minisat2 f10-final yes
tex-zfuzz f11-alpha yes
zenon f11-alpha yes
E f11-alpha yes
minisat2 f11-alpha yes
Builds
Page:
<<< 11 through 20 of 42 >>>
NVR Finished State ascending sort
ltl2ba-1.1-2.fc13 2010-08-05 22:08:32 complete
ltl2ba-1.1-2.fc12 2010-08-05 22:14:09 complete
auto-destdir-1.11-1.fc12 2009-09-11 01:29:03 complete
E-0.999.006-2.fc8 2008-08-28 14:37:55 complete
ocaml-lablgtk-2.14.0-5.fc13 2010-07-31 10:44:43 complete
alt-ergo-0.92.1-1.fc14 2010-10-09 15:21:50 complete
why-2.26-1.fc13 2010-10-11 17:48:46 complete
tex-zfuzz-0-0.20070911.3.fc9 2008-07-10 21:33:36 complete
gappa-0.13.0-4.fc13 2010-09-26 02:58:48 complete
E-0.999.006-2.fc10 2008-08-28 15:15:40 complete