Add rocq wc subcommand, move coqwc back to coq-core
#4371
| Job | Run time |
|---|---|
| 2m 21s | |
| 2m 21s |
rocq wc subcommand, move coqwc back to coq-core
#4371
| Job | Run time |
|---|---|
| 2m 21s | |
| 2m 21s |