| -1732006709 New | | Category Theory in Programming | succeeds; has dependency problems | 0 |
| -1643006635 | | Interfaces for category theory concepts. This package needs license metadata | succeeds | 2 |
| -1643006635 | | Interfaces for category theory concepts. (doc) This package needs license metadata | succeeds | 2 |
| -1704805979 | | Interfaces for category theory concepts. (lib) This package needs documentation This package needs license metadata | succeeds | 4 |
| -1704805985 | | Interfaces for category theory concepts. (test) This package needs documentation This package needs license metadata | succeeds | 4 |