Fri, 18 Oct 2019 10:59:44 UTC

Information for user jjames

Namejjames
ID330
Tasks6227
Packages
Page:
1 through 10 of 3042 >>>
Name ascending sort Tag Included?
DSDP dist-f11 yes
DSDP f17-final yes
DSDP trashcan yes
DSDP f18-Alpha yes
DSDP f18-Beta yes
DSDP dist-f15-eol yes
DSDP f18-final yes
DSDP f18 yes
DSDP f22-Alpha yes
DSDP f22-Beta yes
Builds
Page:
1 through 10 of 5791 >>>
NVR Finished State ascending sort
normaliz-2.12.2-8.fc24 2016-02-06 00:17:57 complete
gappa-0.16.1-2.fc18 2012-08-06 16:40:57 complete
frama-c-1.7-7.fc18 2012-08-03 21:00:03 complete
clisp-2.49-8.fc18 2012-07-26 03:21:32 complete
emacs-common-proofgeneral-4.1-1.fc18 2012-07-24 18:47:50 complete
check-0.9.9-3.fc20 2013-03-25 20:02:07 complete
check-0.9.9-3.fc19 2013-03-25 20:19:58 complete
gappa-0.16.1-1.fc18 2012-07-29 04:06:19 complete
gappalib-coq-0.18.0-3.fc18 2012-07-29 04:34:30 complete
permlib-0.2.6-4.fc18 2012-08-06 17:03:29 complete