{
    "info": {
        "author": "Miklos Maroti",
        "author_email": "mmaroti@gmail.com",
        "bugtrack_url": null,
        "classifiers": [],
        "description": "Provers\n=======\n\nJust a simple python library to access multiple theorem provers through a \ncommon interface.",
        "description_content_type": "",
        "docs_url": null,
        "download_url": "",
        "downloads": {
            "last_day": -1,
            "last_month": -1,
            "last_week": -1
        },
        "home_page": "https://github.com/mmaroti/provers",
        "keywords": "",
        "license": "GPL 3",
        "maintainer": "",
        "maintainer_email": "",
        "name": "provers",
        "package_url": "https://pypi.org/project/provers/",
        "platform": "",
        "project_url": "https://pypi.org/project/provers/",
        "project_urls": {
            "Homepage": "https://github.com/mmaroti/provers"
        },
        "release_url": "https://pypi.org/project/provers/0.1.12/",
        "requires_dist": null,
        "requires_python": ">=3.5",
        "summary": "Library to access different different theorem provers",
        "version": "0.1.12"
    },
    "last_serial": 6005023,
    "releases": {
        "0.1.0": [
            {
                "comment_text": "",
                "digests": {
                    "md5": "ccd300cd1ea9fc4f98f224a17cecb9e4",
                    "sha256": "5c364393f3307a69967f9b674535b9970a4f3e971f9be6e70d6719919c874201"
                },
                "downloads": -1,
                "filename": "provers-0.1.0.tar.gz",
                "has_sig": false,
                "md5_digest": "ccd300cd1ea9fc4f98f224a17cecb9e4",
                "packagetype": "sdist",
                "python_version": "source",
                "requires_python": ">=3.5",
                "size": 1544,
                "upload_time": "2019-10-16T16:52:05",
                "url": "https://files.pythonhosted.org/packages/9c/2a/34e84f0e9a19a0a28fb985741f8ff0e3ff42a6887f2b1e306d4d2c5a7cb2/provers-0.1.0.tar.gz"
            }
        ],
        "0.1.1": [
            {
                "comment_text": "",
                "digests": {
                    "md5": "353b0f24422d04cfada43505c7dfb399",
                    "sha256": "8e363ff54aad4188f10b7d5c1815a88a00522af206f3033a514e3d7d3a5d1510"
                },
                "downloads": -1,
                "filename": "provers-0.1.1.tar.gz",
                "has_sig": false,
                "md5_digest": "353b0f24422d04cfada43505c7dfb399",
                "packagetype": "sdist",
                "python_version": "source",
                "requires_python": ">=3.5",
                "size": 13994,
                "upload_time": "2019-10-16T23:30:45",
                "url": "https://files.pythonhosted.org/packages/db/5c/44b88300b40492b44b32adb37841ea78df228f2e8b023687548efa9a1378/provers-0.1.1.tar.gz"
            }
        ],
        "0.1.10": [
            {
                "comment_text": "",
                "digests": {
                    "md5": "c6ac32a8623c3ae0cd20a3364ca1886f",
                    "sha256": "73a578ffd8c23b0a10653abd21eb108700a2f0d6fad03cc5bd52bff86a8261ed"
                },
                "downloads": -1,
                "filename": "provers-0.1.10.tar.gz",
                "has_sig": false,
                "md5_digest": "c6ac32a8623c3ae0cd20a3364ca1886f",
                "packagetype": "sdist",
                "python_version": "source",
                "requires_python": ">=3.5",
                "size": 14835,
                "upload_time": "2019-10-20T18:44:26",
                "url": "https://files.pythonhosted.org/packages/ab/41/23ba8749948e2d599358b2775bb8d8f146012e3c889a58e34a42f88582d2/provers-0.1.10.tar.gz"
            }
        ],
        "0.1.11": [
            {
                "comment_text": "",
                "digests": {
                    "md5": "fa70a29501c0122ab3181078226410ec",
                    "sha256": "b59ceb0b1c13dd36b43929c475bd652214d323491529662d96c4995994953535"
                },
                "downloads": -1,
                "filename": "provers-0.1.11.tar.gz",
                "has_sig": false,
                "md5_digest": "fa70a29501c0122ab3181078226410ec",
                "packagetype": "sdist",
                "python_version": "source",
                "requires_python": ">=3.5",
                "size": 14932,
                "upload_time": "2019-10-20T23:49:30",
                "url": "https://files.pythonhosted.org/packages/32/3b/4729c0ef9ac3613f1277d311210a2e4d12f8eca72c34ad66c8ba6c4008bd/provers-0.1.11.tar.gz"
            }
        ],
        "0.1.12": [
            {
                "comment_text": "",
                "digests": {
                    "md5": "0fa6ff86d346733b9942e4b3f8405f6a",
                    "sha256": "9b4928d95e0cf0b7a3fd77ab7c382178830873a829f8627c96992b99ca92679b"
                },
                "downloads": -1,
                "filename": "provers-0.1.12.tar.gz",
                "has_sig": false,
                "md5_digest": "0fa6ff86d346733b9942e4b3f8405f6a",
                "packagetype": "sdist",
                "python_version": "source",
                "requires_python": ">=3.5",
                "size": 14940,
                "upload_time": "2019-10-21T00:14:17",
                "url": "https://files.pythonhosted.org/packages/36/64/37fdbfb859f41be3c0e014cedea06d40299561b18338914b46c37a3c6e8e/provers-0.1.12.tar.gz"
            }
        ],
        "0.1.2": [
            {
                "comment_text": "",
                "digests": {
                    "md5": "56ba4e06c34173feb539b360fa7722da",
                    "sha256": "32dee5d680e6bd6450fac8a50fdc673088594ccf98c74693a7713b35ab9eba28"
                },
                "downloads": -1,
                "filename": "provers-0.1.2.tar.gz",
                "has_sig": false,
                "md5_digest": "56ba4e06c34173feb539b360fa7722da",
                "packagetype": "sdist",
                "python_version": "source",
                "requires_python": ">=3.5",
                "size": 13989,
                "upload_time": "2019-10-17T00:21:08",
                "url": "https://files.pythonhosted.org/packages/66/b7/390874f5097e1c489987f4a14e6e9eefd3d1696b28470b2754522da7ac1f/provers-0.1.2.tar.gz"
            }
        ],
        "0.1.3": [
            {
                "comment_text": "",
                "digests": {
                    "md5": "9f943657f7c7c05d28ebeaefe7604252",
                    "sha256": "8b4a4c50fdfba09460eb52550d4cc7a384298bb86cfc0af26f25a4e4e201fe22"
                },
                "downloads": -1,
                "filename": "provers-0.1.3.tar.gz",
                "has_sig": false,
                "md5_digest": "9f943657f7c7c05d28ebeaefe7604252",
                "packagetype": "sdist",
                "python_version": "source",
                "requires_python": ">=3.5",
                "size": 14444,
                "upload_time": "2019-10-20T04:35:55",
                "url": "https://files.pythonhosted.org/packages/20/f7/860c8ab6d5ff16515c13321bfccaca1badfae760e121690ff026aa486e33/provers-0.1.3.tar.gz"
            }
        ],
        "0.1.4": [
            {
                "comment_text": "",
                "digests": {
                    "md5": "87afff5202b0d2f9a77decf96de6fd6b",
                    "sha256": "42846f0d1cc833f8999170dea8ff0476995762f369b866bd4a54c77b1198e40d"
                },
                "downloads": -1,
                "filename": "provers-0.1.4.tar.gz",
                "has_sig": false,
                "md5_digest": "87afff5202b0d2f9a77decf96de6fd6b",
                "packagetype": "sdist",
                "python_version": "source",
                "requires_python": ">=3.5",
                "size": 14602,
                "upload_time": "2019-10-20T15:24:54",
                "url": "https://files.pythonhosted.org/packages/ea/7a/93829c01dc0a2b18d001223dc690cd53a9aa5ca7fd96c7db0bd9ebabce08/provers-0.1.4.tar.gz"
            }
        ],
        "0.1.5": [
            {
                "comment_text": "",
                "digests": {
                    "md5": "6d080b5b36601de8e3110198bb79fc42",
                    "sha256": "2a97cb3a56fb9b58f676e8a40449b731237d3d6db6816e2221149cdf348f1b64"
                },
                "downloads": -1,
                "filename": "provers-0.1.5.tar.gz",
                "has_sig": false,
                "md5_digest": "6d080b5b36601de8e3110198bb79fc42",
                "packagetype": "sdist",
                "python_version": "source",
                "requires_python": ">=3.5",
                "size": 14679,
                "upload_time": "2019-10-20T16:18:12",
                "url": "https://files.pythonhosted.org/packages/07/d6/c8f93376ab01e0db11b9230a5e111261d4684a5637a426b330167337be09/provers-0.1.5.tar.gz"
            }
        ],
        "0.1.6": [
            {
                "comment_text": "",
                "digests": {
                    "md5": "e1d917c3ed009dc1683be7bd167b9222",
                    "sha256": "4617929a75c520e3faae9f17c0eeb709c707810a7b8b45d1a7ad7184cdaef969"
                },
                "downloads": -1,
                "filename": "provers-0.1.6.tar.gz",
                "has_sig": false,
                "md5_digest": "e1d917c3ed009dc1683be7bd167b9222",
                "packagetype": "sdist",
                "python_version": "source",
                "requires_python": ">=3.5",
                "size": 14680,
                "upload_time": "2019-10-20T16:32:45",
                "url": "https://files.pythonhosted.org/packages/fb/54/b1a0ce5f20d3de1a01c34eaae867d69b99f808338edae45b26089dc0fecd/provers-0.1.6.tar.gz"
            }
        ],
        "0.1.7": [
            {
                "comment_text": "",
                "digests": {
                    "md5": "7f7938ade320d80716dc98dbafea5c21",
                    "sha256": "3519a75cf648dcdb030b94bdf5333bbcbaa3b93f18b7e2e5ebf3ec1e87d0b8c4"
                },
                "downloads": -1,
                "filename": "provers-0.1.7.tar.gz",
                "has_sig": false,
                "md5_digest": "7f7938ade320d80716dc98dbafea5c21",
                "packagetype": "sdist",
                "python_version": "source",
                "requires_python": ">=3.5",
                "size": 14692,
                "upload_time": "2019-10-20T16:54:34",
                "url": "https://files.pythonhosted.org/packages/14/99/bebfa9b54de540bb79cbaec3e55a215c3f53a629f669d1173ea64257c0d9/provers-0.1.7.tar.gz"
            }
        ],
        "0.1.8": [
            {
                "comment_text": "",
                "digests": {
                    "md5": "219275cc361bcfb0cc2f45fba2667024",
                    "sha256": "4eaba71a1c4d64d2bbd46638346f25ace92d9bae2b8077b0ea2011e5a9be5651"
                },
                "downloads": -1,
                "filename": "provers-0.1.8.tar.gz",
                "has_sig": false,
                "md5_digest": "219275cc361bcfb0cc2f45fba2667024",
                "packagetype": "sdist",
                "python_version": "source",
                "requires_python": ">=3.5",
                "size": 14698,
                "upload_time": "2019-10-20T17:47:03",
                "url": "https://files.pythonhosted.org/packages/0a/37/f9cb6a6184f7c4d014183d250ae490c38411009f4a28231b20011386a122/provers-0.1.8.tar.gz"
            }
        ],
        "0.1.9": [
            {
                "comment_text": "",
                "digests": {
                    "md5": "02c2ec81518b14f42f588f1885052986",
                    "sha256": "b758dc230e5cac9b2d2b77de55c13bb14b40261c91313428f06764980b862b7e"
                },
                "downloads": -1,
                "filename": "provers-0.1.9.tar.gz",
                "has_sig": false,
                "md5_digest": "02c2ec81518b14f42f588f1885052986",
                "packagetype": "sdist",
                "python_version": "source",
                "requires_python": ">=3.5",
                "size": 14839,
                "upload_time": "2019-10-20T18:29:50",
                "url": "https://files.pythonhosted.org/packages/d6/e2/7c55cecd9a72bf4614488178a122f091149bca11a14039b5366e577cd3f2/provers-0.1.9.tar.gz"
            }
        ]
    },
    "urls": [
        {
            "comment_text": "",
            "digests": {
                "md5": "0fa6ff86d346733b9942e4b3f8405f6a",
                "sha256": "9b4928d95e0cf0b7a3fd77ab7c382178830873a829f8627c96992b99ca92679b"
            },
            "downloads": -1,
            "filename": "provers-0.1.12.tar.gz",
            "has_sig": false,
            "md5_digest": "0fa6ff86d346733b9942e4b3f8405f6a",
            "packagetype": "sdist",
            "python_version": "source",
            "requires_python": ">=3.5",
            "size": 14940,
            "upload_time": "2019-10-21T00:14:17",
            "url": "https://files.pythonhosted.org/packages/36/64/37fdbfb859f41be3c0e014cedea06d40299561b18338914b46c37a3c6e8e/provers-0.1.12.tar.gz"
        }
    ]
}