| -1683812808 | | Dependent types and meta-programming This package needs license metadata | succeeds | 2 |
| -1683812809 | | This package needs a description This package needs tags This package needs license metadata | succeeds | 3 |
| -1674501347 | | This package needs a description This package needs documentation This package needs tags This package needs license metadata | succeeds; has failing tests | 5 |
| -1674501348 | | This package needs a description This package needs documentation This package needs tags This package needs license metadata | succeeds; has failing tests | 5 |
| -1728089238 | | This package needs a description This package needs tags | fails | 6 |
| -1728089241 | | This package needs a description This package needs tags | succeeds; has failing tests | 5 |
| -1728089244 | | An LLM-first language. This package needs documentation This package needs tags This package needs license metadata | fails | 6 |
| -1728089246 | | This package needs a description This package needs documentation This package needs tags | succeeds | 4 |
| -1728089249 | | This package needs a description This package needs documentation This package needs tags | fails | 6 |
| -1502816373 | | A library for profile-guided meta-programming This package needs license metadata | succeeds; has failing tests | 5 |
| -1677108787 | | A Scribble library for typesetting grammars with annotations, in particular, differences between grammars (implementation and documentation). This package needs license metadata | succeeds | 2 |
| -1677108788 | | Documentation for scribble-bettergrammar-lib, a Scribble library for typesetting grammars with annotations, in particular, differences between grammars. This package needs license metadata | succeeds | 2 |
| -1704806527 | | A Scribble library for typesetting grammars with annotations, in particular, differences between grammars (implementation only). This package needs documentation This package needs license metadata | succeeds | 4 |
| -1570136232 | | A library for typesetting Coq and coqtop interactions in Scribble. This package needs documentation This package needs tags This package needs license metadata | fails | 6 |
| -1668631672 | | A scribble library for using pygmentize. This package needs license metadata | fails | 6 |
| -1668631673 | | Documentation for scribble-minted. This package needs license metadata | fails | 6 |
| -1668631673 | | A scribble library for using pygmentize (library only). This package needs documentation This package needs license metadata | succeeds; has failing tests | 5 |
| -1615258293 | | Diffs s-expressions based on Levenshtein-like edit distance. This package needs tags This package needs license metadata | succeeds | 2 |
| -1704806558 | | Diffs s-expressions based on Levenshtein-like edit distance, documentation. This package needs tags This package needs license metadata | succeeds | 2 |
| -1615258295 | | Diffs s-expressions based on Levenshtein-like edit distance, library only. This package needs documentation This package needs tags This package needs license metadata | succeeds | 4 |
| -1615258296 | | Tests for sexp-diff-lib This package needs documentation This package needs tags This package needs license metadata | succeeds | 4 |