| -1578719162 | | Interfaces for category theory concepts. | succeeds | 0 |
| -1578719163 | | Interfaces for category theory concepts. (doc) | succeeds | 0 |
| -1578719163 | | Interfaces for category theory concepts. (lib) This package needs documentation | succeeds | 3 |
| -1578719164 | | Interfaces for category theory concepts. (test) This package needs documentation | succeeds | 3 |