| -1634193264 | | Miscellaneous contracts. | succeeds | 0 |
| -1620529133 | | Dynamically bound contracts. | succeeds | 0 |
| -1597477594 | | Require private bindings. | succeeds | 0 |
| -1633404532 | | Miscellanea for Redex. | succeeds | 0 |
| -1620523683 | | Parameters for extensions in Redex. | succeeds | 0 |
| -1620523777 | | Miscellaneous stream operations. This package needs tags | succeeds | 1 |
| -1629337239 | | Helpers for immutably updating structs. This package needs tags | succeeds; has dependency problems | 1 |