Wed, 19 Jan 2022 22:06:35 UTC

Information for user dwheeler

Namedwheeler
ID725
Tasks236
Packages
Page:
<<< 11 through 20 of 62 >>>
Name Tag Included? ascending sort
tex-zfuzz f12-alpha yes
tex-zfuzz f9-cutoff yes
tex-zfuzz f9-build-cutoff yes
zenon dist-fc7 yes
zenon f10-alpha yes
zenon f10-beta yes
zenon f10-final yes
zenon f11-alpha yes
zenon f11-alpha-2 yes
zenon f11-beta yes
Builds
Page:
<<< 21 through 30 of 42 >>>
NVR ascending sort Finished State
ltl2ba-1.1-2.fc14 2010-08-05 22:03:35 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
minisat2-2.0-7.20070721.fc9 2008-08-14 04:40:10 complete
ocaml-lablgtk-2.14.0-5.fc13 2010-07-31 10:44:43 complete
ocaml-lablgtk-2.14.0-5.fc14 2010-07-31 10:27:41 failed
prover9-200911a-1.fc14 2010-08-06 01:26:53 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
stp-0.1-4.fc10 2009-03-06 06:03:39 complete