{"package": "provers", "summary": "Library to access different theorem provers", "pypi_url": "https://pypi.org/project/provers", "piwheels_url": "https://www.piwheels.org/project/provers", "releases": {"0.1.18": {"released": "2020-10-10 18:32:09", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"provers-0.1.18-cp35-cp35m-linux_armv6l.whl": {"file_url": "https://archive1.piwheels.org/simple/provers/provers-0.1.18-cp35-cp35m-linux_armv6l.whl", "filehash": "fb3160fd1ca5db45dcd1a2d9548472a03309322eed90237c32b190f798a01bb0", "filesize": 1105584, "builder_abi": "cp35m", "file_abi_tag": "cp35m", "platform": "linux_armv6l", "requires_python": ">=3.5", "apt_dependencies": [], "pip_dependencies": []}, "provers-0.1.18-cp35-cp35m-linux_armv7l.whl": {"file_url": "https://archive1.piwheels.org/simple/provers/provers-0.1.18-cp35-cp35m-linux_armv7l.whl", "filehash": "fb3160fd1ca5db45dcd1a2d9548472a03309322eed90237c32b190f798a01bb0", "filesize": 1105584, "builder_abi": "cp35m", "file_abi_tag": "cp35m", "platform": "linux_armv7l", "requires_python": ">=3.5", "apt_dependencies": [], "pip_dependencies": []}, "provers-0.1.18-cp37-cp37m-linux_armv6l.whl": {"file_url": "https://archive1.piwheels.org/simple/provers/provers-0.1.18-cp37-cp37m-linux_armv6l.whl", "filehash": "a0c150503452bc8329e4dd1a63b662654332f097db759b0a72612bf315eff923", "filesize": 1117596, "builder_abi": "cp37m", "file_abi_tag": "cp37m", "platform": "linux_armv6l", "requires_python": ">=3.5", "apt_dependencies": [], "pip_dependencies": []}, "provers-0.1.18-cp37-cp37m-linux_armv7l.whl": {"file_url": "https://archive1.piwheels.org/simple/provers/provers-0.1.18-cp37-cp37m-linux_armv7l.whl", "filehash": "a0c150503452bc8329e4dd1a63b662654332f097db759b0a72612bf315eff923", "filesize": 1117596, "builder_abi": "cp37m", "file_abi_tag": "cp37m", "platform": "linux_armv7l", "requires_python": ">=3.5", "apt_dependencies": [], "pip_dependencies": []}, "provers-0.1.18-cp311-cp311-linux_armv6l.whl": {"file_url": "https://archive1.piwheels.org/simple/provers/provers-0.1.18-cp311-cp311-linux_armv6l.whl", "filehash": "114a248773f1f59139ca1c88f09ea7875a6b291d3b172e3838be68584e5407a5", "filesize": 1111997, "builder_abi": "cp311", "file_abi_tag": "cp311", "platform": "linux_armv6l", "requires_python": ">=3.5", "apt_dependencies": [], "pip_dependencies": []}, "provers-0.1.18-cp311-cp311-linux_armv7l.whl": {"file_url": "https://archive1.piwheels.org/simple/provers/provers-0.1.18-cp311-cp311-linux_armv7l.whl", "filehash": "114a248773f1f59139ca1c88f09ea7875a6b291d3b172e3838be68584e5407a5", "filesize": 1111997, "builder_abi": "cp311", "file_abi_tag": "cp311", "platform": "linux_armv7l", "requires_python": ">=3.5", "apt_dependencies": [], "pip_dependencies": []}, "provers-0.1.18-cp39-cp39-linux_armv6l.whl": {"file_url": "https://archive1.piwheels.org/simple/provers/provers-0.1.18-cp39-cp39-linux_armv6l.whl", "filehash": "1e438aa03145d8fdf9be152a34eb97ff277ea3714b3de18f2b80ac6d088de0a4", "filesize": 1108734, "builder_abi": "cp39", "file_abi_tag": "cp39", "platform": "linux_armv6l", "requires_python": ">=3.5", "apt_dependencies": [], "pip_dependencies": []}, "provers-0.1.18-cp39-cp39-linux_armv7l.whl": {"file_url": "https://archive1.piwheels.org/simple/provers/provers-0.1.18-cp39-cp39-linux_armv7l.whl", "filehash": "1e438aa03145d8fdf9be152a34eb97ff277ea3714b3de18f2b80ac6d088de0a4", "filesize": 1108734, "builder_abi": "cp39", "file_abi_tag": "cp39", "platform": "linux_armv7l", "requires_python": ">=3.5", "apt_dependencies": [], "pip_dependencies": []}, "provers-0.1.18-cp313-cp313-linux_armv6l.whl": {"file_url": "https://archive1.piwheels.org/simple/provers/provers-0.1.18-cp313-cp313-linux_armv6l.whl", "filehash": "f42d6ec84897da144de0e0a1dd8cbe8720fd3d721beb17eb4636e53d4313588c", "filesize": 25085, "builder_abi": "cp313", "file_abi_tag": "cp313", "platform": "linux_armv6l", "requires_python": ">=3.5", "apt_dependencies": [], "pip_dependencies": []}, "provers-0.1.18-cp313-cp313-linux_armv7l.whl": {"file_url": "https://archive1.piwheels.org/simple/provers/provers-0.1.18-cp313-cp313-linux_armv7l.whl", "filehash": "f42d6ec84897da144de0e0a1dd8cbe8720fd3d721beb17eb4636e53d4313588c", "filesize": 25085, "builder_abi": "cp313", "file_abi_tag": "cp313", "platform": "linux_armv7l", "requires_python": ">=3.5", "apt_dependencies": [], "pip_dependencies": []}}}, "0.1.17": {"released": "2020-07-16 03:09:39", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"provers-0.1.17-cp35-cp35m-linux_armv6l.whl": {"file_url": "https://archive1.piwheels.org/simple/provers/provers-0.1.17-cp35-cp35m-linux_armv6l.whl", "filehash": "e6c7da01b62c9c60304d60f120b36d92591302098a6a651b23fba15871e59e9f", "filesize": 1105552, "builder_abi": "cp35m", "file_abi_tag": "cp35m", "platform": "linux_armv6l", "requires_python": ">=3.5", "apt_dependencies": [], "pip_dependencies": []}, "provers-0.1.17-cp35-cp35m-linux_armv7l.whl": {"file_url": "https://archive1.piwheels.org/simple/provers/provers-0.1.17-cp35-cp35m-linux_armv7l.whl", "filehash": "e6c7da01b62c9c60304d60f120b36d92591302098a6a651b23fba15871e59e9f", "filesize": 1105552, "builder_abi": "cp35m", "file_abi_tag": "cp35m", "platform": "linux_armv7l", "requires_python": ">=3.5", "apt_dependencies": [], "pip_dependencies": []}, "provers-0.1.17-cp37-cp37m-linux_armv6l.whl": {"file_url": "https://archive1.piwheels.org/simple/provers/provers-0.1.17-cp37-cp37m-linux_armv6l.whl", "filehash": "88d8e62525789ff5f0d5b9a6e0899efdccc36bd3eb6910806146da71bf24bb52", "filesize": 1117563, "builder_abi": "cp37m", "file_abi_tag": "cp37m", "platform": "linux_armv6l", "requires_python": ">=3.5", "apt_dependencies": [], "pip_dependencies": []}, "provers-0.1.17-cp37-cp37m-linux_armv7l.whl": {"file_url": "https://archive1.piwheels.org/simple/provers/provers-0.1.17-cp37-cp37m-linux_armv7l.whl", "filehash": "88d8e62525789ff5f0d5b9a6e0899efdccc36bd3eb6910806146da71bf24bb52", "filesize": 1117563, "builder_abi": "cp37m", "file_abi_tag": "cp37m", "platform": "linux_armv7l", "requires_python": ">=3.5", "apt_dependencies": [], "pip_dependencies": []}, "provers-0.1.17-cp39-cp39-linux_armv6l.whl": {"file_url": "https://archive1.piwheels.org/simple/provers/provers-0.1.17-cp39-cp39-linux_armv6l.whl", "filehash": "c64979834955b982e81a99f5538d2f25e38a150d45891018a4cbb855b86f2cc1", "filesize": 1108700, "builder_abi": "cp39", "file_abi_tag": "cp39", "platform": "linux_armv6l", "requires_python": ">=3.5", "apt_dependencies": [], "pip_dependencies": []}, "provers-0.1.17-cp39-cp39-linux_armv7l.whl": {"file_url": "https://archive1.piwheels.org/simple/provers/provers-0.1.17-cp39-cp39-linux_armv7l.whl", "filehash": "c64979834955b982e81a99f5538d2f25e38a150d45891018a4cbb855b86f2cc1", "filesize": 1108700, "builder_abi": "cp39", "file_abi_tag": "cp39", "platform": "linux_armv7l", "requires_python": ">=3.5", "apt_dependencies": [], "pip_dependencies": []}, "provers-0.1.17-cp311-cp311-linux_armv6l.whl": {"file_url": "https://archive1.piwheels.org/simple/provers/provers-0.1.17-cp311-cp311-linux_armv6l.whl", "filehash": "1dccab1c49bd7f26dd9a1c2d6f15389ca8e3cbb25dd64122f7cbe1a2589ce7e1", "filesize": 1111963, "builder_abi": "cp311", "file_abi_tag": "cp311", "platform": "linux_armv6l", "requires_python": ">=3.5", "apt_dependencies": [], "pip_dependencies": []}, "provers-0.1.17-cp311-cp311-linux_armv7l.whl": {"file_url": "https://archive1.piwheels.org/simple/provers/provers-0.1.17-cp311-cp311-linux_armv7l.whl", "filehash": "1dccab1c49bd7f26dd9a1c2d6f15389ca8e3cbb25dd64122f7cbe1a2589ce7e1", "filesize": 1111963, "builder_abi": "cp311", "file_abi_tag": "cp311", "platform": "linux_armv7l", "requires_python": ">=3.5", "apt_dependencies": [], "pip_dependencies": []}, "provers-0.1.17-cp313-cp313-linux_armv6l.whl": {"file_url": "https://archive1.piwheels.org/simple/provers/provers-0.1.17-cp313-cp313-linux_armv6l.whl", "filehash": "16e0586d22810c25462eb4cc600744d89ee77c2f798a86154d6237983f3b2162", "filesize": 25054, "builder_abi": "cp313", "file_abi_tag": "cp313", "platform": "linux_armv6l", "requires_python": ">=3.5", "apt_dependencies": [], "pip_dependencies": []}, "provers-0.1.17-cp313-cp313-linux_armv7l.whl": {"file_url": "https://archive1.piwheels.org/simple/provers/provers-0.1.17-cp313-cp313-linux_armv7l.whl", "filehash": "16e0586d22810c25462eb4cc600744d89ee77c2f798a86154d6237983f3b2162", "filesize": 25054, "builder_abi": "cp313", "file_abi_tag": "cp313", "platform": "linux_armv7l", "requires_python": ">=3.5", "apt_dependencies": [], "pip_dependencies": []}}}, "0.1.16": {"released": "2020-05-12 07:12:42", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"provers-0.1.16-cp35-cp35m-linux_armv7l.whl": {"file_url": "https://archive1.piwheels.org/simple/provers/provers-0.1.16-cp35-cp35m-linux_armv7l.whl", "filehash": "736255accd938063e0aa8218f0d3ee060badb15658c394421f7ed5d24b5761a1", "filesize": 1105194, "builder_abi": "cp35m", "file_abi_tag": "cp35m", "platform": "linux_armv7l", "requires_python": ">=3.5", "apt_dependencies": [], "pip_dependencies": []}, "provers-0.1.16-cp35-cp35m-linux_armv6l.whl": {"file_url": "https://archive1.piwheels.org/simple/provers/provers-0.1.16-cp35-cp35m-linux_armv6l.whl", "filehash": "736255accd938063e0aa8218f0d3ee060badb15658c394421f7ed5d24b5761a1", "filesize": 1105194, "builder_abi": "cp35m", "file_abi_tag": "cp35m", "platform": "linux_armv6l", "requires_python": ">=3.5", "apt_dependencies": [], "pip_dependencies": []}, "provers-0.1.16-cp37-cp37m-linux_armv7l.whl": {"file_url": "https://archive1.piwheels.org/simple/provers/provers-0.1.16-cp37-cp37m-linux_armv7l.whl", "filehash": "6f0a26f4ad90fa7b018dca881263233cc4ddc6c1404d86e7e10910860592264e", "filesize": 1117208, "builder_abi": "cp37m", "file_abi_tag": "cp37m", "platform": "linux_armv7l", "requires_python": ">=3.5", "apt_dependencies": [], "pip_dependencies": []}, "provers-0.1.16-cp37-cp37m-linux_armv6l.whl": {"file_url": "https://archive1.piwheels.org/simple/provers/provers-0.1.16-cp37-cp37m-linux_armv6l.whl", "filehash": "6f0a26f4ad90fa7b018dca881263233cc4ddc6c1404d86e7e10910860592264e", "filesize": 1117208, "builder_abi": "cp37m", "file_abi_tag": "cp37m", "platform": "linux_armv6l", "requires_python": ">=3.5", "apt_dependencies": [], "pip_dependencies": []}, "provers-0.1.16-cp39-cp39-linux_armv6l.whl": {"file_url": "https://archive1.piwheels.org/simple/provers/provers-0.1.16-cp39-cp39-linux_armv6l.whl", "filehash": "d8636b365bb41f482b8ee215f603d3d897313f799cf7ce0716e5d4f0c2fa68d9", "filesize": 1108344, "builder_abi": "cp39", "file_abi_tag": "cp39", "platform": "linux_armv6l", "requires_python": ">=3.5", "apt_dependencies": [], "pip_dependencies": []}, "provers-0.1.16-cp39-cp39-linux_armv7l.whl": {"file_url": "https://archive1.piwheels.org/simple/provers/provers-0.1.16-cp39-cp39-linux_armv7l.whl", "filehash": "d8636b365bb41f482b8ee215f603d3d897313f799cf7ce0716e5d4f0c2fa68d9", "filesize": 1108344, "builder_abi": "cp39", "file_abi_tag": "cp39", "platform": "linux_armv7l", "requires_python": ">=3.5", "apt_dependencies": [], "pip_dependencies": []}, "provers-0.1.16-cp311-cp311-linux_armv6l.whl": {"file_url": "https://archive1.piwheels.org/simple/provers/provers-0.1.16-cp311-cp311-linux_armv6l.whl", "filehash": "eea5d4929ac28dc67c7c06cdf4d4cbd9d080b5aa32440aa76a39eda04ec5a328", "filesize": 1111606, "builder_abi": "cp311", "file_abi_tag": "cp311", "platform": "linux_armv6l", "requires_python": ">=3.5", "apt_dependencies": [], "pip_dependencies": []}, "provers-0.1.16-cp311-cp311-linux_armv7l.whl": {"file_url": "https://archive1.piwheels.org/simple/provers/provers-0.1.16-cp311-cp311-linux_armv7l.whl", "filehash": "eea5d4929ac28dc67c7c06cdf4d4cbd9d080b5aa32440aa76a39eda04ec5a328", "filesize": 1111606, "builder_abi": "cp311", "file_abi_tag": "cp311", "platform": "linux_armv7l", "requires_python": ">=3.5", "apt_dependencies": [], "pip_dependencies": []}, "provers-0.1.16-cp313-cp313-linux_armv6l.whl": {"file_url": "https://archive1.piwheels.org/simple/provers/provers-0.1.16-cp313-cp313-linux_armv6l.whl", "filehash": "1566541bde5c78e51daa1b547848d6401672a0c34473babe73cd38dfbb92b1c9", "filesize": 24698, "builder_abi": "cp313", "file_abi_tag": "cp313", "platform": "linux_armv6l", "requires_python": ">=3.5", "apt_dependencies": [], "pip_dependencies": []}, "provers-0.1.16-cp313-cp313-linux_armv7l.whl": {"file_url": "https://archive1.piwheels.org/simple/provers/provers-0.1.16-cp313-cp313-linux_armv7l.whl", "filehash": "1566541bde5c78e51daa1b547848d6401672a0c34473babe73cd38dfbb92b1c9", "filesize": 24698, "builder_abi": "cp313", "file_abi_tag": "cp313", "platform": "linux_armv7l", "requires_python": ">=3.5", "apt_dependencies": [], "pip_dependencies": []}}}, "0.1.15": {"released": "2019-11-08 15:31:49", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"provers-0.1.15-cp39-cp39-linux_armv6l.whl": {"file_url": "https://archive1.piwheels.org/simple/provers/provers-0.1.15-cp39-cp39-linux_armv6l.whl", "filehash": "d18d911462bf1f105bdd7acdcb4c3cf88a63cd773c3027a197c940fe14194a1e", "filesize": 1107086, "builder_abi": "cp39", "file_abi_tag": "cp39", "platform": "linux_armv6l", "requires_python": ">=3.5", "apt_dependencies": [], "pip_dependencies": []}, "provers-0.1.15-cp39-cp39-linux_armv7l.whl": {"file_url": "https://archive1.piwheels.org/simple/provers/provers-0.1.15-cp39-cp39-linux_armv7l.whl", "filehash": "d18d911462bf1f105bdd7acdcb4c3cf88a63cd773c3027a197c940fe14194a1e", "filesize": 1107086, "builder_abi": "cp39", "file_abi_tag": "cp39", "platform": "linux_armv7l", "requires_python": ">=3.5", "apt_dependencies": [], "pip_dependencies": []}, "provers-0.1.15-cp35-cp35m-linux_armv7l.whl": {"file_url": "https://archive1.piwheels.org/simple/provers/provers-0.1.15-cp35-cp35m-linux_armv7l.whl", "filehash": "e8c62da70e857b55ea1fee84f8f21b558d6dcf01093bea2328caa43403bb62da", "filesize": 1103940, "builder_abi": "cp35m", "file_abi_tag": "cp35m", "platform": "linux_armv7l", "requires_python": ">=3.5", "apt_dependencies": [], "pip_dependencies": []}, "provers-0.1.15-cp35-cp35m-linux_armv6l.whl": {"file_url": "https://archive1.piwheels.org/simple/provers/provers-0.1.15-cp35-cp35m-linux_armv6l.whl", "filehash": "e8c62da70e857b55ea1fee84f8f21b558d6dcf01093bea2328caa43403bb62da", "filesize": 1103940, "builder_abi": "cp35m", "file_abi_tag": "cp35m", "platform": "linux_armv6l", "requires_python": ">=3.5", "apt_dependencies": [], "pip_dependencies": []}, "provers-0.1.15-cp37-cp37m-linux_armv7l.whl": {"file_url": "https://archive1.piwheels.org/simple/provers/provers-0.1.15-cp37-cp37m-linux_armv7l.whl", "filehash": "b7530687e7453cd413f2058d89818be56dca3ffb07457e364b6733b18df0e0b4", "filesize": 1115950, "builder_abi": "cp37m", "file_abi_tag": "cp37m", "platform": "linux_armv7l", "requires_python": ">=3.5", "apt_dependencies": [], "pip_dependencies": []}, "provers-0.1.15-cp37-cp37m-linux_armv6l.whl": {"file_url": "https://archive1.piwheels.org/simple/provers/provers-0.1.15-cp37-cp37m-linux_armv6l.whl", "filehash": "b7530687e7453cd413f2058d89818be56dca3ffb07457e364b6733b18df0e0b4", "filesize": 1115950, "builder_abi": "cp37m", "file_abi_tag": "cp37m", "platform": "linux_armv6l", "requires_python": ">=3.5", "apt_dependencies": [], "pip_dependencies": []}, "provers-0.1.15-cp311-cp311-linux_armv6l.whl": {"file_url": "https://archive1.piwheels.org/simple/provers/provers-0.1.15-cp311-cp311-linux_armv6l.whl", "filehash": "9980f7a8a05388fb55151f42811121545dc27a5363b0e4f5575705e978e8d1d9", "filesize": 1110349, "builder_abi": "cp311", "file_abi_tag": "cp311", "platform": "linux_armv6l", "requires_python": ">=3.5", "apt_dependencies": [], "pip_dependencies": []}, "provers-0.1.15-cp311-cp311-linux_armv7l.whl": {"file_url": "https://archive1.piwheels.org/simple/provers/provers-0.1.15-cp311-cp311-linux_armv7l.whl", "filehash": "9980f7a8a05388fb55151f42811121545dc27a5363b0e4f5575705e978e8d1d9", "filesize": 1110349, "builder_abi": "cp311", "file_abi_tag": "cp311", "platform": "linux_armv7l", "requires_python": ">=3.5", "apt_dependencies": [], "pip_dependencies": []}, "provers-0.1.15-cp313-cp313-linux_armv6l.whl": {"file_url": "https://archive1.piwheels.org/simple/provers/provers-0.1.15-cp313-cp313-linux_armv6l.whl", "filehash": "0e68553d4500679206f23b671b0b2bfb1f0b21d99a66cdab5c8325888b8f6530", "filesize": 23435, "builder_abi": "cp313", "file_abi_tag": "cp313", "platform": "linux_armv6l", "requires_python": ">=3.5", "apt_dependencies": [], "pip_dependencies": []}, "provers-0.1.15-cp313-cp313-linux_armv7l.whl": {"file_url": "https://archive1.piwheels.org/simple/provers/provers-0.1.15-cp313-cp313-linux_armv7l.whl", "filehash": "0e68553d4500679206f23b671b0b2bfb1f0b21d99a66cdab5c8325888b8f6530", "filesize": 23435, "builder_abi": "cp313", "file_abi_tag": "cp313", "platform": "linux_armv7l", "requires_python": ">=3.5", "apt_dependencies": [], "pip_dependencies": []}}}, "0.1.13": {"released": "2019-11-03 20:44:41", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"provers-0.1.13-cp39-cp39-linux_armv6l.whl": {"file_url": "https://archive1.piwheels.org/simple/provers/provers-0.1.13-cp39-cp39-linux_armv6l.whl", "filehash": "d6c739a246a58ff4c3785797598e296aafb30737a0f86e6d83281391a75bbd60", "filesize": 1105489, "builder_abi": "cp39", "file_abi_tag": "cp39", "platform": "linux_armv6l", "requires_python": ">=3.5", "apt_dependencies": [], "pip_dependencies": []}, "provers-0.1.13-cp39-cp39-linux_armv7l.whl": {"file_url": "https://archive1.piwheels.org/simple/provers/provers-0.1.13-cp39-cp39-linux_armv7l.whl", "filehash": "d6c739a246a58ff4c3785797598e296aafb30737a0f86e6d83281391a75bbd60", "filesize": 1105489, "builder_abi": "cp39", "file_abi_tag": "cp39", "platform": "linux_armv7l", "requires_python": ">=3.5", "apt_dependencies": [], "pip_dependencies": []}, "provers-0.1.13-cp37-cp37m-linux_armv7l.whl": {"file_url": "https://archive1.piwheels.org/simple/provers/provers-0.1.13-cp37-cp37m-linux_armv7l.whl", "filehash": "f0163b0ae359807080fb898284d8c30a56c6341cbdb45a22aaaa0efc9f5adb56", "filesize": 1114352, "builder_abi": "cp37m", "file_abi_tag": "cp37m", "platform": "linux_armv7l", "requires_python": ">=3.5", "apt_dependencies": [], "pip_dependencies": []}, "provers-0.1.13-cp37-cp37m-linux_armv6l.whl": {"file_url": "https://archive1.piwheels.org/simple/provers/provers-0.1.13-cp37-cp37m-linux_armv6l.whl", "filehash": "f0163b0ae359807080fb898284d8c30a56c6341cbdb45a22aaaa0efc9f5adb56", "filesize": 1114352, "builder_abi": "cp37m", "file_abi_tag": "cp37m", "platform": "linux_armv6l", "requires_python": ">=3.5", "apt_dependencies": [], "pip_dependencies": []}, "provers-0.1.13-cp35-cp35m-linux_armv6l.whl": {"file_url": "https://archive1.piwheels.org/simple/provers/provers-0.1.13-cp35-cp35m-linux_armv6l.whl", "filehash": "ddc2bdff2e7bf1ff258e8cfb2b271bb8f78880298d23d631d8a351a233b202e2", "filesize": 1102338, "builder_abi": "cp35m", "file_abi_tag": "cp35m", "platform": "linux_armv6l", "requires_python": ">=3.5", "apt_dependencies": [], "pip_dependencies": []}, "provers-0.1.13-cp35-cp35m-linux_armv7l.whl": {"file_url": "https://archive1.piwheels.org/simple/provers/provers-0.1.13-cp35-cp35m-linux_armv7l.whl", "filehash": "ddc2bdff2e7bf1ff258e8cfb2b271bb8f78880298d23d631d8a351a233b202e2", "filesize": 1102338, "builder_abi": "cp35m", "file_abi_tag": "cp35m", "platform": "linux_armv7l", "requires_python": ">=3.5", "apt_dependencies": [], "pip_dependencies": []}, "provers-0.1.13-cp311-cp311-linux_armv6l.whl": {"file_url": "https://archive1.piwheels.org/simple/provers/provers-0.1.13-cp311-cp311-linux_armv6l.whl", "filehash": "54a0a61e9481cceadb5402fecbaf66d9ca1b8afdcc2a2fa9eff8b563b28664cc", "filesize": 1108809, "builder_abi": "cp311", "file_abi_tag": "cp311", "platform": "linux_armv6l", "requires_python": ">=3.5", "apt_dependencies": [], "pip_dependencies": []}, "provers-0.1.13-cp311-cp311-linux_armv7l.whl": {"file_url": "https://archive1.piwheels.org/simple/provers/provers-0.1.13-cp311-cp311-linux_armv7l.whl", "filehash": "54a0a61e9481cceadb5402fecbaf66d9ca1b8afdcc2a2fa9eff8b563b28664cc", "filesize": 1108809, "builder_abi": "cp311", "file_abi_tag": "cp311", "platform": "linux_armv7l", "requires_python": ">=3.5", "apt_dependencies": [], "pip_dependencies": []}, "provers-0.1.13-cp313-cp313-linux_armv6l.whl": {"file_url": "https://archive1.piwheels.org/simple/provers/provers-0.1.13-cp313-cp313-linux_armv6l.whl", "filehash": "1f25378ed4970720a71702b22bf56897838bc53f48da0f917d0373e8d2b0c82e", "filesize": 21895, "builder_abi": "cp313", "file_abi_tag": "cp313", "platform": "linux_armv6l", "requires_python": ">=3.5", "apt_dependencies": [], "pip_dependencies": []}, "provers-0.1.13-cp313-cp313-linux_armv7l.whl": {"file_url": "https://archive1.piwheels.org/simple/provers/provers-0.1.13-cp313-cp313-linux_armv7l.whl", "filehash": "1f25378ed4970720a71702b22bf56897838bc53f48da0f917d0373e8d2b0c82e", "filesize": 21895, "builder_abi": "cp313", "file_abi_tag": "cp313", "platform": "linux_armv7l", "requires_python": ">=3.5", "apt_dependencies": [], "pip_dependencies": []}}}, "0.1.12": {"released": "2019-10-21 00:14:17", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"provers-0.1.12-cp39-cp39-linux_armv6l.whl": {"file_url": "https://archive1.piwheels.org/simple/provers/provers-0.1.12-cp39-cp39-linux_armv6l.whl", "filehash": "d3e055d488a4a76d4c909f6866bb01e21e4c9d13d15aaa69f6f5f59d2dd7e69f", "filesize": 966909, "builder_abi": "cp39", "file_abi_tag": "cp39", "platform": "linux_armv6l", "requires_python": ">=3.5", "apt_dependencies": [], "pip_dependencies": []}, "provers-0.1.12-cp39-cp39-linux_armv7l.whl": {"file_url": "https://archive1.piwheels.org/simple/provers/provers-0.1.12-cp39-cp39-linux_armv7l.whl", "filehash": "d3e055d488a4a76d4c909f6866bb01e21e4c9d13d15aaa69f6f5f59d2dd7e69f", "filesize": 966909, "builder_abi": "cp39", "file_abi_tag": "cp39", "platform": "linux_armv7l", "requires_python": ">=3.5", "apt_dependencies": [], "pip_dependencies": []}, "provers-0.1.12-cp35-cp35m-linux_armv7l.whl": {"file_url": "https://archive1.piwheels.org/simple/provers/provers-0.1.12-cp35-cp35m-linux_armv7l.whl", "filehash": "3fae08d7d56887e73ef55137fd96a707eada7bba7926a05368c00cdddf778c4f", "filesize": 962509, "builder_abi": "cp35m", "file_abi_tag": "cp35m", "platform": "linux_armv7l", "requires_python": ">=3.5", "apt_dependencies": [], "pip_dependencies": []}, "provers-0.1.12-cp35-cp35m-linux_armv6l.whl": {"file_url": "https://archive1.piwheels.org/simple/provers/provers-0.1.12-cp35-cp35m-linux_armv6l.whl", "filehash": "3fae08d7d56887e73ef55137fd96a707eada7bba7926a05368c00cdddf778c4f", "filesize": 962509, "builder_abi": "cp35m", "file_abi_tag": "cp35m", "platform": "linux_armv6l", "requires_python": ">=3.5", "apt_dependencies": [], "pip_dependencies": []}, "provers-0.1.12-cp37-cp37m-linux_armv7l.whl": {"file_url": "https://archive1.piwheels.org/simple/provers/provers-0.1.12-cp37-cp37m-linux_armv7l.whl", "filehash": "8bf8d6798e74f19ac168ff416a7c89a0dede1d4a37f00ecc5c21d7f6be52bf97", "filesize": 974608, "builder_abi": "cp37m", "file_abi_tag": "cp37m", "platform": "linux_armv7l", "requires_python": ">=3.5", "apt_dependencies": [], "pip_dependencies": []}, "provers-0.1.12-cp37-cp37m-linux_armv6l.whl": {"file_url": "https://archive1.piwheels.org/simple/provers/provers-0.1.12-cp37-cp37m-linux_armv6l.whl", "filehash": "8bf8d6798e74f19ac168ff416a7c89a0dede1d4a37f00ecc5c21d7f6be52bf97", "filesize": 974608, "builder_abi": "cp37m", "file_abi_tag": "cp37m", "platform": "linux_armv6l", "requires_python": ">=3.5", "apt_dependencies": [], "pip_dependencies": []}, "provers-0.1.12-cp311-cp311-linux_armv6l.whl": {"file_url": "https://archive1.piwheels.org/simple/provers/provers-0.1.12-cp311-cp311-linux_armv6l.whl", "filehash": "9f136d333df9bd177c235e02e18df097913bd2c5f22a48a7b66277339a53ecba", "filesize": 969899, "builder_abi": "cp311", "file_abi_tag": "cp311", "platform": "linux_armv6l", "requires_python": ">=3.5", "apt_dependencies": [], "pip_dependencies": []}, "provers-0.1.12-cp311-cp311-linux_armv7l.whl": {"file_url": "https://archive1.piwheels.org/simple/provers/provers-0.1.12-cp311-cp311-linux_armv7l.whl", "filehash": "9f136d333df9bd177c235e02e18df097913bd2c5f22a48a7b66277339a53ecba", "filesize": 969899, "builder_abi": "cp311", "file_abi_tag": "cp311", "platform": "linux_armv7l", "requires_python": ">=3.5", "apt_dependencies": [], "pip_dependencies": []}, "provers-0.1.12-cp313-cp313-linux_armv6l.whl": {"file_url": "https://archive1.piwheels.org/simple/provers/provers-0.1.12-cp313-cp313-linux_armv6l.whl", "filehash": "6709f0e65f7e63c3f32ddd5eace580af78c083d11bc15df48ba1f683c5ad9127", "filesize": 15580, "builder_abi": "cp313", "file_abi_tag": "cp313", "platform": "linux_armv6l", "requires_python": ">=3.5", "apt_dependencies": [], "pip_dependencies": []}, "provers-0.1.12-cp313-cp313-linux_armv7l.whl": {"file_url": "https://archive1.piwheels.org/simple/provers/provers-0.1.12-cp313-cp313-linux_armv7l.whl", "filehash": "6709f0e65f7e63c3f32ddd5eace580af78c083d11bc15df48ba1f683c5ad9127", "filesize": 15580, "builder_abi": "cp313", "file_abi_tag": "cp313", "platform": "linux_armv7l", "requires_python": ">=3.5", "apt_dependencies": [], "pip_dependencies": []}}}, "0.1.11": {"released": "2019-10-20 23:49:30", "prerelease": false, "yanked": false, "skip_reason": "", "files": {}}, "0.1.10": {"released": "2019-10-20 18:44:26", "prerelease": false, "yanked": false, "skip_reason": "", "files": {}}, "0.1.9": {"released": "2019-10-20 18:29:50", "prerelease": false, "yanked": false, "skip_reason": "", "files": {}}, "0.1.8": {"released": "2019-10-20 17:47:03", "prerelease": false, "yanked": false, "skip_reason": "", "files": {}}, "0.1.7": {"released": "2019-10-20 16:54:34", "prerelease": false, "yanked": false, "skip_reason": "", "files": {}}, "0.1.6": {"released": "2019-10-20 16:32:45", "prerelease": false, "yanked": false, "skip_reason": "", "files": {}}, "0.1.5": {"released": "2019-10-20 16:18:12", "prerelease": false, "yanked": false, "skip_reason": "", "files": {}}, "0.1.4": {"released": "2019-10-20 15:24:54", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"provers-0.1.4-cp39-cp39-linux_armv6l.whl": {"file_url": "https://archive1.piwheels.org/simple/provers/provers-0.1.4-cp39-cp39-linux_armv6l.whl", "filehash": "1735822d9e0e18dda0a32b9c4da30cfead5cb8090e1194d42f691fe1d2031ab1", "filesize": 347802, "builder_abi": "cp39", "file_abi_tag": "cp39", "platform": "linux_armv6l", "requires_python": ">=3.5", "apt_dependencies": [], "pip_dependencies": []}, "provers-0.1.4-cp39-cp39-linux_armv7l.whl": {"file_url": "https://archive1.piwheels.org/simple/provers/provers-0.1.4-cp39-cp39-linux_armv7l.whl", "filehash": "1735822d9e0e18dda0a32b9c4da30cfead5cb8090e1194d42f691fe1d2031ab1", "filesize": 347802, "builder_abi": "cp39", "file_abi_tag": "cp39", "platform": "linux_armv7l", "requires_python": ">=3.5", "apt_dependencies": [], "pip_dependencies": []}, "provers-0.1.4-cp35-cp35m-linux_armv6l.whl": {"file_url": "https://archive1.piwheels.org/simple/provers/provers-0.1.4-cp35-cp35m-linux_armv6l.whl", "filehash": "5959efdd724a4bea2935bd798accaf7afc5fb6d2198a3f88e749068534d27aa6", "filesize": 338981, "builder_abi": "cp35m", "file_abi_tag": "cp35m", "platform": "linux_armv6l", "requires_python": ">=3.5", "apt_dependencies": [], "pip_dependencies": []}, "provers-0.1.4-cp35-cp35m-linux_armv7l.whl": {"file_url": "https://archive1.piwheels.org/simple/provers/provers-0.1.4-cp35-cp35m-linux_armv7l.whl", "filehash": "5959efdd724a4bea2935bd798accaf7afc5fb6d2198a3f88e749068534d27aa6", "filesize": 338981, "builder_abi": "cp35m", "file_abi_tag": "cp35m", "platform": "linux_armv7l", "requires_python": ">=3.5", "apt_dependencies": [], "pip_dependencies": []}, "provers-0.1.4-cp37-cp37m-linux_armv6l.whl": {"file_url": "https://archive1.piwheels.org/simple/provers/provers-0.1.4-cp37-cp37m-linux_armv6l.whl", "filehash": "a5372955b1cff238a2e18caefa381ee2e0d3bc99212470af397a4a5b4fe77b48", "filesize": 350819, "builder_abi": "cp37m", "file_abi_tag": "cp37m", "platform": "linux_armv6l", "requires_python": ">=3.5", "apt_dependencies": [], "pip_dependencies": []}, "provers-0.1.4-cp37-cp37m-linux_armv7l.whl": {"file_url": "https://archive1.piwheels.org/simple/provers/provers-0.1.4-cp37-cp37m-linux_armv7l.whl", "filehash": "a5372955b1cff238a2e18caefa381ee2e0d3bc99212470af397a4a5b4fe77b48", "filesize": 350819, "builder_abi": "cp37m", "file_abi_tag": "cp37m", "platform": "linux_armv7l", "requires_python": ">=3.5", "apt_dependencies": [], "pip_dependencies": []}, "provers-0.1.4-cp311-cp311-linux_armv6l.whl": {"file_url": "https://archive1.piwheels.org/simple/provers/provers-0.1.4-cp311-cp311-linux_armv6l.whl", "filehash": "0d9d651ba5a848df405d592cb70ca0ccf8622afdbca80791526e5e1313b32f9d", "filesize": 348866, "builder_abi": "cp311", "file_abi_tag": "cp311", "platform": "linux_armv6l", "requires_python": ">=3.5", "apt_dependencies": [], "pip_dependencies": []}, "provers-0.1.4-cp311-cp311-linux_armv7l.whl": {"file_url": "https://archive1.piwheels.org/simple/provers/provers-0.1.4-cp311-cp311-linux_armv7l.whl", "filehash": "0d9d651ba5a848df405d592cb70ca0ccf8622afdbca80791526e5e1313b32f9d", "filesize": 348866, "builder_abi": "cp311", "file_abi_tag": "cp311", "platform": "linux_armv7l", "requires_python": ">=3.5", "apt_dependencies": [], "pip_dependencies": []}}}, "0.1.3": {"released": "2019-10-20 04:35:55", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"provers-0.1.3-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/provers/provers-0.1.3-py3-none-any.whl", "filehash": "f49e5283cdfec90379f9db05e908b1effb4b1cb892bac656305df578b1e46b35", "filesize": 3792, "builder_abi": "cp35m", "file_abi_tag": "none", "platform": "any", "requires_python": ">=3.5", "apt_dependencies": [], "pip_dependencies": []}}}, "0.1.2": {"released": "2019-10-17 00:21:08", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"provers-0.1.2-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/provers/provers-0.1.2-py3-none-any.whl", "filehash": "8113415d85631769830d3065e440daafb94526f1e07fab9108c3376ec2e7a83a", "filesize": 3791, "builder_abi": "cp35m", "file_abi_tag": "none", "platform": "any", "requires_python": ">=3.5", "apt_dependencies": [], "pip_dependencies": []}}}, "0.1.1": {"released": "2019-10-16 23:30:45", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"provers-0.0.0-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/provers/provers-0.0.0-py3-none-any.whl", "filehash": "2b6401a015f9339d47a44c6727d44b6722f93271ca63ad98f80aa51019274445", "filesize": 3779, "builder_abi": "cp35m", "file_abi_tag": "none", "platform": "any", "requires_python": ">=3.5", "apt_dependencies": [], "pip_dependencies": ["setuptools-scm"]}}}, "0.1.0": {"released": "2019-10-16 16:52:05", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"provers-0.1.0-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/provers/provers-0.1.0-py3-none-any.whl", "filehash": "0fe13627ac43c9265cab689feb720eb375bb27305aafb187486477272eaa43d4", "filesize": 3432, "builder_abi": "cp35m", "file_abi_tag": "none", "platform": "any", "requires_python": ">=3.5", "apt_dependencies": [], "pip_dependencies": []}}}}}