Tue, 30 Nov 2021 15:28:22 UTC

Information for user jjames

Namejjames
ID330
Tasks9196
Packages
Page:
1 through 10 of 5504 >>>
Name ascending sort Tag Included?
4ti2 f35 yes
4ti2 f36 yes
4ti2 f34 yes
4ti2 f35-Beta yes
4ti2 f33 yes
4ti2 f32 yes
4ti2 module-package-list yes
DSDP trashcan yes
DSDP dist-f11 yes
DSDP f18 yes
Builds
Page:
1 through 10 of 8554 >>>
NVR Finished State ascending sort
gappalib-coq-0.18.0-3.fc18 2012-07-29 04:34:30 complete
frama-c-1.7-7.fc18 2012-08-03 21:00:03 complete
gap-pkg-smallgrp-1.4.2-1.fc33 2020-12-21 20:47:22 complete
gappa-0.16.1-1.fc18 2012-07-29 04:06:19 complete
check-0.9.9-3.fc19 2013-03-25 20:19:58 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
gap-pkg-smallgrp-1.4.2-1.fc32 2020-12-21 20:57:06 complete
normaliz-2.12.2-8.fc24 2016-02-06 00:17:57 complete