| PyPI page | pypi.org/project/acl2-kernel |
|---|---|
| Versions | 5 |
| Files | 0 |
| Downloads (all time) | loading... |
| Downloads (last 30 days) | loading... |
sudo pip3 install acl2-kernel
| Version | Successful builds | Failed builds | Skip |
|---|---|---|---|
| 0.2.2 | cp34m, cp35m, cp37m | ||
| 0.2.1 | cp34m, cp35m, cp37m | ||
| 0.2.0 | cp34m, cp35m, cp37m | ||
| 0.1.1 | cp34m, cp35m, cp37m | ||
| 0.1.0 | cp34m, cp35m, cp37m |
| No files |
|---|