Thu, 19 Sep 2019 16:38:41 UTC

Information for user jjames

Namejjames
ID330
Tasks6058
Packages
Page:
<<< 11 through 20 of 3042 >>>
Name ascending sort Tag Included?
DSDP f21-beta yes
DSDP f23_Beta yes
DSDP f23_Alpha yes
DSDP f24-Alpha yes
DSDP f24 yes
DSDP f24-Beta yes
DSDP f25-Alpha yes
DSDP f25-Beta yes
DSDP f24-docker yes
DSDP f26-Alpha yes
Builds
Page:
1 through 10 of 5614 >>>
NVR Finished State ascending sort
gappa-0.16.1-2.fc18 2012-08-06 16:40:57 complete
permlib-0.2.6-4.fc18 2012-08-06 17:03:29 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
polyml-5.5-3.fc19 2013-04-23 18:12:52 complete