{
    "info": {
        "author": "Evgeny Cherkashin",
        "author_email": "eugeneai@irnok.net",
        "bugtrack_url": null,
        "classifiers": [],
        "description": "",
        "description_content_type": null,
        "docs_url": null,
        "download_url": "UNKNOWN",
        "downloads": {
            "last_day": -1,
            "last_month": -1,
            "last_week": -1
        },
        "home_page": "UNKNOWN",
        "keywords": "automatic theorem proving ATP proof first-order logics",
        "license": "GNU GPL",
        "maintainer": null,
        "maintainer_email": null,
        "name": "icc.atp",
        "package_url": "https://pypi.org/project/icc.atp/",
        "platform": "UNKNOWN",
        "project_url": "https://pypi.org/project/icc.atp/",
        "project_urls": {
            "Download": "UNKNOWN",
            "Homepage": "UNKNOWN"
        },
        "release_url": "https://pypi.org/project/icc.atp/0.0.2/",
        "requires_dist": null,
        "requires_python": null,
        "summary": "Automatic Theorem Proving wrapper for Python",
        "version": "0.0.2"
    },
    "last_serial": 900756,
    "releases": {
        "0.0.1": [
            {
                "comment_text": "",
                "digests": {
                    "md5": "8469cb18ef7dea6e1a1f7b421c1794d0",
                    "sha256": "33cc2fe23b6cd6c005a6b433bc5e8c5727ccbcf4a696d7d176e14bbb0a4b5d23"
                },
                "downloads": -1,
                "filename": "icc.atp-0.0.1.tar.gz",
                "has_sig": false,
                "md5_digest": "8469cb18ef7dea6e1a1f7b421c1794d0",
                "packagetype": "sdist",
                "python_version": "source",
                "requires_python": null,
                "size": 17285,
                "upload_time": "2013-10-22T16:36:04",
                "url": "https://files.pythonhosted.org/packages/3d/3b/81a9322f5d077f20ba20d9ecdf47e31f88ff0705535ef8aef463e6115d75/icc.atp-0.0.1.tar.gz"
            }
        ],
        "0.0.2": [
            {
                "comment_text": "",
                "digests": {
                    "md5": "23f60c543d07b41fd34fcea6e6c4b315",
                    "sha256": "8702148b539363e01889fbb3a1fe28005a538d5e91edaabd7d02917548a4eb58"
                },
                "downloads": -1,
                "filename": "icc.atp-0.0.2.tar.gz",
                "has_sig": false,
                "md5_digest": "23f60c543d07b41fd34fcea6e6c4b315",
                "packagetype": "sdist",
                "python_version": "source",
                "requires_python": null,
                "size": 17277,
                "upload_time": "2013-10-22T17:05:58",
                "url": "https://files.pythonhosted.org/packages/85/1d/dedd485eecea4cbe040b1b9e0c2e222b56cba4e6eec7c1e9e9fb0df54aac/icc.atp-0.0.2.tar.gz"
            }
        ]
    },
    "urls": [
        {
            "comment_text": "",
            "digests": {
                "md5": "23f60c543d07b41fd34fcea6e6c4b315",
                "sha256": "8702148b539363e01889fbb3a1fe28005a538d5e91edaabd7d02917548a4eb58"
            },
            "downloads": -1,
            "filename": "icc.atp-0.0.2.tar.gz",
            "has_sig": false,
            "md5_digest": "23f60c543d07b41fd34fcea6e6c4b315",
            "packagetype": "sdist",
            "python_version": "source",
            "requires_python": null,
            "size": 17277,
            "upload_time": "2013-10-22T17:05:58",
            "url": "https://files.pythonhosted.org/packages/85/1d/dedd485eecea4cbe040b1b9e0c2e222b56cba4e6eec7c1e9e9fb0df54aac/icc.atp-0.0.2.tar.gz"
        }
    ]
}