| -1752549599 New | | Category Theory in Programming | succeeds; has dependency problems | 0 |
| -1683812817 | | Documentation for Dallas This package needs license metadata | succeeds | 2 |
| -1704805700 | | Documentation for the Elle language. This package needs license metadata | succeeds | 2 |
| -1704805842 | | Documentation for graph-lib This package needs license metadata | succeeds | 2 |
| -1660658293 | | documentation of k theorem prover This package needs license metadata | fails | 6 |
| -1695033708 | | Documentation for Laramie This package needs license metadata | succeeds | 2 |
| -1751299012 | | Documentation for phc-adt (and rendering of the literate programming) Docs: phc-adt-implementationphc-adt
This package needs license metadata | fails | 6 |
| -1575700968 | | Documentation for the syntax-warn packages This package needs license metadata | succeeds | 2 |
| -1745576464 | | TinyBASIC (Documentation only) | succeeds | 0 |
| -1751299223 | | Documentation for typed-map This package needs license metadata | succeeds | 2 |
| -1701681466 | | This package needs a description This package needs license metadata | succeeds | 3 |