| -1704805688 | | Henry Baker's egal This package needs documentation This package needs license metadata | succeeds | 4 |
| -1740219342 | | A Herbie component to simplify mathematical expressions using the egg egraph library This package needs documentation | succeeds; has conflicts | 4 |
| -1741029361 | | A Herbie component to simplify mathematical expressions using the egg egraph library (Linux pre-build package) This package needs documentation | succeeds; has conflicts; has failing tests | 5 |
| -1741029364 | | A Herbie component to simplify mathematical expressions using the egg egraph library (arm64 macOS pre-build package) This package needs documentation | succeeds; has conflicts; has failing tests | 5 |
| -1741029364 | | A Herbie component to simplify mathematical expressions using the egg egraph library (x86_64 macOS pre-build package) This package needs documentation | succeeds; has conflicts; has failing tests | 5 |
| -1745972196 | | A Herbie component to simplify mathematical expressions using the egg egraph library (Windows pre-build package) This package needs documentation | succeeds; has failing tests | 5 |
| -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 |
| -1653378332 | | A pure-Racket equivalence graph This package needs documentation This package needs license metadata | succeeds | 4 |