{
    "info": {
        "author": "Basile Clement",
        "author_email": "basile@clement.pm",
        "bugtrack_url": null,
        "classifiers": [
            "Development Status :: 3 - Alpha",
            "Environment :: Plugins",
            "Intended Audience :: Developers",
            "License :: OSI Approved :: MIT License",
            "Operating System :: OS Independent",
            "Programming Language :: Python",
            "Programming Language :: Python :: 2",
            "Programming Language :: Python :: 3",
            "Topic :: Software Development :: Libraries :: Python Modules"
        ],
        "description": "Pygments PVS\n============\n\nOverview\n--------\n\nThis packages provides a `Pygments`_ lexer for the `PVS`_ language. The\nlexer is published as an entry point - once installed, `Pygments`_\nshould use it automatically.\n\nYou can then use the ``pvs`` lexer with `Pygments`_:\n\n    $ pygmentize -l pvs mytheory.pvs\n\n.. _PVS: http://pvs.csl.sri.com/\n.. _Pygments: http://pygments.org/docs/\n\nInstallation\n------------\n\nThe preferred way to install pygments-pvs is by using pip. This can be\ndone by installing pygments-pvs from the PyPI repository, or directly\nfrom the source. In both case, the commands install pygments-pvs for\nthe local user only - if you want to install it system-wide, simply\nremove the ``--user`` flag and start the command as root (using ``su`` or\n``sudo``).\n\nInstalling from the PyPI repository:\n\n    $ pip install pygments-pvs --user\n\nInstalling directly from the git:\n\n    $ git clone git://github.com/Elarnon/pygments-pvs.git\n    $ cd pygments-pvs\n    $ pip install . --user\n\nTo verify the installation, run\n\n    $ pygmentize -L lexer | grep -i pvs\n    * pvs:\n        PVS (filenames *.pvs)\n\nUsing in LaTeX documents\n------------------------\n\nSee the minted package at http://minted.googlecode.com",
        "description_content_type": null,
        "docs_url": null,
        "download_url": "https://github.com/Elarnon/pygments-pvs/archive/0.1.tar.gz",
        "downloads": {
            "last_day": -1,
            "last_month": -1,
            "last_week": -1
        },
        "home_page": "https://github.com/Elarnon/pygments-pvs",
        "keywords": null,
        "license": "MIT",
        "maintainer": null,
        "maintainer_email": null,
        "name": "pygments-pvs",
        "package_url": "https://pypi.org/project/pygments-pvs/",
        "platform": "UNKNOWN",
        "project_url": "https://pypi.org/project/pygments-pvs/",
        "project_urls": {
            "Download": "https://github.com/Elarnon/pygments-pvs/archive/0.1.tar.gz",
            "Homepage": "https://github.com/Elarnon/pygments-pvs"
        },
        "release_url": "https://pypi.org/project/pygments-pvs/0.1/",
        "requires_dist": null,
        "requires_python": null,
        "summary": "Pygments lexer for PVS source files",
        "version": "0.1"
    },
    "last_serial": 879193,
    "releases": {
        "0.1": [
            {
                "comment_text": "",
                "digests": {
                    "md5": "793100863dda182df960f22c3988ddea",
                    "sha256": "776b838b2785caee1b8c178b627133782af73f8c53cc37a5e19ed42a1a3fb632"
                },
                "downloads": -1,
                "filename": "pygments-pvs-0.1.tar.gz",
                "has_sig": false,
                "md5_digest": "793100863dda182df960f22c3988ddea",
                "packagetype": "sdist",
                "python_version": "source",
                "requires_python": null,
                "size": 4480,
                "upload_time": "2013-10-02T15:15:00",
                "url": "https://files.pythonhosted.org/packages/84/0a/dd5692e9d03bc44cbd85da9c4ee8116d5260f4d312b138e93e140cb5e4af/pygments-pvs-0.1.tar.gz"
            }
        ]
    },
    "urls": [
        {
            "comment_text": "",
            "digests": {
                "md5": "793100863dda182df960f22c3988ddea",
                "sha256": "776b838b2785caee1b8c178b627133782af73f8c53cc37a5e19ed42a1a3fb632"
            },
            "downloads": -1,
            "filename": "pygments-pvs-0.1.tar.gz",
            "has_sig": false,
            "md5_digest": "793100863dda182df960f22c3988ddea",
            "packagetype": "sdist",
            "python_version": "source",
            "requires_python": null,
            "size": 4480,
            "upload_time": "2013-10-02T15:15:00",
            "url": "https://files.pythonhosted.org/packages/84/0a/dd5692e9d03bc44cbd85da9c4ee8116d5260f4d312b138e93e140cb5e4af/pygments-pvs-0.1.tar.gz"
        }
    ]
}