| PyPI page | pypi.org/project/imandra |
|---|---|
| Versions | 7 |
| Files | 7 |
| Downloads (all time) | loading... |
| Downloads (last 30 days) | loading... |
sudo pip3 install imandra
| Version | Successful builds | Failed builds | Skip |
|---|---|---|---|
| 0.1.12 | cp34m | ||
| 0.1.11 | cp34m | ||
| 0.1.10 | cp34m | ||
| 0.1.9 | cp34m | ||
| 0.1.5 | cp35m | cp34m | |
| 0.1.4 | cp34m | ||
| 0.1.3 | cp34m |
| Version | ABI | Filename | Size |
|---|---|---|---|
| 0.1.12 | none | imandra-0.1.12-py3-none-any.whl | 10 KB |
| 0.1.11 | none | imandra-0.1.11-py3-none-any.whl | 10 KB |
| 0.1.10 | none | imandra-0.1.10-py3-none-any.whl | 10 KB |
| 0.1.9 | none | imandra-0.1.9-py3-none-any.whl | 10 KB |
| 0.1.5 | none | imandra-0.1.5-py3-none-any.whl | 9 KB |
| 0.1.4 | none | imandra-0.1.4-py3-none-any.whl | 9 KB |
| 0.1.3 | none | imandra-0.1.3-py3-none-any.whl | 8 KB |