| -1704805645 | | Dracula: ACL2 theorem prover tools in DrRacket This package needs documentation This package needs tags This package needs license metadata | fails | 6 |
| -1537235893 | | Mischief: A Racketeer's Toolkit This package needs license metadata | succeeds; has failing tests | 5 |
| -1537034394 | | Mischief: A Racketeer's Toolkit [development branch] This package needs license metadata | succeeds; has conflicts; has failing tests | 5 |
| -1502816397 | | Refined ACL2: experimental implementation of ACL2-verifiable code with ML modules and Racket macros. This package needs documentation This package needs tags This package needs license metadata | fails | 6 |
| -1680546949 | | Helpers for building staged slides in Slideshow This package needs license metadata | succeeds | 2 |
| -1571880428 | | Experimental libraries This package needs license metadata | succeeds | 2 |
| -1571880430 | | documentation part of "unstable" This package needs license metadata | succeeds | 2 |
| -1627926336 | | implementation (no documentation) part of "unstable" This package needs documentation This package needs license metadata | succeeds | 4 |
| -1571880435 | | Experimental libraries for pretty printing This package needs documentation This package needs license metadata | succeeds | 4 |
| -1627926337 | | tests for "unstable" This package needs documentation This package needs license metadata | succeeds; has failing tests | 5 |