Menu

imandra

PyPI page pypi.org/project/imandra
Versions 7
Files 7
Downloads (all time) loading...
Downloads (last 30 days) loading...

Install

sudo pip3 install imandra

Versions

VersionSuccessful buildsFailed buildsSkip
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
Show more versions

Files

VersionABIFilenameSize
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
Show more files

Issues with this package?

Check if there's an open issueSearch
Package or version missing?New issue
Something else?New issue

Page last updated 2020-07-04 02:59