Fri, 21 Jan 2022 07:33:19 UTC

Information for user dwheeler

Namedwheeler
ID725
Tasks236
Packages
Page:
<<< 21 through 30 of 62 >>>
Name Tag ascending sort Included?
tex-zfuzz f11-alpha-2 yes
zenon f11-alpha-2 yes
minisat2 f11-alpha-2 yes
E f11-alpha-2 yes
tex-zfuzz f11-beta yes
zenon f11-beta yes
minisat2 f11-beta yes
E f11-beta yes
stp f11-beta yes
tex-zfuzz f11-final yes
Builds
Page:
<<< 11 through 20 of 42 >>>
NVR Finished State ascending sort
minisat2-2.0-7.20070721.fc8 2008-08-14 04:43:30 complete
auto-destdir-1.10-1.fc11 2009-09-02 22:37:17 complete
ltl2ba-1.1-2.fc13 2010-08-05 22:08:32 complete
alt-ergo-0.92.1-1.fc13 2010-10-09 15:54:43 complete
ltl2ba-1.1-2.fc12 2010-08-05 22:14:09 complete
minisat2-2.0-7.20070721.fc10 2008-08-14 04:44:18 complete
ocaml-lablgtk-2.14.0-5.fc13 2010-07-31 10:44:43 complete
gappa-0.13.0-4.fc13 2010-09-26 02:58:48 complete
zenon-0.5.0-3.fc8 2008-07-25 20:03:38 complete
zenon-0.5.0-3.fc10 2008-07-25 19:51:45 complete