-1717033579 | | A Herbie component to simplify mathematical expressions using the egg egraph library This package needs documentation | succeeds; has conflicts | 4 |

-1721419099 | | 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 |

-1724280434 | | 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 |

-1721419117 | | 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 |

-1721419125 | | 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 |

-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 |

-1678545124 | | Computer algebra system for Racket. Port of dharmatech/mpl without dependencies. This package needs license metadata | succeeds | 2 |

-1522592538 | | Expressing and manipulating symbolic algebraic expressions in Racket. This package needs license metadata | succeeds | 2 |