| -1625805607 | | Documentation for Bozeman This package needs documentation | fails | 5 |
| -1648643732 | | Documentation for Dallas | succeeds | 0 |
| -1611080018 | | Documentation for the Elle language. | succeeds | 0 |
| -1642189379 | | Documentation for graph-lib | succeeds | 0 |
| -1654768675 | | documentation of k theorem prover | fails | 5 |
| -1648907034 | | Documentation for Laramie | succeeds | 0 |
| -1620919580 | | Documentation for phc-adt (and rendering of the literate programming) Docs: phc-adt-implementationphc-adt
| fails | 5 |
| -1575700968 | | Documentation for the syntax-warn packages | succeeds | 0 |
| -1617546905 | | Documentation for typed-map | fails | 5 |
| -1617689978 | | This package needs a description | succeeds | 2 |