| -1660658293 | | documentation of k theorem prover This package needs license metadata | Racket | fails | 6 |
| -1660658295 | | libraries of k theorem prover This package needs documentation This package needs license metadata | Racket | fails | 6 |
| -1660658296 | | Test of k This package needs documentation This package needs license metadata | Racket | fails | 6 |