{
    "info": {
        "author": "Ilya Shchepetkov",
        "author_email": "ilya.shchepetkov@yandex.ru",
        "bugtrack_url": null,
        "classifiers": [
            "License :: OSI Approved :: MIT License",
            "Operating System :: Unix",
            "Programming Language :: Python :: 3"
        ],
        "description": "[![Build Status](https://travis-ci.org/17451k/eventb-to-txt.svg?branch=master)](https://travis-ci.org/17451k/eventb-to-txt)\n[![Coverage Status](https://coveralls.io/repos/github/17451k/eventb-to-txt/badge.svg?branch=master)](https://coveralls.io/github/17451k/eventb-to-txt?branch=master)\n\n# Event-B to txt converter\n\nThe eventb-to-txt script simply converts Event-B machines and contexts (.bum and .buc files) to the plain text. This text itself is a valid Event-B model that can be used in the Camille editor.\n\nCompatible with Event-B models created with Rodin 3.0 and above.\n\n# Installation\n\n    $ pip install eventb-to-txt\n\n# Usage\n\n    usage: eventb-to-txt [-h] [-o PATH] [-m] [in_path]\n\n    positional arguments:\n    in_path              path to the Event-B model directory or zipfile\n\n    optional arguments:\n    -h, --help           show this help message and exit\n    -o PATH, --out PATH  PATH to the output directory\n    -m, --merge          merge all generated txt files into a single txt file\n\n\n",
        "description_content_type": "text/markdown",
        "docs_url": null,
        "download_url": "",
        "downloads": {
            "last_day": -1,
            "last_month": -1,
            "last_week": -1
        },
        "home_page": "https://github.com/17451k/eventb-to-txt",
        "keywords": "",
        "license": "LICENSE.txt",
        "maintainer": "",
        "maintainer_email": "",
        "name": "eventb-to-txt",
        "package_url": "https://pypi.org/project/eventb-to-txt/",
        "platform": "",
        "project_url": "https://pypi.org/project/eventb-to-txt/",
        "project_urls": {
            "Homepage": "https://github.com/17451k/eventb-to-txt"
        },
        "release_url": "https://pypi.org/project/eventb-to-txt/1.1/",
        "requires_dist": null,
        "requires_python": "",
        "summary": "",
        "version": "1.1"
    },
    "last_serial": 4082142,
    "releases": {
        "1.0": [
            {
                "comment_text": "",
                "digests": {
                    "md5": "a0c4fb1a57b3cda10cf7ea76c6d0e483",
                    "sha256": "274e68264ab163e1d0cff7af6efb14a05cd783f215141389533599ab4284028e"
                },
                "downloads": -1,
                "filename": "eventb_to_txt-1.0-py3-none-any.whl",
                "has_sig": false,
                "md5_digest": "a0c4fb1a57b3cda10cf7ea76c6d0e483",
                "packagetype": "bdist_wheel",
                "python_version": "py3",
                "requires_python": null,
                "size": 7719,
                "upload_time": "2018-07-13T15:07:47",
                "url": "https://files.pythonhosted.org/packages/55/f0/e0a6c0e3c6b1efb6f4640187d005c7f7cdf280f7bec36efc931eabd34354/eventb_to_txt-1.0-py3-none-any.whl"
            },
            {
                "comment_text": "",
                "digests": {
                    "md5": "dd9c12b2abf8d838bd0dcadc246b6c63",
                    "sha256": "c55f9ff7923dd2115990259d0fb30a263dd078a88145e869ffad978d9b48e70c"
                },
                "downloads": -1,
                "filename": "eventb-to-txt-1.0.tar.gz",
                "has_sig": false,
                "md5_digest": "dd9c12b2abf8d838bd0dcadc246b6c63",
                "packagetype": "sdist",
                "python_version": "source",
                "requires_python": null,
                "size": 5366,
                "upload_time": "2018-07-13T15:07:49",
                "url": "https://files.pythonhosted.org/packages/0b/e3/49c3abb7ed8e1644fb96a55afceef326e131cf6efbd04453abe64b3c8f35/eventb-to-txt-1.0.tar.gz"
            }
        ],
        "1.1": [
            {
                "comment_text": "",
                "digests": {
                    "md5": "89742b4d2ad3bf436ffa2789c211d336",
                    "sha256": "8979cf362f5148c5a3177ac621c8bb036249fd27ab6ff493ff6cb73a3399dd7d"
                },
                "downloads": -1,
                "filename": "eventb_to_txt-1.1-py3-none-any.whl",
                "has_sig": false,
                "md5_digest": "89742b4d2ad3bf436ffa2789c211d336",
                "packagetype": "bdist_wheel",
                "python_version": "py3",
                "requires_python": null,
                "size": 8284,
                "upload_time": "2018-07-19T13:48:48",
                "url": "https://files.pythonhosted.org/packages/a2/1b/da08e857862f6f07de3dba8f9de6cce87fba4df864877546765e0eab949e/eventb_to_txt-1.1-py3-none-any.whl"
            },
            {
                "comment_text": "",
                "digests": {
                    "md5": "d828d278e27136f47154c782ddeefadf",
                    "sha256": "c0c432fd21b1752c05d764d9a05f2e93ab55fe906c64989c073fbe2f8837fa6c"
                },
                "downloads": -1,
                "filename": "eventb-to-txt-1.1.tar.gz",
                "has_sig": false,
                "md5_digest": "d828d278e27136f47154c782ddeefadf",
                "packagetype": "sdist",
                "python_version": "source",
                "requires_python": null,
                "size": 5608,
                "upload_time": "2018-07-19T13:48:49",
                "url": "https://files.pythonhosted.org/packages/08/20/2717628824ff64975938e337f02e31fc4c536d702d209779f64ef8ae423b/eventb-to-txt-1.1.tar.gz"
            }
        ]
    },
    "urls": [
        {
            "comment_text": "",
            "digests": {
                "md5": "89742b4d2ad3bf436ffa2789c211d336",
                "sha256": "8979cf362f5148c5a3177ac621c8bb036249fd27ab6ff493ff6cb73a3399dd7d"
            },
            "downloads": -1,
            "filename": "eventb_to_txt-1.1-py3-none-any.whl",
            "has_sig": false,
            "md5_digest": "89742b4d2ad3bf436ffa2789c211d336",
            "packagetype": "bdist_wheel",
            "python_version": "py3",
            "requires_python": null,
            "size": 8284,
            "upload_time": "2018-07-19T13:48:48",
            "url": "https://files.pythonhosted.org/packages/a2/1b/da08e857862f6f07de3dba8f9de6cce87fba4df864877546765e0eab949e/eventb_to_txt-1.1-py3-none-any.whl"
        },
        {
            "comment_text": "",
            "digests": {
                "md5": "d828d278e27136f47154c782ddeefadf",
                "sha256": "c0c432fd21b1752c05d764d9a05f2e93ab55fe906c64989c073fbe2f8837fa6c"
            },
            "downloads": -1,
            "filename": "eventb-to-txt-1.1.tar.gz",
            "has_sig": false,
            "md5_digest": "d828d278e27136f47154c782ddeefadf",
            "packagetype": "sdist",
            "python_version": "source",
            "requires_python": null,
            "size": 5608,
            "upload_time": "2018-07-19T13:48:49",
            "url": "https://files.pythonhosted.org/packages/08/20/2717628824ff64975938e337f02e31fc4c536d702d209779f64ef8ae423b/eventb-to-txt-1.1.tar.gz"
        }
    ]
}