| -1615519636 | | Interfaces for category theory concepts. | succeeds | 0 |
| -1615519624 | | Interfaces for category theory concepts. (doc) | succeeds | 0 |
| -1615519612 | | Interfaces for category theory concepts. (lib) This package needs documentation | succeeds | 3 |
| -1615519601 | | Interfaces for category theory concepts. (test) This package needs documentation | succeeds | 3 |