{
    "info": {
        "author": "Eugene Loy",
        "author_email": "eugeny.loy@gmail.com",
        "bugtrack_url": null,
        "classifiers": [
            "Development Status :: 4 - Beta",
            "Framework :: Jupyter",
            "Intended Audience :: Developers",
            "Intended Audience :: Education",
            "Intended Audience :: Science/Research",
            "License :: OSI Approved :: Apache Software License",
            "Operating System :: POSIX :: Linux",
            "Programming Language :: Python :: 2",
            "Programming Language :: Python :: 3",
            "Topic :: Software Development"
        ],
        "description": "Jupyter kernel for Coq.\nSee: https://github.com/EugeneLoy/coq_jupyter\n\n\n",
        "description_content_type": "",
        "docs_url": null,
        "download_url": "",
        "downloads": {
            "last_day": -1,
            "last_month": -1,
            "last_week": -1
        },
        "home_page": "https://github.com/EugeneLoy/coq_jupyter",
        "keywords": "",
        "license": "",
        "maintainer": "",
        "maintainer_email": "",
        "name": "coq-jupyter",
        "package_url": "https://pypi.org/project/coq-jupyter/",
        "platform": "",
        "project_url": "https://pypi.org/project/coq-jupyter/",
        "project_urls": {
            "Homepage": "https://github.com/EugeneLoy/coq_jupyter"
        },
        "release_url": "https://pypi.org/project/coq-jupyter/1.5.1/",
        "requires_dist": [
            "jupyter-client",
            "IPython",
            "ipykernel",
            "future",
            "pexpect (>=4.0)"
        ],
        "requires_python": "",
        "summary": "Coq kernel for Jupyter",
        "version": "1.5.1"
    },
    "last_serial": 5427514,
    "releases": {
        "1.0.0": [
            {
                "comment_text": "",
                "digests": {
                    "md5": "e7aee1cc5f0723f083ec002272d83e89",
                    "sha256": "30aafa6402a3c3b7dc6d40f12a6c2cab53f3b83fd4288a74651bf92d9c447307"
                },
                "downloads": -1,
                "filename": "coq_jupyter-1.0.0-py2.py3-none-any.whl",
                "has_sig": false,
                "md5_digest": "e7aee1cc5f0723f083ec002272d83e89",
                "packagetype": "bdist_wheel",
                "python_version": "py2.py3",
                "requires_python": null,
                "size": 10229,
                "upload_time": "2018-12-28T15:47:11",
                "url": "https://files.pythonhosted.org/packages/7c/5e/31ebe4e61e1408878e0ada0df318cca2960fca2ae8ac796f11ce9ae1fbd9/coq_jupyter-1.0.0-py2.py3-none-any.whl"
            },
            {
                "comment_text": "",
                "digests": {
                    "md5": "2509db2b79b97c473b8fb03d35063274",
                    "sha256": "bd5e51a3248d886801492893402818ae5134c3130ade14431538da29dd8018e4"
                },
                "downloads": -1,
                "filename": "coq_jupyter-1.0.0.tar.gz",
                "has_sig": false,
                "md5_digest": "2509db2b79b97c473b8fb03d35063274",
                "packagetype": "sdist",
                "python_version": "source",
                "requires_python": null,
                "size": 5438,
                "upload_time": "2018-12-28T15:47:13",
                "url": "https://files.pythonhosted.org/packages/f7/2a/fa4d0f00e9ad895e30c2618d847a1b2ac598a5262b24fc82c468068edff0/coq_jupyter-1.0.0.tar.gz"
            }
        ],
        "1.1.0": [
            {
                "comment_text": "",
                "digests": {
                    "md5": "13e0b44ac967d841bd8d47c1252c77dd",
                    "sha256": "ff7dae0e6cda1c848948f7649b57e40d8a76a7baaeb875a25eaf4c4150675f23"
                },
                "downloads": -1,
                "filename": "coq_jupyter-1.1.0-py2.py3-none-any.whl",
                "has_sig": false,
                "md5_digest": "13e0b44ac967d841bd8d47c1252c77dd",
                "packagetype": "bdist_wheel",
                "python_version": "py2.py3",
                "requires_python": null,
                "size": 9523,
                "upload_time": "2019-01-02T13:45:11",
                "url": "https://files.pythonhosted.org/packages/7a/d9/9b1fb55e2e479ce7af08199fc26c2e2c695e0009a98853fb07dd8c741ff0/coq_jupyter-1.1.0-py2.py3-none-any.whl"
            },
            {
                "comment_text": "",
                "digests": {
                    "md5": "cc484ed842ae1470ad34fe7fa9949159",
                    "sha256": "55f0895a766fcf2b9dce9c0aa1b49617e2f52a7ec4d93a200b6d0743032e2ef0"
                },
                "downloads": -1,
                "filename": "coq_jupyter-1.1.0.tar.gz",
                "has_sig": false,
                "md5_digest": "cc484ed842ae1470ad34fe7fa9949159",
                "packagetype": "sdist",
                "python_version": "source",
                "requires_python": null,
                "size": 6568,
                "upload_time": "2019-01-02T13:45:13",
                "url": "https://files.pythonhosted.org/packages/3d/0f/ec125e85f366ccf80f81bf6de29f6144d527c26dbaf4a542fc3422dba4a8/coq_jupyter-1.1.0.tar.gz"
            }
        ],
        "1.2.0": [
            {
                "comment_text": "",
                "digests": {
                    "md5": "f41ff1b8dc6c4b90566e344688cd61b9",
                    "sha256": "190f88ba3fc86c8cc87d2146cbbf958d16692a7fd4a2ba156ed38f123631b82d"
                },
                "downloads": -1,
                "filename": "coq_jupyter-1.2.0-py2.py3-none-any.whl",
                "has_sig": false,
                "md5_digest": "f41ff1b8dc6c4b90566e344688cd61b9",
                "packagetype": "bdist_wheel",
                "python_version": "py2.py3",
                "requires_python": null,
                "size": 12355,
                "upload_time": "2019-01-05T21:21:14",
                "url": "https://files.pythonhosted.org/packages/fc/4f/651d575469f765b8b9d693180a63865f976036ca26f2d0ec78ff29eabf6d/coq_jupyter-1.2.0-py2.py3-none-any.whl"
            },
            {
                "comment_text": "",
                "digests": {
                    "md5": "400cf613ace95e02a84610a69bea0959",
                    "sha256": "31d836c145e103d518b6a977bf75a8bb1aa55c05450fb312ba750123267b502d"
                },
                "downloads": -1,
                "filename": "coq_jupyter-1.2.0.tar.gz",
                "has_sig": false,
                "md5_digest": "400cf613ace95e02a84610a69bea0959",
                "packagetype": "sdist",
                "python_version": "source",
                "requires_python": null,
                "size": 9294,
                "upload_time": "2019-01-05T21:21:16",
                "url": "https://files.pythonhosted.org/packages/4e/a0/5677e291bb375de83162c6cb866b0f05b6459830010b707341c4dfb14333/coq_jupyter-1.2.0.tar.gz"
            }
        ],
        "1.3.0": [
            {
                "comment_text": "",
                "digests": {
                    "md5": "580a5dbf8d86ae5f35f3022ef9ad5721",
                    "sha256": "e58280cfb4929871aaae2288443a6d6e4de2eeda47bf927dd14db245aa719388"
                },
                "downloads": -1,
                "filename": "coq_jupyter-1.3.0-py2.py3-none-any.whl",
                "has_sig": false,
                "md5_digest": "580a5dbf8d86ae5f35f3022ef9ad5721",
                "packagetype": "bdist_wheel",
                "python_version": "py2.py3",
                "requires_python": null,
                "size": 15097,
                "upload_time": "2019-01-09T13:43:13",
                "url": "https://files.pythonhosted.org/packages/c6/f0/1c772cf419e123f9bc8415c2f50583a11eca723294cf04d8d0be963614ab/coq_jupyter-1.3.0-py2.py3-none-any.whl"
            },
            {
                "comment_text": "",
                "digests": {
                    "md5": "a0ac331edd11c14cf95dc4124165c7eb",
                    "sha256": "2d0ef940c3f45b733d07e0572795693a9b15fa9f9021f75db9bd839296f4bb42"
                },
                "downloads": -1,
                "filename": "coq_jupyter-1.3.0.tar.gz",
                "has_sig": false,
                "md5_digest": "a0ac331edd11c14cf95dc4124165c7eb",
                "packagetype": "sdist",
                "python_version": "source",
                "requires_python": null,
                "size": 12009,
                "upload_time": "2019-01-09T13:43:15",
                "url": "https://files.pythonhosted.org/packages/79/19/dc11b2c0deeb94a52d1c121fc362fb1003afd84358ea8c222e1f5078a060/coq_jupyter-1.3.0.tar.gz"
            }
        ],
        "1.4.0": [
            {
                "comment_text": "",
                "digests": {
                    "md5": "3ba58547c7036967414cdc9f5bb7572c",
                    "sha256": "874e92bcc82e369875d0aafa60d7f530f4daa44aaf70d5bf7dce3b9bda7bb193"
                },
                "downloads": -1,
                "filename": "coq_jupyter-1.4.0-py2.py3-none-any.whl",
                "has_sig": false,
                "md5_digest": "3ba58547c7036967414cdc9f5bb7572c",
                "packagetype": "bdist_wheel",
                "python_version": "py2.py3",
                "requires_python": null,
                "size": 18815,
                "upload_time": "2019-03-03T19:19:58",
                "url": "https://files.pythonhosted.org/packages/33/f9/db837bdc05d8c02857cdbc439d722dce46c592ee338c614050f95ac01d44/coq_jupyter-1.4.0-py2.py3-none-any.whl"
            },
            {
                "comment_text": "",
                "digests": {
                    "md5": "bb2108b507a2b4077af59b3602972030",
                    "sha256": "fc145882ccc4c71040227e2b2edd0c84e2ea6b542d2005f19bcee20440548ab5"
                },
                "downloads": -1,
                "filename": "coq_jupyter-1.4.0.tar.gz",
                "has_sig": false,
                "md5_digest": "bb2108b507a2b4077af59b3602972030",
                "packagetype": "sdist",
                "python_version": "source",
                "requires_python": null,
                "size": 15452,
                "upload_time": "2019-03-03T19:20:00",
                "url": "https://files.pythonhosted.org/packages/3e/c9/0961a8be4814da5be3f8ee6e3f3ae6024ea0bb8486de8372999d8bb71a71/coq_jupyter-1.4.0.tar.gz"
            }
        ],
        "1.5.0": [
            {
                "comment_text": "",
                "digests": {
                    "md5": "61456e1d46477bfccbcf8fde3a99cfba",
                    "sha256": "e0c87d9714de1b75c7b187e09adc7807daad62408939099c3763484c6e47db41"
                },
                "downloads": -1,
                "filename": "coq_jupyter-1.5.0-py2.py3-none-any.whl",
                "has_sig": false,
                "md5_digest": "61456e1d46477bfccbcf8fde3a99cfba",
                "packagetype": "bdist_wheel",
                "python_version": "py2.py3",
                "requires_python": null,
                "size": 20171,
                "upload_time": "2019-03-29T15:01:37",
                "url": "https://files.pythonhosted.org/packages/76/a0/482cad2ac054956736a302eb7709f7fec14a5322abb99993bcfc833859d7/coq_jupyter-1.5.0-py2.py3-none-any.whl"
            },
            {
                "comment_text": "",
                "digests": {
                    "md5": "ab5a5bed8ab94984da2246c57af5d81c",
                    "sha256": "c8bee708c15bfa6d80c1c34e04617b794ce2b2dde4478af7679fa21ed92b15f5"
                },
                "downloads": -1,
                "filename": "coq_jupyter-1.5.0.tar.gz",
                "has_sig": false,
                "md5_digest": "ab5a5bed8ab94984da2246c57af5d81c",
                "packagetype": "sdist",
                "python_version": "source",
                "requires_python": null,
                "size": 17434,
                "upload_time": "2019-03-29T15:01:39",
                "url": "https://files.pythonhosted.org/packages/cf/40/6f46ae5246850d90a5cd164ed9716eee3416b1ab7dcaefad958825e8bfc1/coq_jupyter-1.5.0.tar.gz"
            }
        ],
        "1.5.1": [
            {
                "comment_text": "",
                "digests": {
                    "md5": "272a19c4adf07d03dff24a240e3a6a3a",
                    "sha256": "1f157e3240aba84fcbfc97c8ec718e8153a9d4111be6e3575319a4ae56aeafd1"
                },
                "downloads": -1,
                "filename": "coq_jupyter-1.5.1-py2.py3-none-any.whl",
                "has_sig": false,
                "md5_digest": "272a19c4adf07d03dff24a240e3a6a3a",
                "packagetype": "bdist_wheel",
                "python_version": "py2.py3",
                "requires_python": null,
                "size": 20169,
                "upload_time": "2019-06-20T20:22:28",
                "url": "https://files.pythonhosted.org/packages/6d/54/e6050412702f245000e8476d5d58efe37cbc0ad96162541b442bf8b81775/coq_jupyter-1.5.1-py2.py3-none-any.whl"
            },
            {
                "comment_text": "",
                "digests": {
                    "md5": "20604973fae68fac7f9cad41b5625929",
                    "sha256": "63d991e9fe0278a721d61247b8970dcf5d29ef963026c0f80784d837d8647c5e"
                },
                "downloads": -1,
                "filename": "coq_jupyter-1.5.1.tar.gz",
                "has_sig": false,
                "md5_digest": "20604973fae68fac7f9cad41b5625929",
                "packagetype": "sdist",
                "python_version": "source",
                "requires_python": null,
                "size": 21338,
                "upload_time": "2019-06-20T20:22:30",
                "url": "https://files.pythonhosted.org/packages/69/0e/8b54656daca2042687e802194b75827429b9f68ae45fa4f2aab66e2ec46f/coq_jupyter-1.5.1.tar.gz"
            }
        ]
    },
    "urls": [
        {
            "comment_text": "",
            "digests": {
                "md5": "272a19c4adf07d03dff24a240e3a6a3a",
                "sha256": "1f157e3240aba84fcbfc97c8ec718e8153a9d4111be6e3575319a4ae56aeafd1"
            },
            "downloads": -1,
            "filename": "coq_jupyter-1.5.1-py2.py3-none-any.whl",
            "has_sig": false,
            "md5_digest": "272a19c4adf07d03dff24a240e3a6a3a",
            "packagetype": "bdist_wheel",
            "python_version": "py2.py3",
            "requires_python": null,
            "size": 20169,
            "upload_time": "2019-06-20T20:22:28",
            "url": "https://files.pythonhosted.org/packages/6d/54/e6050412702f245000e8476d5d58efe37cbc0ad96162541b442bf8b81775/coq_jupyter-1.5.1-py2.py3-none-any.whl"
        },
        {
            "comment_text": "",
            "digests": {
                "md5": "20604973fae68fac7f9cad41b5625929",
                "sha256": "63d991e9fe0278a721d61247b8970dcf5d29ef963026c0f80784d837d8647c5e"
            },
            "downloads": -1,
            "filename": "coq_jupyter-1.5.1.tar.gz",
            "has_sig": false,
            "md5_digest": "20604973fae68fac7f9cad41b5625929",
            "packagetype": "sdist",
            "python_version": "source",
            "requires_python": null,
            "size": 21338,
            "upload_time": "2019-06-20T20:22:30",
            "url": "https://files.pythonhosted.org/packages/69/0e/8b54656daca2042687e802194b75827429b9f68ae45fa4f2aab66e2ec46f/coq_jupyter-1.5.1.tar.gz"
        }
    ]
}