| -1694117198 | | A library for building extensible systems, especially module systems. This package needs license metadata | succeeds | 2 |
| -1644306207 | | A library for building extensible systems, especially module systems. (doc) This package needs license metadata | succeeds | 2 |
| -1644306208 | | A library for building extensible systems, especially module systems. (lib) This package needs documentation This package needs license metadata | succeeds | 4 |
| -1644306209 | | A library for building extensible systems, especially module systems. (test) This package needs documentation This package needs license metadata | succeeds | 4 |
| -1711168559 | | A collection of utilities. This package needs license metadata | succeeds | 2 |
| -1711168560 | | A collection of utilities. (doc) This package needs license metadata | succeeds | 2 |
| -1711168561 | | A collection of utilities. (lib) This package needs documentation This package needs license metadata | succeeds | 4 |
| -1711168561 | | A collection of utilities. (test) This package needs documentation This package needs license metadata | succeeds | 4 |
| -1643006635 | | Interfaces for category theory concepts. This package needs license metadata | succeeds | 2 |
| -1643006635 | | Interfaces for category theory concepts. (doc) This package needs license metadata | succeeds | 2 |
| -1704805979 | | Interfaces for category theory concepts. (lib) This package needs documentation This package needs license metadata | succeeds | 4 |
| -1704805985 | | Interfaces for category theory concepts. (test) This package needs documentation This package needs license metadata | succeeds | 4 |
| -1643006638 | | Ordinal numbers supporting addition, multiplication, and exponentiation. This package needs license metadata | succeeds | 2 |
| -1643006639 | | Ordinal numbers supporting addition, multiplication, and exponentiation. (doc) This package needs license metadata | succeeds | 2 |
| -1643006639 | | Ordinal numbers supporting addition, multiplication, and exponentiation. (lib) This package needs documentation This package needs license metadata | succeeds | 4 |
| -1643006640 | | Ordinal numbers supporting addition, multiplication, and exponentiation. (test) This package needs documentation This package needs license metadata | succeeds | 4 |
| -1664174026 | | A weak opening parenthesis, good for eliminating indentation. This package needs license metadata | succeeds | 2 |
| -1676989833 | | A weak opening parenthesis, good for eliminating indentation. (doc) This package needs license metadata | succeeds | 2 |
| -1664174028 | | A weak opening parenthesis, good for eliminating indentation. (lib) This package needs documentation This package needs license metadata | succeeds | 4 |
| -1664174029 | | A weak opening parenthesis, good for eliminating indentation. (test) This package needs documentation This package needs license metadata | succeeds | 4 |
| -1687916258 | | A library for working with higher-dimensional brackets, such as quasiquotation syntax. This package needs license metadata | succeeds | 2 |
| -1712939878 | | A library for working with higher-dimensional brackets, such as quasiquotation syntax. (doc) This package needs license metadata | succeeds | 2 |
| -1647003559 | | A library for working with higher-dimensional brackets, such as quasiquotation syntax. (lib) This package needs documentation This package needs license metadata | succeeds | 4 |
| -1687916258 | | A library for working with higher-dimensional brackets, such as quasiquotation syntax. (test) This package needs documentation This package needs license metadata | succeeds | 4 |
| -1702988019 | | A meta-language for assembling a file with custom preprocessing logic. This package needs license metadata | succeeds | 2 |
| -1702988020 | | A meta-language for assembling a file with custom preprocessing logic. (doc) This package needs license metadata | succeeds | 2 |
| -1702988020 | | A meta-language for assembling a file with custom preprocessing logic. (lib) This package needs documentation This package needs license metadata | succeeds | 4 |
| -1702988021 | | A meta-language for assembling a file with custom preprocessing logic. (test) This package needs documentation This package needs license metadata | succeeds | 4 |