| -1604633386 | | Interfaces for category theory concepts. | succeeds | 0 |
| -1604633387 | | Interfaces for category theory concepts. (doc) | succeeds | 0 |
| -1604633388 | | Interfaces for category theory concepts. (lib) This package needs documentation | succeeds | 3 |
| -1604633388 | | Interfaces for category theory concepts. (test) This package needs documentation | succeeds | 3 |