raco pkg install bv
Supported in version >=7.0 except 7.4 and 7.5 because dependency mischief fails to compile (see workflow run)
pmatos/racket-bv
Folders and files
| Name | Name | Last commit date | ||
|---|---|---|---|---|
| Name | Name | Last commit date | ||
|---|---|---|---|---|
raco pkg install bv
Supported in version >=7.0 except 7.4 and 7.5 because dependency mischief fails to compile (see workflow run)