| Package | Current state | Build | Distance | Build time |
|---|---|---|---|---|
| fedora-developer-portal |  |
build | 1 | a month ago |
| pcp |  |
build | 1 | 4 months ago |
| antlr3 | |
build | 3 | 4 months ago |
| reflections | |
build | 4 | 4 months ago |
| powermock | |
build | 4 | 4 months ago |
| jline3 |  |
build | 4 | 4 months ago |
| sundials | |
build | 4 | 4 months ago |
| coq | |
build | 4 | 4 months ago |