| -1737210586 | | A library for building extensible systems, especially module systems. This package needs license metadata | succeeds | 2 |
| -1737210588 | | A library for building extensible systems, especially module systems. (doc) This package needs license metadata | succeeds | 2 |
| -1737210589 | | A library for building extensible systems, especially module systems. (lib) This package needs documentation This package needs license metadata | succeeds | 4 |
| -1737210590 | | A library for building extensible systems, especially module systems. (test) This package needs documentation This package needs license metadata | succeeds | 4 |
| -1737210608 | | A collection of utilities. This package needs license metadata | succeeds | 2 |
| -1737210610 | | A collection of utilities. (doc) This package needs license metadata | succeeds | 2 |
| -1737210611 | | A collection of utilities. (lib) This package needs documentation This package needs license metadata | succeeds | 4 |
| -1737210612 | | A collection of utilities. (test) This package needs documentation This package needs license metadata | succeeds | 4 |
| -1737210613 | | Interfaces for category theory concepts. This package needs license metadata | succeeds | 2 |
| -1737210615 | | Interfaces for category theory concepts. (doc) This package needs license metadata | succeeds | 2 |
| -1737210617 | | Interfaces for category theory concepts. (lib) This package needs documentation This package needs license metadata | succeeds | 4 |
| -1737210618 | | Interfaces for category theory concepts. (test) This package needs documentation This package needs license metadata | succeeds | 4 |
| -1737210619 | | Ordinal numbers supporting addition, multiplication, and exponentiation. This package needs license metadata | succeeds | 2 |
| -1737210621 | | Ordinal numbers supporting addition, multiplication, and exponentiation. (doc) This package needs license metadata | succeeds | 2 |
| -1737210622 | | Ordinal numbers supporting addition, multiplication, and exponentiation. (lib) This package needs documentation This package needs license metadata | succeeds | 4 |
| -1737210623 | | Ordinal numbers supporting addition, multiplication, and exponentiation. (test) This package needs documentation This package needs license metadata | succeeds | 4 |
| -1737210689 | | A weak opening parenthesis, good for eliminating indentation. This package needs license metadata | succeeds | 2 |
| -1737210691 | | A weak opening parenthesis, good for eliminating indentation. (doc) This package needs license metadata | succeeds | 2 |
| -1737210692 | | A weak opening parenthesis, good for eliminating indentation. (lib) This package needs documentation This package needs license metadata | succeeds | 4 |
| -1737210693 | | A weak opening parenthesis, good for eliminating indentation. (test) This package needs documentation This package needs license metadata | succeeds | 4 |
| -1737210719 | | A library for working with higher-dimensional brackets, such as quasiquotation syntax. This package needs license metadata | succeeds | 2 |
| -1737210721 | | A library for working with higher-dimensional brackets, such as quasiquotation syntax. (doc) This package needs license metadata | succeeds | 2 |
| -1737210724 | | A library for working with higher-dimensional brackets, such as quasiquotation syntax. (lib) This package needs documentation This package needs license metadata | succeeds | 4 |
| -1737210725 | | A library for working with higher-dimensional brackets, such as quasiquotation syntax. (test) This package needs documentation This package needs license metadata | succeeds | 4 |
| -1737210787 | | A meta-language for assembling a file with custom preprocessing logic. This package needs license metadata | succeeds | 2 |
| -1737210790 | | A meta-language for assembling a file with custom preprocessing logic. (doc) This package needs license metadata | succeeds | 2 |
| -1737210791 | | A meta-language for assembling a file with custom preprocessing logic. (lib) This package needs documentation This package needs license metadata | succeeds | 4 |
| -1737210792 | | A meta-language for assembling a file with custom preprocessing logic. (test) This package needs documentation This package needs license metadata | succeeds | 4 |