Sun, 22 May 2022 17:27:25 UTC

Information for user dwheeler

Namedwheeler
ID725
Tasks236
Packages
Page:
<<< 21 through 30 of 62 >>>
Name ascending sort Tag Included?
minisat2 f11-alpha-2 yes
minisat2 f11-beta yes
minisat2 f11-final yes
minisat2 f12-alpha yes
minisat2 f9-cutoff yes
minisat2 f9-build-cutoff yes
minisat2 f12-beta yes
minisat2 f12-final yes
stp dist-f9 yes
stp f11-beta yes
Builds
Page:
<<< 11 through 20 of 42 >>>
NVR ascending sort Finished State
E-0.999.006-2.fc9 2008-08-28 14:56:56 deleted
E-1.0.002-1.fc11 2008-12-22 23:06:25 failed
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-3.fc9 2008-12-23 00:23:03 complete
gappa-0.13.0-4.fc13 2010-09-26 02:58:48 complete
gappa-0.13.0-4.fc14 2010-09-26 02:31:28 complete
gappa-0.13.0-4.fc15 2010-09-26 01:58:48 deleted
ltl2ba-1.1-2.fc12 2010-08-05 22:14:09 complete
ltl2ba-1.1-2.fc13 2010-08-05 22:08:32 complete