| -1757414512 | | A library for building extensible systems, especially module systems. This package needs license metadata | succeeds | 2 |
| -1757414513 | | A library for building extensible systems, especially module systems. (doc) This package needs license metadata | succeeds | 2 |
| -1757414514 | | A library for building extensible systems, especially module systems. (lib) This package needs documentation This package needs license metadata | succeeds | 4 |
| -1757414516 | | A library for building extensible systems, especially module systems. (test) This package needs documentation This package needs license metadata | succeeds | 4 |
| -1757583723 | | A collection of utilities. This package needs license metadata | succeeds | 2 |
| -1757583725 | | A collection of utilities. (doc) This package needs license metadata | succeeds | 2 |
| -1757583726 | | A collection of utilities. (lib) This package needs documentation This package needs license metadata | succeeds | 4 |
| -1757583727 | | A collection of utilities. (test) This package needs documentation This package needs license metadata | succeeds | 4 |
| -1757418120 | | Interfaces for category theory concepts. This package needs license metadata | succeeds | 2 |
| -1757418122 | | Interfaces for category theory concepts. (doc) This package needs license metadata | succeeds | 2 |
| -1757418123 | | Interfaces for category theory concepts. (lib) This package needs documentation This package needs license metadata | succeeds | 4 |
| -1757418125 | | Interfaces for category theory concepts. (test) This package needs documentation This package needs license metadata | succeeds | 4 |
| -1756806131 | | Ordinal numbers supporting addition, multiplication, and exponentiation. This package needs license metadata | succeeds | 2 |
| -1756806133 | | Ordinal numbers supporting addition, multiplication, and exponentiation. (doc) This package needs license metadata | succeeds | 2 |
| -1756806134 | | Ordinal numbers supporting addition, multiplication, and exponentiation. (lib) This package needs documentation This package needs license metadata | succeeds | 4 |
| -1756806135 | | Ordinal numbers supporting addition, multiplication, and exponentiation. (test) This package needs documentation This package needs license metadata | succeeds | 4 |
| -1757551408 | | A weak opening parenthesis, good for eliminating indentation. This package needs license metadata | succeeds | 2 |
| -1757551410 | | A weak opening parenthesis, good for eliminating indentation. (doc) This package needs license metadata | succeeds | 2 |
| -1757551411 | | A weak opening parenthesis, good for eliminating indentation. (lib) This package needs documentation This package needs license metadata | succeeds | 4 |
| -1757551412 | | A weak opening parenthesis, good for eliminating indentation. (test) This package needs documentation This package needs license metadata | succeeds | 4 |
| -1757414619 | | A library for working with higher-dimensional brackets, such as quasiquotation syntax. This package needs license metadata | succeeds | 2 |
| -1757414621 | | A library for working with higher-dimensional brackets, such as quasiquotation syntax. (doc) This package needs license metadata | succeeds | 2 |
| -1757414622 | | A library for working with higher-dimensional brackets, such as quasiquotation syntax. (lib) This package needs documentation This package needs license metadata | succeeds | 4 |
| -1757414623 | | A library for working with higher-dimensional brackets, such as quasiquotation syntax. (test) This package needs documentation This package needs license metadata | succeeds | 4 |
| -1757569466 | | A meta-language for assembling a file with custom preprocessing logic. This package needs license metadata | succeeds | 2 |
| -1757569468 | | A meta-language for assembling a file with custom preprocessing logic. (doc) This package needs license metadata | succeeds | 2 |
| -1757569469 | | A meta-language for assembling a file with custom preprocessing logic. (lib) This package needs documentation This package needs license metadata | succeeds | 4 |
| -1757569471 | | A meta-language for assembling a file with custom preprocessing logic. (test) This package needs documentation This package needs license metadata | succeeds | 4 |