{ "info": { "author": "Russi Chatterjee", "author_email": "root@ixaxaar.in", "bugtrack_url": null, "classifiers": [ "Development Status :: 3 - Alpha", "Intended Audience :: Developers", "License :: OSI Approved :: MIT License", "Programming Language :: Haskell", "Programming Language :: Python :: 3", "Programming Language :: Python :: 3.3", "Programming Language :: Python :: 3.4", "Programming Language :: Python :: 3.5", "Programming Language :: Python :: 3.6", "Topic :: Software Development :: Build Tools", "Topic :: Software Development :: Compilers", "Topic :: Software Development :: Interpreters" ], "description": "refl\n====\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/pypa/refl", "keywords": "refl,the agda tool for humans", "license": "MIT", "maintainer": "", "maintainer_email": "", "name": "refl", "package_url": "https://pypi.org/project/refl/", "platform": "", "project_url": "https://pypi.org/project/refl/", "project_urls": { "Homepage": "https://github.com/pypa/refl" }, "release_url": "https://pypi.org/project/refl/0.1/", "requires_dist": [ "mypy", "pytest", "file-downloader", "coloredlogs", "tqdm", "typed-ast", "unittest2", "check-manifest ; extra == 'dev'", "coverage ; extra == 'test'" ], "requires_python": ">=3", "summary": "Agda productivity tool", "version": "0.1" }, "last_serial": 5115161, "releases": { "0.1": [ { "comment_text": "", "digests": { "md5": "88911b173275c1a0e6e2939055be847e", "sha256": "7e9f348fda17fd41ac3d32faab4618b0c5b5dc8cdb02699632a5e90a41181976" }, "downloads": -1, "filename": "refl-0.1-py3-none-any.whl", "has_sig": false, "md5_digest": "88911b173275c1a0e6e2939055be847e", "packagetype": "bdist_wheel", "python_version": "py3", "requires_python": ">=3", "size": 7270, "upload_time": "2019-04-08T19:15:45", "url": "https://files.pythonhosted.org/packages/38/b3/c0748c5c6f1b357b7d57e2c4adc5df7640c069e25b0382a13a1ca07b2c6f/refl-0.1-py3-none-any.whl" }, { "comment_text": "", "digests": { "md5": "d38a657f62809001d2bd71015f57830c", "sha256": "720446597c51f17a503d9dbf30e549da6d3040dd0f24079d8df79fb6ffdedb57" }, "downloads": -1, "filename": "refl-0.1.tar.gz", "has_sig": false, "md5_digest": "d38a657f62809001d2bd71015f57830c", "packagetype": "sdist", "python_version": "source", "requires_python": ">=3", "size": 6163, "upload_time": "2019-04-08T19:15:48", "url": "https://files.pythonhosted.org/packages/75/01/da20bb311f8d27a43fbadbd8712eb201abb1ad15424f2b8e15a4cbf7f87d/refl-0.1.tar.gz" } ] }, "urls": [ { "comment_text": "", "digests": { "md5": "88911b173275c1a0e6e2939055be847e", "sha256": "7e9f348fda17fd41ac3d32faab4618b0c5b5dc8cdb02699632a5e90a41181976" }, "downloads": -1, "filename": "refl-0.1-py3-none-any.whl", "has_sig": false, "md5_digest": "88911b173275c1a0e6e2939055be847e", "packagetype": "bdist_wheel", "python_version": "py3", "requires_python": ">=3", "size": 7270, "upload_time": "2019-04-08T19:15:45", "url": "https://files.pythonhosted.org/packages/38/b3/c0748c5c6f1b357b7d57e2c4adc5df7640c069e25b0382a13a1ca07b2c6f/refl-0.1-py3-none-any.whl" }, { "comment_text": "", "digests": { "md5": "d38a657f62809001d2bd71015f57830c", "sha256": "720446597c51f17a503d9dbf30e549da6d3040dd0f24079d8df79fb6ffdedb57" }, "downloads": -1, "filename": "refl-0.1.tar.gz", "has_sig": false, "md5_digest": "d38a657f62809001d2bd71015f57830c", "packagetype": "sdist", "python_version": "source", "requires_python": ">=3", "size": 6163, "upload_time": "2019-04-08T19:15:48", "url": "https://files.pythonhosted.org/packages/75/01/da20bb311f8d27a43fbadbd8712eb201abb1ad15424f2b8e15a4cbf7f87d/refl-0.1.tar.gz" } ] }