{"package": "residuated-binars", "summary": "Package for generating and validating examples of different algebraic structures using Isabelle proof assistant", "pypi_url": "https://pypi.org/project/residuated-binars", "piwheels_url": "https://www.piwheels.org/project/residuated-binars", "releases": {"0.0.4": {"released": "2022-07-17 08:24:50", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"residuated_binars-0.0.4-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/residuated-binars/residuated_binars-0.0.4-py3-none-any.whl", "filehash": "32f46bf84d37e60c08fb852222bda15c6862a3df39ed73d76fffaee6af60e82f", "filesize": 51416, "builder_abi": "cp37m", "file_abi_tag": "none", "platform": "any", "requires_python": ">=3.7.1,<3.11", "apt_dependencies": [], "pip_dependencies": ["graphviz", "importlib-resources", "isabelle-client", "nest-asyncio", "pydocstyle"]}}}, "0.0.2": {"released": "2022-06-20 20:39:03", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"residuated_binars-0.0.2-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/residuated-binars/residuated_binars-0.0.2-py3-none-any.whl", "filehash": "3faf8e0f65bf427f287679d3ac695e9fdf6c7076443115e70466fe05c13c270c", "filesize": 51401, "builder_abi": "cp37m", "file_abi_tag": "none", "platform": "any", "requires_python": ">=3.7.1,<3.11", "apt_dependencies": [], "pip_dependencies": ["graphviz", "importlib-resources", "isabelle-client", "nest-asyncio", "pydocstyle"]}}}, "0.0.1": {"released": "2022-05-20 22:15:33", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"residuated_binars-0.0.1-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/residuated-binars/residuated_binars-0.0.1-py3-none-any.whl", "filehash": "dfc5d6a3376a3d6deedb7dd2dffb57ff40039348595c6679030ceb2e6184c119", "filesize": 50773, "builder_abi": "cp37m", "file_abi_tag": "none", "platform": "any", "requires_python": ">=3.7.1,<3.11", "apt_dependencies": [], "pip_dependencies": ["graphviz", "isabelle-client"]}}}}}