| -1625805607 | | Documentation for Bozeman This package needs documentation | fails | 5 |
| -1638049387 | | Documentation for Dallas This package needs documentation | fails | 5 |
| -1611080018 | | Documentation for the Elle language. | succeeds | 0 |
| -1642189379 | | Documentation for graph-lib | succeeds | 0 |
| -1642628635 | | documentation of k theorem prover | succeeds; has dependency problems | 0 |
| -1626675255 | | Documentation for Laramie This package needs documentation | fails | 5 |
| -1620919580 | | Documentation for phc-adt (and rendering of the literate programming) | fails | 5 |
| -1575700968 | | Documentation for the syntax-warn packages | succeeds | 0 |
| -1617546905 | | Documentation for typed-map | succeeds | 0 |
| -1617689978 | | This package needs a description | succeeds | 2 |