Fri, 28 Jan 2022 13:15:44 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:
<<< 21 through 30 of 42 >>>
NVR Finished State ascending sort
ltl2ba-1.1-2.fc13 2010-08-05 22:08:32 complete
why-2.26-1.fc13 2010-10-11 17:48:46 complete
alt-ergo-0.92.1-1.fc14 2010-10-09 15:21:50 complete
alt-ergo-0.92.1-1.fc13 2010-10-09 15:54:43 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
why-2.26-1.fc14 2010-10-11 17:29:31 complete
E-1.0.002-3.fc11 2008-12-23 00:00:01 complete
auto-destdir-1.10-1.fc11 2009-09-02 22:37:17 complete
zenon-0.5.0-3.fc10 2008-07-25 19:51:45 complete