| -1502815869 | | A REPL that prints contracts on values This package needs documentation | succeeds | 3 |
| -1552755987 | | require/typed, but skips contracts on already-typed imports | succeeds | 0 |
| -1502816428 | | Syntax and utilities for writing function contracts as signatures | succeeds | 0 |
| -1502816474 | | temporal contracts | succeeds | 0 |
| -1502816475 | | temporal contracts | succeeds | 0 |
| -1502816475 | | temporal contracts This package needs documentation | succeeds | 3 |
| -1502816475 | | temporal contracts This package needs documentation | succeeds; has failing tests | 4 |
| -1559185264 | | Dynamic enforcement of size-change termination This package needs documentation | succeeds; has failing tests | 4 |