Metadata-Version: 2.1
Name: nagini
Version: 0.8.1
Summary: Static verifier for Python 3, based on Viper.
Home-page: http://www.pm.inf.ethz.ch/research/nagini.html
Author: Viper Team
Author-email: viper@inf.ethz.ch
License: MPL-2.0
Platform: UNKNOWN
Classifier: Development Status :: 3 - Alpha
Classifier: Environment :: Console
Classifier: Intended Audience :: Developers
Classifier: License :: OSI Approved :: Mozilla Public License 2.0 (MPL 2.0)
Classifier: Operating System :: OS Independent
Classifier: Programming Language :: Python :: 3 :: Only
Classifier: Topic :: Software Development
Requires: distribute
Requires-Dist: mypy-lang (==0.4.5)
Requires-Dist: toposort (==1.5)
Requires-Dist: jpype1 (==0.6.2)
Requires-Dist: astunparse (==1.6.2)
Requires-Dist: typed-ast (==0.6.3)
Requires-Dist: pytest (==3.3.0)

UNKNOWN


